Trace number 4485836

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07? (TO) 3600.06 1809.11

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-grow7.opb
MD5SUMf6174806ed62bf92db0e2ac6f71348b5
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1210.43
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7994
Total number of constraints420
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints420
Minimum length of a constraint22
Maximum length of a constraint491
Number of terms in the objective function 623
Biggest coefficient in the objective function 3758096384
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 68719476658
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 878188741787648
Number of bits of the biggest number in a constraint 50
Biggest sum of numbers in a constraint 4550739094651140
Number of bits of the biggest sum of numbers53
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 SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4485836-1751316572.opb>
158.12/79.52	c num_threads: 2
158.12/79.52	c timelimit: 3596.997021
158.12/79.52	c Parsing file: HOME/instance-4485836-1751316572.opb
158.12/79.52	c (FJ) starting FJ with 2 threads.
158.12/79.52	c (FJ) copying 7994 x 420 matrix with 48869 nonzeros.
158.12/79.52	c (FJ) initializing FJ with 7994 vars 420 constraints
158.12/79.52	c (FJ) 0: starting solve. weightUpdateDecay=1, relaxContinuous=0, seed=0 
158.12/79.52	c (FJ) 0: step 0 viol 0 good 0 bumps 0
158.12/79.52	c (FJ) 0: solution is feasible.
158.12/79.52	c (FJSOL) 0: solution: 
158.12/79.52	c (FJSOL) 0: time= 0.022 obj= 0
158.12/79.52	c (FJ) received a solution from non-presolved instance.
158.12/79.52	c (FJ) initializing FJ with 7994 vars 420 constraints
158.12/79.52	c (FJ) 1: starting solve. weightUpdateDecay=1, relaxContinuous=0, seed=1 
158.12/79.52	c (FJ) 1: step 0 viol 0 good 0 bumps 0
158.12/79.52	c (FJ) 1: solution is feasible.
158.12/79.52	c (FJSOL) 1: solution: 
158.12/79.52	c (FJSOL) 1: time= 0.034 obj= 0
158.12/79.52	c (FJ) received a solution from non-presolved instance.
158.12/79.52	c (FJ) 0: step 100000 viol 143 good 1817 bumps 10240
158.12/79.52	c (FJ) 1: step 100000 viol 144 good 1163 bumps 10793
158.12/79.52	c (FJ) 0: step 200000 viol 143 good 290 bumps 10469
158.12/79.52	c (FJ) 1: step 200000 viol 143 good 1600 bumps 10793
158.12/79.52	c (FJ) 0: step 300000 viol 143 good 591 bumps 10489
158.12/79.52	c (FJ) 1: step 300000 viol 143 good 1291 bumps 10793
158.12/79.52	c (FJ) 0: step 400000 viol 143 good 1396 bumps 10489
158.12/79.52	c (FJ) 1: step 400000 viol 145 good 1253 bumps 10793
158.12/79.52	c (FJ) 0: step 500000 viol 143 good 1403 bumps 10489
158.12/79.52	c (FJ) 1: step 500000 viol 143 good 1203 bumps 10793
158.12/79.52	c (FJ) 0: step 600000 viol 142 good 1541 bumps 10584
158.12/79.52	c (FJ) 1: step 600000 viol 143 good 1315 bumps 10891
158.12/79.52	c (FJ) 0: step 700000 viol 143 good 1974 bumps 10584
158.12/79.52	c (FJ) 1: step 700000 viol 144 good 1613 bumps 10891
158.12/79.52	c (FJ) 0: step 800000 viol 144 good 1873 bumps 10584
158.12/79.52	c (FJ) 1: step 800000 viol 143 good 1028 bumps 10891
158.12/79.52	c (FJ) 0: step 900000 viol 143 good 1399 bumps 10584
158.12/79.52	c (FJ) 1: step 900000 viol 146 good 1091 bumps 10891
158.12/79.52	c (FJ) 0: step 1000000 viol 143 good 1899 bumps 10584
158.12/79.52	c (FJ) 1: step 1000000 viol 143 good 1203 bumps 10917
158.12/79.52	c (FJ) 0: step 1100000 viol 143 good 697 bumps 10640
158.12/79.52	c (FJ) 1: step 1100000 viol 144 good 1277 bumps 10917
158.12/79.52	c (FJ) 0: step 1200000 viol 144 good 1527 bumps 10640
158.12/79.52	c (FJ) 1: step 1200000 viol 144 good 1435 bumps 10917
158.12/79.52	c (FJ) 0: step 1300000 viol 143 good 1672 bumps 10640
158.12/79.52	c (FJ) 1: step 1300000 viol 146 good 1384 bumps 10917
158.12/79.52	c (FJ) 0: step 1400000 viol 143 good 1747 bumps 10640
158.12/79.52	c (FJ) 1: step 1400000 viol 144 good 1160 bumps 10917
158.12/79.52	c (FJ) 0: step 1500000 viol 142 good 1551 bumps 10640
158.12/79.52	c (FJ) 1: step 1500000 viol 146 good 1457 bumps 10917
158.12/79.52	c (FJ) 0: step 1600000 viol 143 good 1920 bumps 10640
158.12/79.52	c (FJ) 1: step 1600000 viol 143 good 1305 bumps 10917
158.12/79.52	c (FJ) 0: step 1700000 viol 143 good 1623 bumps 10640
158.12/79.52	c (FJ) 1: step 1700000 viol 144 good 1293 bumps 10917
158.12/79.52	c (FJ) 0: step 1800000 viol 144 good 1784 bumps 10640
158.12/79.52	c (FJ) 1: step 1800000 viol 146 good 1200 bumps 10917
158.12/79.52	c (FJ) 0: step 1900000 viol 145 good 1766 bumps 10640
158.12/79.52	c (FJ) 1: step 1900000 viol 143 good 1391 bumps 10917
158.12/79.52	c (FJ) 0: step 2000000 viol 142 good 1993 bumps 10640
158.12/79.52	c (FJ) 0: step 2100000 viol 144 good 1752 bumps 10640
158.12/79.52	c (FJ) 1: step 2000000 viol 144 good 1323 bumps 10917
158.12/79.52	c (FJ) 0: step 2200000 viol 146 good 1949 bumps 10640
158.12/79.52	c (FJ) 1: step 2100000 viol 144 good 1394 bumps 10917
158.12/79.52	c (FJ) 0: step 2300000 viol 144 good 1928 bumps 10640
158.12/79.52	c (FJ) 1: step 2200000 viol 143 good 1395 bumps 10917
158.12/79.52	c (FJ) 0: step 2400000 viol 143 good 1570 bumps 10640
158.12/79.52	c (FJ) 1: step 2300000 viol 143 good 1456 bumps 10917
158.12/79.52	c (FJ) 0: step 2500000 viol 144 good 840 bumps 10640
158.12/79.52	c (FJ) 1: step 2400000 viol 145 good 1601 bumps 10917
158.12/79.52	c (FJ) 0: step 2600000 viol 146 good 1730 bumps 10644
158.12/79.52	c (FJ) 1: step 2500000 viol 144 good 1239 bumps 10917
158.12/79.52	c (FJ) 0: step 2700000 viol 145 good 1636 bumps 10644
158.12/79.52	c (FJ) 1: step 2600000 viol 145 good 1421 bumps 10917
158.12/79.52	c (FJ) 0: step 2800000 viol 144 good 1846 bumps 10677
158.12/79.52	c (FJ) 1: step 2700000 viol 143 good 1346 bumps 10917
158.12/79.52	c (FJ) 0: step 2900000 viol 145 good 1564 bumps 10677
158.12/79.52	c (FJ) 1: step 2800000 viol 143 good 1312 bumps 10917
158.12/79.52	c (FJ) 0: step 3000000 viol 143 good 1838 bumps 10677
158.12/79.52	c (FJ) 1: step 2900000 viol 143 good 1249 bumps 10917
158.12/79.52	c (FJ) 0: step 3100000 viol 144 good 2089 bumps 10677
158.12/79.52	c (FJ) 1: step 3000000 viol 144 good 1341 bumps 10917
357.96/179.91	c (FJ) 0: step 3200000 viol 146 good 1828 bumps 10677
357.96/179.91	c (FJ) 1: step 3100000 viol 143 good 1234 bumps 10917
357.96/179.91	c (FJ) 0: step 3300000 viol 145 good 1802 bumps 10677
357.96/179.91	c (FJ) 1: step 3200000 viol 144 good 1120 bumps 10917
357.96/179.91	c (FJ) 0: step 3400000 viol 144 good 1789 bumps 10677
357.96/179.91	c (FJ) 1: step 3300000 viol 144 good 1043 bumps 10917
357.96/179.91	c (FJ) 0: step 3500000 viol 143 good 1787 bumps 10677
357.96/179.91	c (FJ) 1: step 3400000 viol 145 good 1647 bumps 10917
357.96/179.91	c (FJ) 0: step 3600000 viol 146 good 1754 bumps 10677
357.96/179.91	c (FJ) 0: step 3700000 viol 148 good 1785 bumps 10677
357.96/179.91	c (FJ) 1: step 3500000 viol 146 good 1472 bumps 10917
357.96/179.91	c (FJ) 0: step 3800000 viol 144 good 1543 bumps 10677
357.96/179.91	c (FJ) 1: step 3600000 viol 146 good 1325 bumps 10917
357.96/179.91	c (FJ) 0: step 3900000 viol 144 good 2001 bumps 10677
357.96/179.91	c (FJ) 1: step 3700000 viol 146 good 1611 bumps 10917
357.96/179.91	c (FJ) 0: step 4000000 viol 146 good 1809 bumps 10677
357.96/179.91	c (FJ) 1: step 3800000 viol 142 good 1543 bumps 10917
357.96/179.91	c (FJ) 0: step 4100000 viol 146 good 1767 bumps 10677
357.96/179.91	c (FJ) 1: step 3900000 viol 146 good 1312 bumps 10917
357.96/179.91	c (FJ) 0: step 4200000 viol 144 good 1823 bumps 10677
357.96/179.91	c (FJ) 1: step 4000000 viol 144 good 1742 bumps 10917
357.96/179.91	c (FJ) 0: step 4300000 viol 143 good 1589 bumps 10677
357.96/179.91	c (FJ) 1: step 4100000 viol 146 good 1565 bumps 10917
357.96/179.91	c (FJ) 0: step 4400000 viol 143 good 1773 bumps 10677
357.96/179.91	c (FJ) 1: step 4200000 viol 145 good 1534 bumps 10917
357.96/179.91	c (FJ) 0: step 4500000 viol 144 good 1940 bumps 10677
357.96/179.91	c (FJ) 1: step 4300000 viol 143 good 1414 bumps 10917
357.96/179.91	c (FJ) 0: step 4600000 viol 144 good 1609 bumps 10677
357.96/179.91	c (FJ) 1: step 4400000 viol 142 good 1660 bumps 10917
357.96/179.91	c (FJ) 0: step 4700000 viol 143 good 1893 bumps 10677
357.96/179.91	c (FJ) 1: step 4500000 viol 145 good 1416 bumps 10917
357.96/179.91	c (FJ) 0: step 4800000 viol 145 good 1576 bumps 10677
357.96/179.91	c (FJ) 1: step 4600000 viol 144 good 1421 bumps 10917
357.96/179.91	c (FJ) 0: step 4900000 viol 144 good 1771 bumps 10677
357.96/179.91	c (FJ) 1: step 4700000 viol 144 good 1378 bumps 10917
357.96/179.91	c (FJ) 0: step 5000000 viol 148 good 2102 bumps 10677
357.96/179.91	c (FJ) 1: step 4800000 viol 145 good 1657 bumps 10917
357.96/179.91	c (FJ) 0: step 5100000 viol 145 good 1757 bumps 10677
357.96/179.91	c (FJ) 1: step 4900000 viol 144 good 1577 bumps 10917
357.96/179.91	c (FJ) 0: step 5200000 viol 144 good 1816 bumps 10677
357.96/179.91	c (FJ) 1: step 5000000 viol 142 good 1612 bumps 10917
357.96/179.91	c (FJ) 0: step 5300000 viol 144 good 1395 bumps 10677
357.96/179.91	c (FJ) 0: step 5400000 viol 147 good 1819 bumps 10677
357.96/179.91	c (FJ) 1: step 5100000 viol 146 good 1711 bumps 10917
357.96/179.91	c (FJ) 0: step 5500000 viol 145 good 1904 bumps 10677
357.96/179.91	c (FJ) 1: step 5200000 viol 146 good 1440 bumps 10917
357.96/179.91	c (FJ) 0: step 5600000 viol 145 good 1649 bumps 10677
357.96/179.91	c (FJ) 1: step 5300000 viol 144 good 1529 bumps 10917
357.96/179.91	c (FJ) 0: step 5700000 viol 145 good 1878 bumps 10677
357.96/179.91	c (FJ) 1: step 5400000 viol 144 good 1688 bumps 10917
357.96/179.91	c (FJ) 0: step 5800000 viol 147 good 2245 bumps 10677
357.96/179.91	c (FJ) 1: step 5500000 viol 144 good 1440 bumps 10917
357.96/179.91	c (FJ) 0: step 5900000 viol 145 good 2046 bumps 10677
357.96/179.91	c (FJ) 1: step 5600000 viol 145 good 1523 bumps 10917
357.96/179.91	c (FJ) 0: step 6000000 viol 143 good 1870 bumps 10677
357.96/179.91	c (FJ) 1: step 5700000 viol 142 good 1346 bumps 10917
357.96/179.91	c (FJ) 0: step 6100000 viol 146 good 2043 bumps 10677
357.96/179.91	c (FJ) 1: step 5800000 viol 145 good 1602 bumps 10917
357.96/179.91	c (FJ) 0: step 6200000 viol 144 good 1365 bumps 10677
357.96/179.91	c (FJ) 1: step 5900000 viol 143 good 1384 bumps 10917
357.96/179.91	c (FJ) 0: step 6300000 viol 145 good 1864 bumps 10677
357.96/179.91	c (FJ) 1: step 6000000 viol 145 good 1281 bumps 10917
357.96/179.91	c (FJ) 0: step 6400000 viol 145 good 1795 bumps 10677
357.96/179.91	c (FJ) 1: step 6100000 viol 143 good 1329 bumps 10917
357.96/179.91	c (FJ) 0: step 6500000 viol 143 good 1590 bumps 10687
357.96/179.91	c (FJ) 1: step 6200000 viol 144 good 1465 bumps 10917
357.96/179.91	c (FJ) 0: step 6600000 viol 145 good 537 bumps 10702
357.96/179.91	c (FJ) 1: step 6300000 viol 145 good 1452 bumps 10917
357.96/179.91	c (FJ) 0: step 6700000 viol 145 good 328 bumps 10772
357.96/179.91	c (FJ) 0: step 6800000 viol 145 good 258 bumps 10772
357.96/179.91	c (FJ) 1: step 6400000 viol 144 good 1574 bumps 10917
357.96/179.91	c (FJ) 0: step 6900000 viol 145 good 161 bumps 10780
357.96/179.91	c (FJ) 1: step 6500000 viol 144 good 1195 bumps 10917
357.96/179.91	c (FJ) 0: step 7000000 viol 145 good 253 bumps 10781
357.96/179.91	c (FJ) 1: step 6600000 viol 143 good 1602 bumps 10917
357.96/179.91	c (FJ) 0: step 7100000 viol 145 good 245 bumps 10781
555.03/278.94	c (FJ) 1: step 6700000 viol 145 good 1493 bumps 10917
555.03/278.94	c (FJ) 0: step 7200000 viol 145 good 240 bumps 10781
555.03/278.94	c (FJ) 1: step 6800000 viol 146 good 1244 bumps 10917
555.03/278.94	c (FJ) 0: step 7300000 viol 145 good 348 bumps 10781
555.03/278.94	c (FJ) 1: step 6900000 viol 144 good 1283 bumps 10917
555.03/278.94	c (FJ) 0: step 7400000 viol 145 good 404 bumps 10781
555.03/278.94	c (FJ) 1: step 7000000 viol 146 good 1806 bumps 10917
555.03/278.94	c (FJ) 0: step 7500000 viol 145 good 327 bumps 10781
555.03/278.94	c (FJ) 1: step 7100000 viol 146 good 1464 bumps 10917
555.03/278.94	c (FJ) 0: step 7600000 viol 145 good 200 bumps 10781
555.03/278.94	c (FJ) 1: step 7200000 viol 143 good 1403 bumps 10917
555.03/278.94	c (FJ) 0: step 7700000 viol 145 good 285 bumps 10781
555.03/278.94	c (FJ) 1: step 7300000 viol 144 good 1367 bumps 10917
555.03/278.94	c (FJ) 0: step 7800000 viol 145 good 267 bumps 10781
555.03/278.94	c (FJ) 1: step 7400000 viol 143 good 1401 bumps 10917
555.03/278.94	c (FJ) 0: step 7900000 viol 145 good 208 bumps 10781
555.03/278.94	c (FJ) 0: step 8000000 viol 145 good 257 bumps 10781
555.03/278.94	c (FJ) 1: step 7500000 viol 143 good 1527 bumps 10917
555.03/278.94	c (FJ) 0: step 8100000 viol 145 good 253 bumps 10781
555.03/278.94	c (FJ) 1: step 7600000 viol 144 good 1377 bumps 10917
555.03/278.94	c (FJ) 0: step 8200000 viol 145 good 384 bumps 10781
555.03/278.94	c (FJ) 1: step 7700000 viol 147 good 1719 bumps 10917
555.03/278.94	c (FJ) 0: step 8300000 viol 145 good 433 bumps 10781
555.03/278.94	c (FJ) 1: step 7800000 viol 143 good 1207 bumps 10917
555.03/278.94	c (FJ) 0: step 8400000 viol 145 good 308 bumps 10781
555.03/278.94	c (FJ) 1: step 7900000 viol 144 good 1174 bumps 10917
555.03/278.94	c (FJ) 0: step 8500000 viol 145 good 207 bumps 10781
555.03/278.94	c (FJ) 1: step 8000000 viol 145 good 1025 bumps 10917
555.03/278.94	c (FJ) 0: step 8600000 viol 145 good 337 bumps 10781
555.03/278.94	c (FJ) 1: step 8100000 viol 144 good 142 bumps 10961
555.03/278.94	c (FJ) 0: step 8700000 viol 145 good 207 bumps 10781
555.03/278.94	c (FJ) 1: step 8200000 viol 144 good 146 bumps 10961
555.03/278.94	c (FJ) 0: step 8800000 viol 145 good 332 bumps 10781
555.03/278.94	c (FJ) 1: step 8300000 viol 145 good 786 bumps 10983
555.03/278.94	c (FJ) 0: step 8900000 viol 145 good 232 bumps 10781
555.03/278.94	c (FJ) 1: step 8400000 viol 144 good 1059 bumps 10983
555.03/278.94	c (FJ) 0: step 9000000 viol 145 good 287 bumps 10781
555.03/278.94	c (FJ) 1: step 8500000 viol 144 good 1397 bumps 10983
555.03/278.94	c (FJ) 0: step 9100000 viol 145 good 266 bumps 10781
555.03/278.94	c (FJ) 1: step 8600000 viol 146 good 1484 bumps 10983
555.03/278.94	c (FJ) 0: step 9200000 viol 145 good 340 bumps 10781
555.03/278.94	c (FJ) 1: step 8700000 viol 144 good 959 bumps 10983
555.03/278.94	c (FJ) 0: step 9300000 viol 145 good 394 bumps 10781
555.03/278.94	c (FJ) 1: step 8800000 viol 143 good 1205 bumps 10983
555.03/278.94	c (FJ) 0: step 9400000 viol 145 good 386 bumps 10781
555.03/278.94	c (FJ) 1: step 8900000 viol 146 good 1125 bumps 10983
555.03/278.94	c (FJ) 0: step 9500000 viol 145 good 214 bumps 10781
555.03/278.94	c (FJ) 1: step 9000000 viol 146 good 1142 bumps 10983
555.03/278.94	c (FJ) 0: step 9600000 viol 145 good 383 bumps 10781
555.03/278.94	c (FJ) 1: step 9100000 viol 147 good 1500 bumps 10983
555.03/278.94	c (FJ) 0: step 9700000 viol 145 good 384 bumps 10781
555.03/278.94	c (FJ) 1: step 9200000 viol 145 good 1382 bumps 10983
555.03/278.94	c (FJ) 0: step 9800000 viol 145 good 376 bumps 10781
555.03/278.94	c (FJ) 1: step 9300000 viol 144 good 1466 bumps 10983
555.03/278.94	c (FJ) 0: step 9900000 viol 145 good 270 bumps 10781
555.03/278.94	c (FJ) 0: step 10000000 viol 145 good 282 bumps 10781
555.03/278.94	c (FJ) 1: step 9400000 viol 144 good 1411 bumps 10983
555.03/278.94	c (FJ) 0: step 10100000 viol 145 good 199 bumps 10781
555.03/278.94	c (FJ) 1: step 9500000 viol 145 good 1419 bumps 10983
555.03/278.94	c (FJ) 0: step 10200000 viol 145 good 298 bumps 10781
555.03/278.94	c (FJ) 1: step 9600000 viol 147 good 1427 bumps 10983
555.03/278.94	c (FJ) 0: step 10300000 viol 145 good 321 bumps 10781
555.03/278.94	c (FJ) 1: step 9700000 viol 146 good 1647 bumps 10983
555.03/278.94	c (FJ) 0: step 10400000 viol 145 good 439 bumps 10781
555.03/278.94	c (FJ) 1: step 9800000 viol 143 good 1338 bumps 10983
555.03/278.94	c (FJ) 0: step 10500000 viol 145 good 281 bumps 10781
555.03/278.94	c (FJ) 1: step 9900000 viol 143 good 1336 bumps 10983
555.03/278.94	c (FJ) 0: step 10600000 viol 145 good 291 bumps 10781
555.03/278.94	c (FJ) 1: step 10000000 viol 143 good 1546 bumps 10983
555.03/278.94	c (FJ) 0: step 10700000 viol 145 good 261 bumps 10781
555.03/278.94	c (FJ) 1: step 10100000 viol 144 good 1336 bumps 10983
555.03/278.94	c (FJ) 0: step 10800000 viol 145 good 1616 bumps 10782
555.03/278.94	c (FJ) 1: step 10200000 viol 145 good 1426 bumps 10983
555.03/278.94	c (FJ) 0: step 10900000 viol 145 good 1591 bumps 10782
555.03/278.94	c (FJ) 1: step 10300000 viol 145 good 1526 bumps 10983
555.03/278.94	c (FJ) 0: step 11000000 viol 144 good 2215 bumps 10782
555.03/278.94	c (FJ) 1: step 10400000 viol 143 good 1359 bumps 10983
747.70/375.78	c (FJ) 0: step 11100000 viol 144 good 1469 bumps 10782
747.70/375.78	c (FJ) 1: step 10500000 viol 144 good 1423 bumps 10983
747.70/375.78	c (FJ) 0: step 11200000 viol 146 good 2011 bumps 10782
747.70/375.78	c (FJ) 0: step 11300000 viol 143 good 1733 bumps 10782
747.70/375.78	c (FJ) 1: step 10600000 viol 143 good 1262 bumps 10983
747.70/375.78	c (FJ) 0: step 11400000 viol 144 good 1642 bumps 10782
747.70/375.78	c (FJ) 1: step 10700000 viol 143 good 1337 bumps 10983
747.70/375.78	c (FJ) 0: step 11500000 viol 143 good 1754 bumps 10782
747.70/375.78	c (FJ) 1: step 10800000 viol 145 good 1400 bumps 10983
747.70/375.78	c (FJ) 0: step 11600000 viol 146 good 2026 bumps 10782
747.70/375.78	c (FJ) 1: step 10900000 viol 143 good 1214 bumps 10983
747.70/375.78	c (FJ) 0: step 11700000 viol 144 good 1536 bumps 10782
747.70/375.78	c (FJ) 1: step 11000000 viol 145 good 1592 bumps 10983
747.70/375.78	c (FJ) 0: step 11800000 viol 147 good 1917 bumps 10782
747.70/375.78	c (FJ) 1: step 11100000 viol 145 good 1326 bumps 10983
747.70/375.78	c (FJ) 0: step 11900000 viol 144 good 1764 bumps 10782
747.70/375.78	c (FJ) 1: step 11200000 viol 144 good 1654 bumps 10983
747.70/375.78	c (FJ) 0: step 12000000 viol 145 good 1733 bumps 10782
747.70/375.78	c (FJ) 1: step 11300000 viol 144 good 1128 bumps 10983
747.70/375.78	c (FJ) 0: step 12100000 viol 148 good 1755 bumps 10782
747.70/375.78	c (FJ) 1: step 11400000 viol 145 good 1393 bumps 10983
747.70/375.78	c (FJ) 0: step 12200000 viol 145 good 1875 bumps 10782
747.70/375.78	c (FJ) 1: step 11500000 viol 145 good 1339 bumps 10983
747.70/375.78	c (FJ) 0: step 12300000 viol 145 good 1766 bumps 10782
747.70/375.78	c (FJ) 1: step 11600000 viol 143 good 1236 bumps 10983
747.70/375.78	c (FJ) 0: step 12400000 viol 143 good 2079 bumps 10782
747.70/375.78	c (FJ) 1: step 11700000 viol 143 good 187 bumps 10993
747.70/375.78	c (FJ) 0: step 12500000 viol 145 good 1807 bumps 10782
747.70/375.78	c (FJ) 1: step 11800000 viol 143 good 584 bumps 11007
747.70/375.78	c (FJ) 0: step 12600000 viol 145 good 2053 bumps 10782
747.70/375.78	c (FJ) 1: step 11900000 viol 143 good 436 bumps 11007
747.70/375.78	c (FJ) 0: step 12700000 viol 148 good 2082 bumps 10782
747.70/375.78	c (FJ) 1: step 12000000 viol 143 good 407 bumps 11007
747.70/375.78	c (FJ) 0: step 12800000 viol 145 good 1885 bumps 10782
747.70/375.78	c (FJ) 1: step 12100000 viol 143 good 248 bumps 11007
747.70/375.78	c (FJ) 0: step 12900000 viol 144 good 2020 bumps 10782
747.70/375.78	c (FJ) 1: step 12200000 viol 143 good 233 bumps 11007
747.70/375.78	c (FJ) 0: step 13000000 viol 144 good 1899 bumps 10782
747.70/375.78	c (FJ) 1: step 12300000 viol 143 good 315 bumps 11007
747.70/375.78	c (FJ) 0: step 13100000 viol 144 good 1902 bumps 10782
747.70/375.78	c (FJ) 1: step 12400000 viol 143 good 400 bumps 11007
747.70/375.78	c (FJ) 0: step 13200000 viol 147 good 1946 bumps 10782
747.70/375.78	c (FJ) 1: step 12500000 viol 143 good 444 bumps 11007
747.70/375.78	c (FJ) 0: step 13300000 viol 144 good 2108 bumps 10782
747.70/375.78	c (FJ) 1: step 12600000 viol 143 good 443 bumps 11007
747.70/375.78	c (FJ) 0: step 13400000 viol 143 good 1538 bumps 10782
747.70/375.78	c (FJ) 1: step 12700000 viol 143 good 346 bumps 11007
747.70/375.78	c (FJ) 0: step 13500000 viol 145 good 1809 bumps 10782
747.70/375.78	c (FJ) 1: step 12800000 viol 143 good 479 bumps 11007
747.70/375.78	c (FJ) 0: step 13600000 viol 145 good 2146 bumps 10782
747.70/375.78	c (FJ) 1: step 12900000 viol 143 good 377 bumps 11007
747.70/375.78	c (FJ) 0: step 13700000 viol 144 good 1637 bumps 10782
747.70/375.78	c (FJ) 1: step 13000000 viol 143 good 497 bumps 11007
747.70/375.78	c (FJ) 0: step 13800000 viol 144 good 1813 bumps 10782
747.70/375.78	c (FJ) 1: step 13100000 viol 143 good 387 bumps 11007
747.70/375.78	c (FJ) 0: step 13900000 viol 145 good 1549 bumps 10782
747.70/375.78	c (FJ) 1: step 13200000 viol 143 good 490 bumps 11007
747.70/375.78	c (FJ) 0: step 14000000 viol 146 good 1901 bumps 10782
747.70/375.78	c (FJ) 1: step 13300000 viol 143 good 423 bumps 11007
747.70/375.78	c (FJ) 0: step 14100000 viol 144 good 1795 bumps 10782
747.70/375.78	c (FJ) 1: step 13400000 viol 143 good 468 bumps 11007
747.70/375.78	c (FJ) 0: step 14200000 viol 146 good 2103 bumps 10782
747.70/375.78	c (FJ) 1: step 13500000 viol 143 good 348 bumps 11007
747.70/375.78	c (FJ) 0: step 14300000 viol 145 good 2031 bumps 10782
747.70/375.78	c (FJ) 1: step 13600000 viol 143 good 356 bumps 11007
747.70/375.78	c (FJ) 0: step 14400000 viol 143 good 1347 bumps 10782
747.70/375.78	c (FJ) 1: step 13700000 viol 143 good 474 bumps 11007
747.70/375.78	c (FJ) 0: step 14500000 viol 145 good 1896 bumps 10782
747.70/375.78	c (FJ) 1: step 13800000 viol 143 good 357 bumps 11007
747.70/375.78	c (FJ) 0: step 14600000 viol 146 good 2052 bumps 10782
747.70/375.78	c (FJ) 1: step 13900000 viol 143 good 491 bumps 11007
747.70/375.78	c (FJ) 0: step 14700000 viol 145 good 1891 bumps 10782
747.70/375.78	c (FJ) 1: step 14000000 viol 143 good 332 bumps 11007
747.70/375.78	c (FJ) 0: step 14800000 viol 144 good 2109 bumps 10782
949.55/477.11	c (FJ) 1: step 14100000 viol 143 good 462 bumps 11007
949.55/477.11	c (FJ) 0: step 14900000 viol 144 good 1949 bumps 10782
949.55/477.11	c (FJ) 1: step 14200000 viol 143 good 445 bumps 11007
949.55/477.11	c (FJ) 0: step 15000000 viol 143 good 1913 bumps 10782
949.55/477.11	c (FJ) 1: step 14300000 viol 143 good 405 bumps 11007
949.55/477.11	c (FJ) 0: step 15100000 viol 143 good 1811 bumps 10782
949.55/477.11	c (FJ) 1: step 14400000 viol 143 good 337 bumps 11007
949.55/477.11	c (FJ) 0: step 15200000 viol 145 good 1688 bumps 10782
949.55/477.11	c (FJ) 1: step 14500000 viol 143 good 361 bumps 11007
949.55/477.11	c (FJ) 0: step 15300000 viol 145 good 1539 bumps 10782
949.55/477.11	c (FJ) 1: step 14600000 viol 143 good 346 bumps 11007
949.55/477.11	c (FJ) 0: step 15400000 viol 142 good 1892 bumps 10782
949.55/477.11	c (FJ) 1: step 14700000 viol 143 good 497 bumps 11007
949.55/477.11	c (FJ) 0: step 15500000 viol 145 good 1655 bumps 10782
949.55/477.11	c (FJ) 1: step 14800000 viol 143 good 477 bumps 11007
949.55/477.11	c (FJ) 0: step 15600000 viol 144 good 1620 bumps 10782
949.55/477.11	c (FJ) 1: step 14900000 viol 143 good 457 bumps 11007
949.55/477.11	c (FJ) 0: step 15700000 viol 145 good 1835 bumps 10782
949.55/477.11	c (FJ) 1: step 15000000 viol 143 good 396 bumps 11007
949.55/477.11	c (FJ) 0: step 15800000 viol 144 good 1678 bumps 10782
949.55/477.11	c (FJ) 1: step 15100000 viol 143 good 383 bumps 11007
949.55/477.11	c (FJ) 0: step 15900000 viol 145 good 1820 bumps 10782
949.55/477.11	c (FJ) 1: step 15200000 viol 143 good 317 bumps 11007
949.55/477.11	c (FJ) 0: step 16000000 viol 145 good 1920 bumps 10782
949.55/477.11	c (FJ) 1: step 15300000 viol 143 good 513 bumps 11007
949.55/477.11	c (FJ) 0: step 16100000 viol 145 good 2085 bumps 10782
949.55/477.11	c (FJ) 1: step 15400000 viol 143 good 403 bumps 11007
949.55/477.11	c (FJ) 0: step 16200000 viol 144 good 1841 bumps 10782
949.55/477.11	c (FJ) 1: step 15500000 viol 143 good 417 bumps 11007
949.55/477.11	c (FJ) 0: step 16300000 viol 145 good 1725 bumps 10782
949.55/477.11	c (FJ) 0: step 16400000 viol 144 good 1577 bumps 10782
949.55/477.11	c (FJ) 1: step 15600000 viol 143 good 343 bumps 11007
949.55/477.11	c (FJ) 0: step 16500000 viol 145 good 2037 bumps 10782
949.55/477.11	c (FJ) 1: step 15700000 viol 143 good 478 bumps 11007
949.55/477.11	c (FJ) 0: step 16600000 viol 145 good 1826 bumps 10782
949.55/477.11	c (FJ) 1: step 15800000 viol 143 good 507 bumps 11007
949.55/477.11	c (FJ) 0: step 16700000 viol 144 good 1776 bumps 10782
949.55/477.11	c (FJ) 1: step 15900000 viol 143 good 407 bumps 11007
949.55/477.11	c (FJ) 0: step 16800000 viol 146 good 2075 bumps 10782
949.55/477.11	c (FJ) 1: step 16000000 viol 143 good 457 bumps 11007
949.55/477.11	c (FJ) 0: step 16900000 viol 144 good 1561 bumps 10782
949.55/477.11	c (FJ) 1: step 16100000 viol 143 good 437 bumps 11007
949.55/477.11	c (FJ) 0: step 17000000 viol 144 good 1842 bumps 10782
949.55/477.11	c (FJ) 1: step 16200000 viol 143 good 392 bumps 11007
949.55/477.11	c (FJ) 0: step 17100000 viol 144 good 1496 bumps 10782
949.55/477.11	c (FJ) 1: step 16300000 viol 143 good 350 bumps 11007
949.55/477.11	c (FJ) 0: step 17200000 viol 143 good 2026 bumps 10782
949.55/477.11	c (FJ) 1: step 16400000 viol 143 good 420 bumps 11007
949.55/477.11	c (FJ) 0: step 17300000 viol 143 good 1767 bumps 10782
949.55/477.11	c (FJ) 1: step 16500000 viol 143 good 395 bumps 11007
949.55/477.11	c (FJ) 0: step 17400000 viol 145 good 1705 bumps 10782
949.55/477.11	c (FJ) 1: step 16600000 viol 143 good 474 bumps 11007
949.55/477.11	c (FJ) 0: step 17500000 viol 143 good 1563 bumps 10782
949.55/477.11	c (FJ) 1: step 16700000 viol 143 good 385 bumps 11007
949.55/477.11	c (FJ) 0: step 17600000 viol 144 good 1844 bumps 10782
949.55/477.11	c (FJ) 1: step 16800000 viol 143 good 445 bumps 11007
949.55/477.11	c (FJ) 0: step 17700000 viol 145 good 1974 bumps 10782
949.55/477.11	c (FJ) 1: step 16900000 viol 143 good 336 bumps 11007
949.55/477.11	c (FJ) 0: step 17800000 viol 145 good 1859 bumps 10782
949.55/477.11	c (FJ) 1: step 17000000 viol 143 good 397 bumps 11007
949.55/477.11	c (FJ) 0: step 17900000 viol 144 good 1798 bumps 10782
949.55/477.11	c (FJ) 1: step 17100000 viol 143 good 445 bumps 11007
949.55/477.11	c (FJ) 0: step 18000000 viol 147 good 2197 bumps 10782
949.55/477.11	c (FJ) 1: step 17200000 viol 143 good 403 bumps 11007
949.55/477.11	c (FJ) 0: step 18100000 viol 147 good 1881 bumps 10782
949.55/477.11	c (FJ) 1: step 17300000 viol 143 good 422 bumps 11007
949.55/477.11	c (FJ) 0: step 18200000 viol 145 good 1808 bumps 10782
949.55/477.11	c (FJ) 1: step 17400000 viol 143 good 368 bumps 11007
949.55/477.11	c (FJ) 0: step 18300000 viol 145 good 1775 bumps 10782
949.55/477.11	c (FJ) 1: step 17500000 viol 143 good 373 bumps 11007
949.55/477.11	c (FJ) 0: step 18400000 viol 148 good 1963 bumps 10782
949.55/477.11	c (FJ) 1: step 17600000 viol 143 good 315 bumps 11007
949.55/477.11	c (FJ) 0: step 18500000 viol 145 good 1701 bumps 10782
949.55/477.11	c (FJ) 1: step 17700000 viol 143 good 356 bumps 11007
949.55/477.11	c (FJ) 0: step 18600000 viol 146 good 2063 bumps 10782
949.55/477.11	c (FJ) 1: step 17800000 viol 143 good 386 bumps 11007
1155.97/580.88	c (FJ) 0: step 18700000 viol 145 good 1692 bumps 10782
1155.97/580.88	c (FJ) 1: step 17900000 viol 143 good 341 bumps 11007
1155.97/580.88	c (FJ) 0: step 18800000 viol 144 good 1847 bumps 10782
1155.97/580.88	c (FJ) 1: step 18000000 viol 143 good 358 bumps 11007
1155.97/580.88	c (FJ) 0: step 18900000 viol 148 good 1761 bumps 10782
1155.97/580.88	c (FJ) 1: step 18100000 viol 143 good 337 bumps 11007
1155.97/580.88	c (FJ) 0: step 19000000 viol 146 good 1910 bumps 10782
1155.97/580.88	c (FJ) 1: step 18200000 viol 143 good 192 bumps 11007
1155.97/580.88	c (FJ) 0: step 19100000 viol 145 good 1767 bumps 10782
1155.97/580.88	c (FJ) 1: step 18300000 viol 143 good 201 bumps 11007
1155.97/580.88	c (FJ) 0: step 19200000 viol 145 good 1817 bumps 10782
1155.97/580.88	c (FJ) 1: step 18400000 viol 143 good 157 bumps 11010
1155.97/580.88	c (FJ) 0: step 19300000 viol 146 good 1939 bumps 10782
1155.97/580.88	c (FJ) 1: step 18500000 viol 143 good 147 bumps 11010
1155.97/580.88	c (FJ) 0: step 19400000 viol 147 good 1883 bumps 10782
1155.97/580.88	c (FJ) 1: step 18600000 viol 143 good 140 bumps 11010
1155.97/580.88	c (FJ) 0: step 19500000 viol 148 good 1852 bumps 10782
1155.97/580.88	c (FJ) 0: step 19600000 viol 146 good 1685 bumps 10782
1155.97/580.88	c (FJ) 1: step 18700000 viol 143 good 94 bumps 11010
1155.97/580.88	c (FJ) 0: step 19700000 viol 143 good 1607 bumps 10782
1155.97/580.88	c (FJ) 1: step 18800000 viol 143 good 194 bumps 11010
1155.97/580.88	c (FJ) 0: step 19800000 viol 146 good 1859 bumps 10782
1155.97/580.88	c (FJ) 1: step 18900000 viol 143 good 159 bumps 11010
1155.97/580.88	c (FJ) 0: step 19900000 viol 145 good 1792 bumps 10782
1155.97/580.88	c (FJ) 1: step 19000000 viol 143 good 253 bumps 11010
1155.97/580.88	c (FJ) 0: step 20000000 viol 147 good 1988 bumps 10782
1155.97/580.88	c (FJ) 1: step 19100000 viol 143 good 112 bumps 11010
1155.97/580.88	c (FJ) 0: step 20100000 viol 145 good 1900 bumps 10782
1155.97/580.88	c (FJ) 1: step 19200000 viol 143 good 130 bumps 11010
1155.97/580.88	c (FJ) 0: step 20200000 viol 143 good 1985 bumps 10782
1155.97/580.88	c (FJ) 1: step 19300000 viol 143 good 246 bumps 11010
1155.97/580.88	c (FJ) 0: step 20300000 viol 146 good 1649 bumps 10782
1155.97/580.88	c (FJ) 1: step 19400000 viol 143 good 126 bumps 11010
1155.97/580.88	c (FJ) 0: step 20400000 viol 145 good 1886 bumps 10782
1155.97/580.88	c (FJ) 0: step 20500000 viol 144 good 1728 bumps 10782
1155.97/580.88	c (FJ) 1: step 19500000 viol 143 good 141 bumps 11010
1155.97/580.88	c (FJ) 0: step 20600000 viol 145 good 1611 bumps 10782
1155.97/580.88	c (FJ) 1: step 19600000 viol 143 good 285 bumps 11010
1155.97/580.88	c (FJ) 0: step 20700000 viol 146 good 1884 bumps 10782
1155.97/580.88	c (FJ) 1: step 19700000 viol 143 good 159 bumps 11010
1155.97/580.88	c (FJ) 0: step 20800000 viol 146 good 1825 bumps 10782
1155.97/580.88	c (FJ) 1: step 19800000 viol 143 good 149 bumps 11010
1155.97/580.88	c (FJ) 0: step 20900000 viol 147 good 1893 bumps 10782
1155.97/580.88	c (FJ) 1: step 19900000 viol 143 good 265 bumps 11010
1155.97/580.88	c (FJ) 0: step 21000000 viol 145 good 1774 bumps 10782
1155.97/580.88	c (FJ) 1: step 20000000 viol 143 good 241 bumps 11010
1155.97/580.88	c (FJ) 0: step 21100000 viol 145 good 1727 bumps 10782
1155.97/580.88	c (FJ) 1: step 20100000 viol 143 good 278 bumps 11010
1155.97/580.88	c (FJ) 0: step 21200000 viol 147 good 1832 bumps 10782
1155.97/580.88	c (FJ) 1: step 20200000 viol 143 good 142 bumps 11010
1155.97/580.88	c (FJ) 0: step 21300000 viol 144 good 1848 bumps 10782
1155.97/580.88	c (FJ) 0: step 21400000 viol 144 good 1802 bumps 10782
1155.97/580.88	c (FJ) 1: step 20300000 viol 143 good 235 bumps 11010
1155.97/580.88	c (FJ) 0: step 21500000 viol 145 good 976 bumps 10782
1155.97/580.88	c (FJ) 1: step 20400000 viol 143 good 158 bumps 11010
1155.97/580.88	c (FJ) 0: step 21600000 viol 145 good 717 bumps 10782
1155.97/580.88	c (FJ) 1: step 20500000 viol 143 good 267 bumps 11010
1155.97/580.88	c (FJ) 0: step 21700000 viol 145 good 447 bumps 10782
1155.97/580.88	c (FJ) 1: step 20600000 viol 143 good 148 bumps 11010
1155.97/580.88	c (FJ) 0: step 21800000 viol 145 good 451 bumps 10782
1155.97/580.88	c (FJ) 1: step 20700000 viol 143 good 218 bumps 11010
1155.97/580.88	c (FJ) 0: step 21900000 viol 145 good 581 bumps 10782
1155.97/580.88	c (FJ) 0: step 22000000 viol 145 good 441 bumps 10782
1155.97/580.88	c (FJ) 1: step 20800000 viol 143 good 201 bumps 11010
1155.97/580.88	c (FJ) 0: step 22100000 viol 145 good 404 bumps 10782
1155.97/580.88	c (FJ) 1: step 20900000 viol 143 good 142 bumps 11010
1155.97/580.88	c (FJ) 0: step 22200000 viol 145 good 156 bumps 10785
1155.97/580.88	c (FJ) 1: step 21000000 viol 143 good 177 bumps 11010
1155.97/580.88	c (FJ) 0: step 22300000 viol 145 good 351 bumps 10785
1155.97/580.88	c (FJ) 1: step 21100000 viol 143 good 108 bumps 11010
1155.97/580.88	c (FJ) 0: step 22400000 viol 145 good 201 bumps 10785
1155.97/580.88	c (FJ) 0: step 22500000 viol 145 good 216 bumps 10785
1155.97/580.88	c (FJ) 1: step 21200000 viol 143 good 126 bumps 11010
1155.97/580.88	c (FJ) 0: step 22600000 viol 148 good 1912 bumps 10814
1155.97/580.88	c (FJ) 1: step 21300000 viol 143 good 175 bumps 11010
1363.99/685.39	c (FJ) 0: step 22700000 viol 147 good 1570 bumps 10814
1363.99/685.39	c (FJ) 1: step 21400000 viol 143 good 134 bumps 11010
1363.99/685.39	c (FJ) 0: step 22800000 viol 147 good 1705 bumps 10814
1363.99/685.39	c (FJ) 1: step 21500000 viol 143 good 101 bumps 11010
1363.99/685.39	c (FJ) 0: step 22900000 viol 146 good 1904 bumps 10814
1363.99/685.39	c (FJ) 1: step 21600000 viol 143 good 135 bumps 11010
1363.99/685.39	c (FJ) 0: step 23000000 viol 144 good 1403 bumps 10814
1363.99/685.39	c (FJ) 0: step 23100000 viol 145 good 1471 bumps 10814
1363.99/685.39	c (FJ) 1: step 21700000 viol 143 good 246 bumps 11010
1363.99/685.39	c (FJ) 0: step 23200000 viol 145 good 1658 bumps 10814
1363.99/685.39	c (FJ) 1: step 21800000 viol 143 good 240 bumps 11010
1363.99/685.39	c (FJ) 0: step 23300000 viol 147 good 1877 bumps 10814
1363.99/685.39	c (FJ) 1: step 21900000 viol 143 good 134 bumps 11010
1363.99/685.39	c (FJ) 0: step 23400000 viol 145 good 1819 bumps 10814
1363.99/685.39	c (FJ) 1: step 22000000 viol 143 good 146 bumps 11010
1363.99/685.39	c (FJ) 0: step 23500000 viol 147 good 1781 bumps 10814
1363.99/685.39	c (FJ) 1: step 22100000 viol 143 good 170 bumps 11010
1363.99/685.39	c (FJ) 0: step 23600000 viol 146 good 1961 bumps 10814
1363.99/685.39	c (FJ) 0: step 23700000 viol 146 good 1588 bumps 10814
1363.99/685.39	c (FJ) 1: step 22200000 viol 143 good 117 bumps 11010
1363.99/685.39	c (FJ) 0: step 23800000 viol 145 good 1810 bumps 10814
1363.99/685.39	c (FJ) 1: step 22300000 viol 143 good 104 bumps 11010
1363.99/685.39	c (FJ) 0: step 23900000 viol 144 good 1573 bumps 10814
1363.99/685.39	c (FJ) 1: step 22400000 viol 143 good 209 bumps 11010
1363.99/685.39	c (FJ) 0: step 24000000 viol 145 good 1784 bumps 10814
1363.99/685.39	c (FJ) 1: step 22500000 viol 143 good 242 bumps 11010
1363.99/685.39	c (FJ) 0: step 24100000 viol 145 good 1929 bumps 10814
1363.99/685.39	c (FJ) 1: step 22600000 viol 143 good 114 bumps 11010
1363.99/685.39	c (FJ) 0: step 24200000 viol 146 good 1655 bumps 10814
1363.99/685.39	c (FJ) 0: step 24300000 viol 145 good 1784 bumps 10814
1363.99/685.39	c (FJ) 1: step 22700000 viol 143 good 84 bumps 11010
1363.99/685.39	c (FJ) 0: step 24400000 viol 144 good 1840 bumps 10814
1363.99/685.39	c (FJ) 1: step 22800000 viol 143 good 162 bumps 11010
1363.99/685.39	c (FJ) 0: step 24500000 viol 146 good 1584 bumps 10814
1363.99/685.39	c (FJ) 1: step 22900000 viol 143 good 156 bumps 11010
1363.99/685.39	c (FJ) 0: step 24600000 viol 145 good 1528 bumps 10814
1363.99/685.39	c (FJ) 1: step 23000000 viol 143 good 105 bumps 11010
1363.99/685.39	c (FJ) 0: step 24700000 viol 146 good 2071 bumps 10814
1363.99/685.39	c (FJ) 1: step 23100000 viol 143 good 153 bumps 11010
1363.99/685.39	c (FJ) 0: step 24800000 viol 145 good 1650 bumps 10814
1363.99/685.39	c (FJ) 0: step 24900000 viol 145 good 1676 bumps 10814
1363.99/685.39	c (FJ) 1: step 23200000 viol 143 good 165 bumps 11010
1363.99/685.39	c (FJ) 0: step 25000000 viol 145 good 1699 bumps 10814
1363.99/685.39	c (FJ) 1: step 23300000 viol 143 good 234 bumps 11010
1363.99/685.39	c (FJ) 0: step 25100000 viol 146 good 1734 bumps 10814
1363.99/685.39	c (FJ) 1: step 23400000 viol 143 good 96 bumps 11010
1363.99/685.39	c (FJ) 0: step 25200000 viol 145 good 1636 bumps 10814
1363.99/685.39	c (FJ) 1: step 23500000 viol 143 good 112 bumps 11010
1363.99/685.39	c (FJ) 0: step 25300000 viol 144 good 1688 bumps 10814
1363.99/685.39	c (FJ) 1: step 23600000 viol 143 good 81 bumps 11010
1363.99/685.39	c (FJ) 0: step 25400000 viol 146 good 1800 bumps 10814
1363.99/685.39	c (FJ) 0: step 25500000 viol 146 good 1860 bumps 10814
1363.99/685.39	c (FJ) 1: step 23700000 viol 143 good 145 bumps 11010
1363.99/685.39	c (FJ) 0: step 25600000 viol 145 good 1540 bumps 10814
1363.99/685.39	c (FJ) 1: step 23800000 viol 143 good 249 bumps 11010
1363.99/685.39	c (FJ) 0: step 25700000 viol 145 good 1886 bumps 10814
1363.99/685.39	c (FJ) 1: step 23900000 viol 143 good 165 bumps 11010
1363.99/685.39	c (FJ) 0: step 25800000 viol 143 good 1625 bumps 10814
1363.99/685.39	c (FJ) 1: step 24000000 viol 143 good 185 bumps 11010
1363.99/685.39	c (FJ) 0: step 25900000 viol 144 good 1833 bumps 10814
1363.99/685.39	c (FJ) 1: step 24100000 viol 143 good 122 bumps 11010
1363.99/685.39	c (FJ) 0: step 26000000 viol 145 good 1679 bumps 10814
1363.99/685.39	c (FJ) 0: step 26100000 viol 144 good 1908 bumps 10814
1363.99/685.39	c (FJ) 1: step 24200000 viol 143 good 113 bumps 11010
1363.99/685.39	c (FJ) 0: step 26200000 viol 144 good 1826 bumps 10814
1363.99/685.39	c (FJ) 1: step 24300000 viol 143 good 181 bumps 11010
1363.99/685.39	c (FJ) 0: step 26300000 viol 145 good 1752 bumps 10814
1363.99/685.39	c (FJ) 1: step 24400000 viol 143 good 135 bumps 11010
1363.99/685.39	c (FJ) 0: step 26400000 viol 145 good 1645 bumps 10814
1363.99/685.39	c (FJ) 1: step 24500000 viol 143 good 169 bumps 11010
1363.99/685.39	c (FJ) 0: step 26500000 viol 145 good 1741 bumps 10814
1363.99/685.39	c (FJ) 1: step 24600000 viol 143 good 138 bumps 11010
1363.99/685.39	c (FJ) 0: step 26600000 viol 144 good 1773 bumps 10814
1363.99/685.39	c (FJ) 1: step 24700000 viol 143 good 142 bumps 11010
1363.99/685.39	c (FJ) 0: step 26700000 viol 145 good 1670 bumps 10814
1576.95/792.33	c (FJ) 0: step 26800000 viol 146 good 1913 bumps 10814
1576.95/792.33	c (FJ) 1: step 24800000 viol 143 good 231 bumps 11010
1576.95/792.33	c (FJ) 0: step 26900000 viol 148 good 2169 bumps 10814
1576.95/792.33	c (FJ) 1: step 24900000 viol 143 good 131 bumps 11010
1576.95/792.33	c (FJ) 0: step 27000000 viol 144 good 1825 bumps 10814
1576.95/792.33	c (FJ) 1: step 25000000 viol 143 good 132 bumps 11010
1576.95/792.33	c (FJ) 0: step 27100000 viol 144 good 1867 bumps 10814
1576.95/792.33	c (FJ) 1: step 25100000 viol 143 good 124 bumps 11010
1576.95/792.33	c (FJ) 0: step 27200000 viol 143 good 1959 bumps 10814
1576.95/792.33	c (FJ) 1: step 25200000 viol 143 good 125 bumps 11010
1576.95/792.33	c (FJ) 0: step 27300000 viol 145 good 1360 bumps 10814
1576.95/792.33	c (FJ) 1: step 25300000 viol 143 good 127 bumps 11010
1576.95/792.33	c (FJ) 0: step 27400000 viol 146 good 1932 bumps 10814
1576.95/792.33	c (FJ) 0: step 27500000 viol 145 good 1890 bumps 10814
1576.95/792.33	c (FJ) 1: step 25400000 viol 143 good 223 bumps 11010
1576.95/792.33	c (FJ) 0: step 27600000 viol 147 good 1769 bumps 10814
1576.95/792.33	c (FJ) 1: step 25500000 viol 143 good 141 bumps 11010
1576.95/792.33	c (FJ) 0: step 27700000 viol 145 good 1798 bumps 10814
1576.95/792.33	c (FJ) 1: step 25600000 viol 143 good 144 bumps 11010
1576.95/792.33	c (FJ) 0: step 27800000 viol 146 good 1925 bumps 10814
1576.95/792.33	c (FJ) 1: step 25700000 viol 143 good 146 bumps 11010
1576.95/792.33	c (FJ) 0: step 27900000 viol 147 good 1923 bumps 10814
1576.95/792.33	c (FJ) 1: step 25800000 viol 143 good 182 bumps 11010
1576.95/792.33	c (FJ) 0: step 28000000 viol 148 good 2040 bumps 10814
1576.95/792.33	c (FJ) 1: step 25900000 viol 143 good 118 bumps 11010
1576.95/792.33	c (FJ) 0: step 28100000 viol 145 good 1757 bumps 10814
1576.95/792.33	c (FJ) 1: step 26000000 viol 143 good 115 bumps 11010
1576.95/792.33	c (FJ) 0: step 28200000 viol 147 good 1703 bumps 10814
1576.95/792.33	c (FJ) 0: step 28300000 viol 144 good 1800 bumps 10814
1576.95/792.33	c (FJ) 1: step 26100000 viol 143 good 167 bumps 11010
1576.95/792.33	c (FJ) 0: step 28400000 viol 144 good 1776 bumps 10814
1576.95/792.33	c (FJ) 1: step 26200000 viol 143 good 219 bumps 11010
1576.95/792.33	c (FJ) 0: step 28500000 viol 146 good 2161 bumps 10814
1576.95/792.33	c (FJ) 1: step 26300000 viol 143 good 266 bumps 11010
1576.95/792.33	c (FJ) 0: step 28600000 viol 146 good 1596 bumps 10814
1576.95/792.33	c (FJ) 1: step 26400000 viol 143 good 114 bumps 11010
1576.95/792.33	c (FJ) 0: step 28700000 viol 145 good 1773 bumps 10814
1576.95/792.33	c (FJ) 1: step 26500000 viol 143 good 225 bumps 11010
1576.95/792.33	c (FJ) 0: step 28800000 viol 144 good 1947 bumps 10814
1576.95/792.33	c (FJ) 1: step 26600000 viol 143 good 237 bumps 11010
1576.95/792.33	c (FJ) 0: step 28900000 viol 146 good 1945 bumps 10814
1576.95/792.33	c (FJ) 1: step 26700000 viol 143 good 134 bumps 11010
1576.95/792.33	c (FJ) 0: step 29000000 viol 145 good 1809 bumps 10814
1576.95/792.33	c (FJ) 0: step 29100000 viol 146 good 1858 bumps 10814
1576.95/792.33	c (FJ) 1: step 26800000 viol 143 good 170 bumps 11010
1576.95/792.33	c (FJ) 0: step 29200000 viol 145 good 1782 bumps 10814
1576.95/792.33	c (FJ) 1: step 26900000 viol 143 good 102 bumps 11010
1576.95/792.33	c (FJ) 0: step 29300000 viol 145 good 1700 bumps 10814
1576.95/792.33	c (FJ) 1: step 27000000 viol 143 good 205 bumps 11010
1576.95/792.33	c (FJ) 0: step 29400000 viol 149 good 1979 bumps 10814
1576.95/792.33	c (FJ) 1: step 27100000 viol 143 good 127 bumps 11010
1576.95/792.33	c (FJ) 0: step 29500000 viol 147 good 1949 bumps 10814
1576.95/792.33	c (FJ) 1: step 27200000 viol 143 good 229 bumps 11010
1576.95/792.33	c (FJ) 0: step 29600000 viol 143 good 1983 bumps 10814
1576.95/792.33	c (FJ) 0: step 29700000 viol 146 good 1761 bumps 10814
1576.95/792.33	c (FJ) 1: step 27300000 viol 143 good 152 bumps 11010
1576.95/792.33	c (FJ) 0: step 29800000 viol 147 good 1746 bumps 10814
1576.95/792.33	c (FJ) 1: step 27400000 viol 143 good 176 bumps 11010
1576.95/792.33	c (FJ) 0: step 29900000 viol 146 good 1892 bumps 10814
1576.95/792.33	c (FJ) 1: step 27500000 viol 143 good 209 bumps 11010
1576.95/792.33	c (FJ) 0: step 30000000 viol 145 good 1941 bumps 10814
1576.95/792.33	c (FJ) 1: step 27600000 viol 143 good 146 bumps 11010
1576.95/792.33	c (FJ) 0: step 30100000 viol 144 good 1862 bumps 10814
1576.95/792.33	c (FJ) 1: step 27700000 viol 143 good 117 bumps 11010
1576.95/792.33	c (FJ) 0: step 30200000 viol 145 good 1676 bumps 10814
1576.95/792.33	c (FJ) 1: step 27800000 viol 143 good 244 bumps 11010
1576.95/792.33	c (FJ) 0: step 30300000 viol 146 good 1553 bumps 10814
1576.95/792.33	c (FJ) 0: step 30400000 viol 146 good 1751 bumps 10814
1576.95/792.33	c (FJ) 1: step 27900000 viol 143 good 143 bumps 11010
1576.95/792.33	c (FJ) 0: step 30500000 viol 145 good 1493 bumps 10814
1576.95/792.33	c (FJ) 1: step 28000000 viol 143 good 101 bumps 11010
1576.95/792.33	c (FJ) 0: step 30600000 viol 145 good 1936 bumps 10814
1576.95/792.33	c (FJ) 1: step 28100000 viol 143 good 158 bumps 11010
1576.95/792.33	c (FJ) 0: step 30700000 viol 147 good 1554 bumps 10814
1576.95/792.33	c (FJ) 1: step 28200000 viol 143 good 91 bumps 11010
1787.68/898.26	c (FJ) 0: step 30800000 viol 147 good 2215 bumps 10814
1787.68/898.26	c (FJ) 1: step 28300000 viol 143 good 190 bumps 11010
1787.68/898.26	c (FJ) 0: step 30900000 viol 145 good 1903 bumps 10814
1787.68/898.26	c (FJ) 0: step 31000000 viol 144 good 1843 bumps 10814
1787.68/898.26	c (FJ) 1: step 28400000 viol 143 good 115 bumps 11010
1787.68/898.26	c (FJ) 0: step 31100000 viol 146 good 1781 bumps 10814
1787.68/898.26	c (FJ) 1: step 28500000 viol 143 good 93 bumps 11010
1787.68/898.26	c (FJ) 0: step 31200000 viol 146 good 1716 bumps 10814
1787.68/898.26	c (FJ) 1: step 28600000 viol 143 good 116 bumps 11010
1787.68/898.26	c (FJ) 0: step 31300000 viol 143 good 1666 bumps 10814
1787.68/898.26	c (FJ) 1: step 28700000 viol 143 good 125 bumps 11010
1787.68/898.26	c (FJ) 0: step 31400000 viol 145 good 1838 bumps 10814
1787.68/898.26	c (FJ) 1: step 28800000 viol 143 good 92 bumps 11010
1787.68/898.26	c (FJ) 0: step 31500000 viol 148 good 1853 bumps 10814
1787.68/898.26	c (FJ) 0: step 31600000 viol 145 good 1814 bumps 10814
1787.68/898.26	c (FJ) 1: step 28900000 viol 143 good 192 bumps 11010
1787.68/898.26	c (FJ) 0: step 31700000 viol 145 good 1777 bumps 10814
1787.68/898.26	c (FJ) 1: step 29000000 viol 143 good 116 bumps 11010
1787.68/898.26	c (FJ) 0: step 31800000 viol 146 good 1539 bumps 10814
1787.68/898.26	c (FJ) 1: step 29100000 viol 143 good 249 bumps 11010
1787.68/898.26	c (FJ) 0: step 31900000 viol 147 good 1594 bumps 10814
1787.68/898.26	c (FJ) 1: step 29200000 viol 143 good 104 bumps 11010
1787.68/898.26	c (FJ) 0: step 32000000 viol 145 good 2111 bumps 10814
1787.68/898.26	c (FJ) 1: step 29300000 viol 143 good 189 bumps 11010
1787.68/898.26	c (FJ) 0: step 32100000 viol 147 good 1891 bumps 10814
1787.68/898.26	c (FJ) 1: step 29400000 viol 143 good 84 bumps 11010
1787.68/898.26	c (FJ) 0: step 32200000 viol 145 good 1959 bumps 10814
1787.68/898.26	c (FJ) 0: step 32300000 viol 146 good 1797 bumps 10814
1787.68/898.26	c (FJ) 1: step 29500000 viol 143 good 209 bumps 11010
1787.68/898.26	c (FJ) 0: step 32400000 viol 145 good 1827 bumps 10814
1787.68/898.26	c (FJ) 1: step 29600000 viol 143 good 231 bumps 11010
1787.68/898.26	c (FJ) 0: step 32500000 viol 145 good 1896 bumps 10814
1787.68/898.26	c (FJ) 1: step 29700000 viol 143 good 122 bumps 11010
1787.68/898.26	c (FJ) 0: step 32600000 viol 146 good 1984 bumps 10814
1787.68/898.26	c (FJ) 1: step 29800000 viol 143 good 163 bumps 11010
1787.68/898.26	c (FJ) 0: step 32700000 viol 145 good 1727 bumps 10814
1787.68/898.26	c (FJ) 1: step 29900000 viol 143 good 134 bumps 11010
1787.68/898.26	c (FJ) 0: step 32800000 viol 146 good 1874 bumps 10814
1787.68/898.26	c (FJ) 0: step 32900000 viol 145 good 1707 bumps 10814
1787.68/898.26	c (FJ) 1: step 30000000 viol 143 good 107 bumps 11010
1787.68/898.26	c (FJ) 0: step 33000000 viol 146 good 1767 bumps 10814
1787.68/898.26	c (FJ) 1: step 30100000 viol 143 good 228 bumps 11010
1787.68/898.26	c (FJ) 0: step 33100000 viol 145 good 1893 bumps 10814
1787.68/898.26	c (FJ) 1: step 30200000 viol 143 good 199 bumps 11010
1787.68/898.26	c (FJ) 0: step 33200000 viol 145 good 1477 bumps 10814
1787.68/898.26	c (FJ) 1: step 30300000 viol 143 good 97 bumps 11010
1787.68/898.26	c (FJ) 0: step 33300000 viol 146 good 1762 bumps 10814
1787.68/898.26	c (FJ) 1: step 30400000 viol 143 good 182 bumps 11010
1787.68/898.26	c (FJ) 0: step 33400000 viol 144 good 1703 bumps 10814
1787.68/898.26	c (FJ) 0: step 33500000 viol 145 good 1867 bumps 10814
1787.68/898.26	c (FJ) 1: step 30500000 viol 143 good 119 bumps 11010
1787.68/898.26	c (FJ) 0: step 33600000 viol 145 good 1738 bumps 10814
1787.68/898.26	c (FJ) 1: step 30600000 viol 143 good 106 bumps 11010
1787.68/898.26	c (FJ) 0: step 33700000 viol 146 good 1659 bumps 10814
1787.68/898.26	c (FJ) 1: step 30700000 viol 143 good 222 bumps 11010
1787.68/898.26	c (FJ) 0: step 33800000 viol 144 good 1938 bumps 10814
1787.68/898.26	c (FJ) 1: step 30800000 viol 143 good 101 bumps 11010
1787.68/898.26	c (FJ) 0: step 33900000 viol 145 good 1661 bumps 10814
1787.68/898.26	c (FJ) 1: step 30900000 viol 143 good 94 bumps 11010
1787.68/898.26	c (FJ) 0: step 34000000 viol 146 good 1681 bumps 10814
1787.68/898.26	c (FJ) 0: step 34100000 viol 143 good 1990 bumps 10814
1787.68/898.26	c (FJ) 1: step 31000000 viol 143 good 181 bumps 11010
1787.68/898.26	c (FJ) 0: step 34200000 viol 143 good 1826 bumps 10814
1787.68/898.26	c (FJ) 1: step 31100000 viol 143 good 181 bumps 11010
1787.68/898.26	c (FJ) 0: step 34300000 viol 145 good 1761 bumps 10814
1787.68/898.26	c (FJ) 1: step 31200000 viol 143 good 100 bumps 11010
1787.68/898.26	c (FJ) 0: step 34400000 viol 145 good 1950 bumps 10814
1787.68/898.26	c (FJ) 1: step 31300000 viol 143 good 119 bumps 11010
1787.68/898.26	c (FJ) 0: step 34500000 viol 146 good 1918 bumps 10814
1787.68/898.26	c (FJ) 1: step 31400000 viol 143 good 91 bumps 11010
1787.68/898.26	c (FJ) 0: step 34600000 viol 144 good 1901 bumps 10814
1787.68/898.26	c (FJ) 0: step 34700000 viol 148 good 1943 bumps 10814
1787.68/898.26	c (FJ) 1: step 31500000 viol 143 good 95 bumps 11010
1787.68/898.26	c (FJ) 0: step 34800000 viol 147 good 1937 bumps 10814
1787.68/898.26	c (FJ) 1: step 31600000 viol 143 good 92 bumps 11010
2005.00/1007.46	c (FJ) 0: step 34900000 viol 145 good 1957 bumps 10814
2005.00/1007.46	c (FJ) 1: step 31700000 viol 143 good 213 bumps 11010
2005.00/1007.46	c (FJ) 0: step 35000000 viol 144 good 1386 bumps 10814
2005.00/1007.46	c (FJ) 1: step 31800000 viol 143 good 227 bumps 11010
2005.00/1007.46	c (FJ) 0: step 35100000 viol 144 good 1487 bumps 10814
2005.00/1007.46	c (FJ) 1: step 31900000 viol 143 good 126 bumps 11010
2005.00/1007.46	c (FJ) 0: step 35200000 viol 144 good 1637 bumps 10814
2005.00/1007.46	c (FJ) 0: step 35300000 viol 145 good 1817 bumps 10814
2005.00/1007.46	c (FJ) 1: step 32000000 viol 143 good 96 bumps 11010
2005.00/1007.46	c (FJ) 0: step 35400000 viol 143 good 1853 bumps 10814
2005.00/1007.46	c (FJ) 1: step 32100000 viol 143 good 100 bumps 11010
2005.00/1007.46	c (FJ) 0: step 35500000 viol 147 good 1932 bumps 10814
2005.00/1007.46	c (FJ) 1: step 32200000 viol 143 good 90 bumps 11010
2005.00/1007.46	c (FJ) 0: step 35600000 viol 143 good 1574 bumps 10814
2005.00/1007.46	c (FJ) 1: step 32300000 viol 143 good 96 bumps 11010
2005.00/1007.46	c (FJ) 0: step 35700000 viol 144 good 1804 bumps 10814
2005.00/1007.46	c (FJ) 0: step 35800000 viol 143 good 1780 bumps 10814
2005.00/1007.46	c (FJ) 1: step 32400000 viol 143 good 133 bumps 11010
2005.00/1007.46	c (FJ) 0: step 35900000 viol 144 good 1734 bumps 10814
2005.00/1007.46	c (FJ) 1: step 32500000 viol 143 good 113 bumps 11010
2005.00/1007.46	c (FJ) 0: step 36000000 viol 146 good 1862 bumps 10814
2005.00/1007.46	c (FJ) 1: step 32600000 viol 143 good 145 bumps 11010
2005.00/1007.46	c (FJ) 0: step 36100000 viol 146 good 1771 bumps 10814
2005.00/1007.46	c (FJ) 1: step 32700000 viol 143 good 108 bumps 11010
2005.00/1007.46	c (FJ) 0: step 36200000 viol 144 good 1820 bumps 10814
2005.00/1007.46	c (FJ) 1: step 32800000 viol 143 good 133 bumps 11010
2005.00/1007.46	c (FJ) 0: step 36300000 viol 148 good 2108 bumps 10814
2005.00/1007.46	c (FJ) 0: step 36400000 viol 148 good 1718 bumps 10814
2005.00/1007.46	c (FJ) 1: step 32900000 viol 143 good 206 bumps 11010
2005.00/1007.46	c (FJ) 0: step 36500000 viol 145 good 1713 bumps 10814
2005.00/1007.46	c (FJ) 1: step 33000000 viol 143 good 229 bumps 11010
2005.00/1007.46	c (FJ) 0: step 36600000 viol 144 good 1701 bumps 10814
2005.00/1007.46	c (FJ) 1: step 33100000 viol 143 good 123 bumps 11010
2005.00/1007.46	c (FJ) 0: step 36700000 viol 146 good 1950 bumps 10814
2005.00/1007.46	c (FJ) 1: step 33200000 viol 143 good 191 bumps 11010
2005.00/1007.46	c (FJ) 0: step 36800000 viol 145 good 1604 bumps 10814
2005.00/1007.46	c (FJ) 1: step 33300000 viol 143 good 157 bumps 11010
2005.00/1007.46	c (FJ) 0: step 36900000 viol 143 good 1650 bumps 10814
2005.00/1007.46	c (FJ) 0: step 37000000 viol 146 good 2137 bumps 10814
2005.00/1007.46	c (FJ) 1: step 33400000 viol 143 good 235 bumps 11010
2005.00/1007.46	c (FJ) 0: step 37100000 viol 146 good 1794 bumps 10814
2005.00/1007.46	c (FJ) 1: step 33500000 viol 143 good 114 bumps 11010
2005.00/1007.46	c (FJ) 0: step 37200000 viol 144 good 1642 bumps 10814
2005.00/1007.46	c (FJ) 1: step 33600000 viol 143 good 86 bumps 11010
2005.00/1007.46	c (FJ) 0: step 37300000 viol 145 good 1958 bumps 10814
2005.00/1007.46	c (FJ) 1: step 33700000 viol 143 good 197 bumps 11010
2005.00/1007.46	c (FJ) 0: step 37400000 viol 144 good 1492 bumps 10814
2005.00/1007.46	c (FJ) 1: step 33800000 viol 143 good 82 bumps 11010
2005.00/1007.46	c (FJ) 0: step 37500000 viol 144 good 1654 bumps 10814
2005.00/1007.46	c (FJ) 0: step 37600000 viol 144 good 1725 bumps 10814
2005.00/1007.46	c (FJ) 1: step 33900000 viol 143 good 122 bumps 11010
2005.00/1007.46	c (FJ) 0: step 37700000 viol 146 good 2009 bumps 10814
2005.00/1007.46	c (FJ) 1: step 34000000 viol 143 good 85 bumps 11010
2005.00/1007.46	c (FJ) 0: step 37800000 viol 145 good 1341 bumps 10814
2005.00/1007.46	c (FJ) 1: step 34100000 viol 143 good 178 bumps 11010
2005.00/1007.46	c (FJ) 0: step 37900000 viol 144 good 1870 bumps 10814
2005.00/1007.46	c (FJ) 1: step 34200000 viol 143 good 87 bumps 11010
2005.00/1007.46	c (FJ) 0: step 38000000 viol 143 good 1703 bumps 10814
2005.00/1007.46	c (FJ) 1: step 34300000 viol 143 good 170 bumps 11010
2005.00/1007.46	c (FJ) 0: step 38100000 viol 146 good 2068 bumps 10814
2005.00/1007.46	c (FJ) 0: step 38200000 viol 143 good 1753 bumps 10814
2005.00/1007.46	c (FJ) 1: step 34400000 viol 143 good 89 bumps 11010
2005.00/1007.46	c (FJ) 0: step 38300000 viol 144 good 1791 bumps 10814
2005.00/1007.46	c (FJ) 1: step 34500000 viol 143 good 229 bumps 11010
2005.00/1007.46	c (FJ) 0: step 38400000 viol 146 good 1863 bumps 10814
2005.00/1007.46	c (FJ) 1: step 34600000 viol 143 good 105 bumps 11010
2005.00/1007.46	c (FJ) 0: step 38500000 viol 144 good 1839 bumps 10814
2005.00/1007.46	c (FJ) 1: step 34700000 viol 143 good 97 bumps 11010
2005.00/1007.46	c (FJ) 0: step 38600000 viol 143 good 1614 bumps 10814
2005.00/1007.46	c (FJ) 1: step 34800000 viol 143 good 184 bumps 11010
2005.00/1007.46	c (FJ) 0: step 38700000 viol 145 good 1894 bumps 10814
2005.00/1007.46	c (FJ) 0: step 38800000 viol 145 good 1797 bumps 10814
2005.00/1007.46	c (FJ) 1: step 34900000 viol 143 good 79 bumps 11010
2005.00/1007.46	c (FJ) 0: step 38900000 viol 145 good 1624 bumps 10814
2005.00/1007.46	c (FJ) 1: step 35000000 viol 143 good 95 bumps 11010
2005.00/1007.46	c (FJ) 0: step 39000000 viol 144 good 1716 bumps 10814
2219.92/1115.43	c (FJ) 1: step 35100000 viol 143 good 196 bumps 11010
2219.92/1115.43	c (FJ) 0: step 39100000 viol 146 good 1992 bumps 10814
2219.92/1115.43	c (FJ) 1: step 35200000 viol 143 good 228 bumps 11010
2219.92/1115.43	c (FJ) 0: step 39200000 viol 143 good 1787 bumps 10814
2219.92/1115.43	c (FJ) 0: step 39300000 viol 144 good 1821 bumps 10814
2219.92/1115.43	c (FJ) 1: step 35300000 viol 143 good 78 bumps 11010
2219.92/1115.43	c (FJ) 0: step 39400000 viol 144 good 2020 bumps 10814
2219.92/1115.43	c (FJ) 1: step 35400000 viol 143 good 91 bumps 11010
2219.92/1115.43	c (FJ) 0: step 39500000 viol 145 good 1887 bumps 10814
2219.92/1115.43	c (FJ) 1: step 35500000 viol 143 good 160 bumps 11010
2219.92/1115.43	c (FJ) 0: step 39600000 viol 146 good 1751 bumps 10814
2219.92/1115.43	c (FJ) 1: step 35600000 viol 143 good 109 bumps 11010
2219.92/1115.43	c (FJ) 0: step 39700000 viol 144 good 1860 bumps 10814
2219.92/1115.43	c (FJ) 1: step 35700000 viol 143 good 230 bumps 11010
2219.92/1115.43	c (FJ) 0: step 39800000 viol 143 good 2000 bumps 10814
2219.92/1115.43	c (FJ) 0: step 39900000 viol 145 good 1834 bumps 10814
2219.92/1115.43	c (FJ) 1: step 35800000 viol 143 good 236 bumps 11010
2219.92/1115.43	c (FJ) 0: step 40000000 viol 144 good 1710 bumps 10814
2219.92/1115.43	c (FJ) 1: step 35900000 viol 143 good 114 bumps 11010
2219.92/1115.43	c (FJ) 0: step 40100000 viol 145 good 1807 bumps 10814
2219.92/1115.43	c (FJ) 1: step 36000000 viol 143 good 114 bumps 11010
2219.92/1115.43	c (FJ) 0: step 40200000 viol 146 good 1953 bumps 10814
2219.92/1115.43	c (FJ) 1: step 36100000 viol 143 good 84 bumps 11010
2219.92/1115.43	c (FJ) 0: step 40300000 viol 147 good 1759 bumps 10814
2219.92/1115.43	c (FJ) 1: step 36200000 viol 143 good 190 bumps 11010
2219.92/1115.43	c (FJ) 0: step 40400000 viol 145 good 1539 bumps 10814
2219.92/1115.43	c (FJ) 0: step 40500000 viol 148 good 1833 bumps 10814
2219.92/1115.43	c (FJ) 1: step 36300000 viol 143 good 87 bumps 11010
2219.92/1115.43	c (FJ) 0: step 40600000 viol 147 good 2020 bumps 10814
2219.92/1115.43	c (FJ) 1: step 36400000 viol 143 good 106 bumps 11010
2219.92/1115.43	c (FJ) 0: step 40700000 viol 146 good 1772 bumps 10814
2219.92/1115.43	c (FJ) 1: step 36500000 viol 143 good 123 bumps 11010
2219.92/1115.43	c (FJ) 0: step 40800000 viol 147 good 1864 bumps 10814
2219.92/1115.43	c (FJ) 1: step 36600000 viol 143 good 225 bumps 11010
2219.92/1115.43	c (FJ) 0: step 40900000 viol 145 good 1811 bumps 10814
2219.92/1115.43	c (FJ) 1: step 36700000 viol 143 good 182 bumps 11010
2219.92/1115.43	c (FJ) 0: step 41000000 viol 144 good 1871 bumps 10814
2219.92/1115.43	c (FJ) 0: step 41100000 viol 144 good 1642 bumps 10814
2219.92/1115.43	c (FJ) 1: step 36800000 viol 143 good 120 bumps 11010
2219.92/1115.43	c (FJ) 0: step 41200000 viol 143 good 1999 bumps 10814
2219.92/1115.43	c (FJ) 1: step 36900000 viol 143 good 96 bumps 11010
2219.92/1115.43	c (FJ) 0: step 41300000 viol 144 good 1752 bumps 10814
2219.92/1115.43	c (FJ) 1: step 37000000 viol 143 good 175 bumps 11010
2219.92/1115.43	c (FJ) 0: step 41400000 viol 146 good 1777 bumps 10814
2219.92/1115.43	c (FJ) 1: step 37100000 viol 143 good 170 bumps 11010
2219.92/1115.43	c (FJ) 0: step 41500000 viol 145 good 2193 bumps 10814
2219.92/1115.43	c (FJ) 1: step 37200000 viol 143 good 191 bumps 11010
2219.92/1115.43	c (FJ) 0: step 41600000 viol 146 good 1899 bumps 10814
2219.92/1115.43	c (FJ) 1: step 37300000 viol 143 good 79 bumps 11010
2219.92/1115.43	c (FJ) 0: step 41700000 viol 144 good 1952 bumps 10814
2219.92/1115.43	c (FJ) 0: step 41800000 viol 146 good 1790 bumps 10814
2219.92/1115.43	c (FJ) 1: step 37400000 viol 143 good 102 bumps 11010
2219.92/1115.43	c (FJ) 0: step 41900000 viol 146 good 1732 bumps 10814
2219.92/1115.43	c (FJ) 1: step 37500000 viol 143 good 115 bumps 11010
2219.92/1115.43	c (FJ) 0: step 42000000 viol 145 good 1719 bumps 10814
2219.92/1115.43	c (FJ) 1: step 37600000 viol 143 good 111 bumps 11010
2219.92/1115.43	c (FJ) 0: step 42100000 viol 143 good 1757 bumps 10814
2219.92/1115.43	c (FJ) 1: step 37700000 viol 143 good 93 bumps 11010
2219.92/1115.43	c (FJ) 0: step 42200000 viol 145 good 1892 bumps 10814
2219.92/1115.43	c (FJ) 0: step 42300000 viol 146 good 1886 bumps 10814
2219.92/1115.43	c (FJ) 1: step 37800000 viol 143 good 86 bumps 11010
2219.92/1115.43	c (FJ) 0: step 42400000 viol 145 good 1695 bumps 10814
2219.92/1115.43	c (FJ) 1: step 37900000 viol 143 good 60 bumps 11010
2219.92/1115.43	c (FJ) 0: step 42500000 viol 145 good 1618 bumps 10814
2219.92/1115.43	c (FJ) 1: step 38000000 viol 143 good 128 bumps 11010
2219.92/1115.43	c (FJ) 0: step 42600000 viol 145 good 1655 bumps 10814
2219.92/1115.43	c (FJ) 1: step 38100000 viol 143 good 151 bumps 11010
2219.92/1115.43	c (FJ) 0: step 42700000 viol 147 good 1645 bumps 10814
2219.92/1115.43	c (FJ) 1: step 38200000 viol 143 good 214 bumps 11010
2219.92/1115.43	c (FJ) 0: step 42800000 viol 146 good 1796 bumps 10814
2219.92/1115.43	c (FJ) 0: step 42900000 viol 145 good 2006 bumps 10814
2219.92/1115.43	c (FJ) 1: step 38300000 viol 143 good 234 bumps 11010
2219.92/1115.43	c (FJ) 0: step 43000000 viol 147 good 1913 bumps 10814
2219.92/1115.43	c (FJ) 1: step 38400000 viol 143 good 177 bumps 11010
2219.92/1115.43	c (FJ) 0: step 43100000 viol 148 good 1968 bumps 10814
2433.65/1222.85	c (FJ) 1: step 38500000 viol 143 good 237 bumps 11010
2433.65/1222.85	c (FJ) 0: step 43200000 viol 145 good 1960 bumps 10814
2433.65/1222.85	c (FJ) 1: step 38600000 viol 143 good 116 bumps 11010
2433.65/1222.85	c (FJ) 0: step 43300000 viol 145 good 1739 bumps 10814
2433.65/1222.85	c (FJ) 1: step 38700000 viol 143 good 242 bumps 11010
2433.65/1222.85	c (FJ) 0: step 43400000 viol 145 good 1612 bumps 10814
2433.65/1222.85	c (FJ) 0: step 43500000 viol 147 good 1808 bumps 10814
2433.65/1222.85	c (FJ) 1: step 38800000 viol 143 good 124 bumps 11010
2433.65/1222.85	c (FJ) 0: step 43600000 viol 147 good 1719 bumps 10814
2433.65/1222.85	c (FJ) 1: step 38900000 viol 143 good 125 bumps 11010
2433.65/1222.85	c (FJ) 0: step 43700000 viol 148 good 2094 bumps 10814
2433.65/1222.85	c (FJ) 1: step 39000000 viol 143 good 228 bumps 11010
2433.65/1222.85	c (FJ) 0: step 43800000 viol 144 good 1690 bumps 10814
2433.65/1222.85	c (FJ) 1: step 39100000 viol 143 good 114 bumps 11010
2433.65/1222.85	c (FJ) 0: step 43900000 viol 143 good 1655 bumps 10814
2433.65/1222.85	c (FJ) 1: step 39200000 viol 143 good 250 bumps 11010
2433.65/1222.85	c (FJ) 0: step 44000000 viol 144 good 1577 bumps 10814
2433.65/1222.85	c (FJ) 0: step 44100000 viol 147 good 1926 bumps 10814
2433.65/1222.85	c (FJ) 1: step 39300000 viol 143 good 230 bumps 11010
2433.65/1222.85	c (FJ) 0: step 44200000 viol 144 good 1635 bumps 10814
2433.65/1222.85	c (FJ) 1: step 39400000 viol 143 good 89 bumps 11010
2433.65/1222.85	c (FJ) 0: step 44300000 viol 145 good 1724 bumps 10814
2433.65/1222.85	c (FJ) 1: step 39500000 viol 143 good 81 bumps 11010
2433.65/1222.85	c (FJ) 0: step 44400000 viol 147 good 1886 bumps 10814
2433.65/1222.85	c (FJ) 1: step 39600000 viol 143 good 129 bumps 11010
2433.65/1222.85	c (FJ) 0: step 44500000 viol 144 good 1808 bumps 10814
2433.65/1222.85	c (FJ) 1: step 39700000 viol 143 good 221 bumps 11010
2433.65/1222.85	c (FJ) 0: step 44600000 viol 145 good 1729 bumps 10814
2433.65/1222.85	c (FJ) 0: step 44700000 viol 143 good 1858 bumps 10814
2433.65/1222.85	c (FJ) 1: step 39800000 viol 143 good 113 bumps 11010
2433.65/1222.85	c (FJ) 0: step 44800000 viol 144 good 1756 bumps 10814
2433.65/1222.85	c (FJ) 1: step 39900000 viol 143 good 96 bumps 11010
2433.65/1222.85	c (FJ) 0: step 44900000 viol 145 good 1961 bumps 10814
2433.65/1222.85	c (FJ) 1: step 40000000 viol 143 good 110 bumps 11010
2433.65/1222.85	c (FJ) 0: step 45000000 viol 145 good 1821 bumps 10814
2433.65/1222.85	c (FJ) 1: step 40100000 viol 143 good 217 bumps 11010
2433.65/1222.85	c (FJ) 0: step 45100000 viol 146 good 1997 bumps 10814
2433.65/1222.85	c (FJ) 1: step 40200000 viol 143 good 71 bumps 11010
2433.65/1222.85	c (FJ) 0: step 45200000 viol 146 good 2109 bumps 10814
2433.65/1222.85	c (FJ) 1: step 40300000 viol 143 good 103 bumps 11010
2433.65/1222.85	c (FJ) 0: step 45300000 viol 146 good 2088 bumps 10814
2433.65/1222.85	c (FJ) 0: step 45400000 viol 146 good 1894 bumps 10814
2433.65/1222.85	c (FJ) 1: step 40400000 viol 143 good 102 bumps 11010
2433.65/1222.85	c (FJ) 0: step 45500000 viol 145 good 1923 bumps 10814
2433.65/1222.85	c (FJ) 1: step 40500000 viol 143 good 242 bumps 11010
2433.65/1222.85	c (FJ) 0: step 45600000 viol 144 good 2111 bumps 10814
2433.65/1222.85	c (FJ) 1: step 40600000 viol 143 good 170 bumps 11010
2433.65/1222.85	c (FJ) 0: step 45700000 viol 144 good 1662 bumps 10814
2433.65/1222.85	c (FJ) 1: step 40700000 viol 143 good 250 bumps 11010
2433.65/1222.85	c (FJ) 0: step 45800000 viol 144 good 1776 bumps 10814
2433.65/1222.85	c (FJ) 1: step 40800000 viol 143 good 181 bumps 11010
2433.65/1222.85	c (FJ) 0: step 45900000 viol 148 good 1875 bumps 10814
2433.65/1222.85	c (FJ) 1: step 40900000 viol 143 good 232 bumps 11010
2433.65/1222.85	c (FJ) 0: step 46000000 viol 144 good 1690 bumps 10814
2433.65/1222.85	c (FJ) 0: step 46100000 viol 148 good 1636 bumps 10814
2433.65/1222.85	c (FJ) 1: step 41000000 viol 143 good 157 bumps 11010
2433.65/1222.85	c (FJ) 0: step 46200000 viol 148 good 1900 bumps 10814
2433.65/1222.85	c (FJ) 1: step 41100000 viol 143 good 229 bumps 11010
2433.65/1222.85	c (FJ) 0: step 46300000 viol 145 good 1562 bumps 10814
2433.65/1222.85	c (FJ) 1: step 41200000 viol 143 good 217 bumps 11010
2433.65/1222.85	c (FJ) 0: step 46400000 viol 145 good 1848 bumps 10814
2433.65/1222.85	c (FJ) 1: step 41300000 viol 143 good 225 bumps 11010
2433.65/1222.85	c (FJ) 0: step 46500000 viol 145 good 1807 bumps 10814
2433.65/1222.85	c (FJ) 1: step 41400000 viol 143 good 69 bumps 11010
2433.65/1222.85	c (FJ) 0: step 46600000 viol 147 good 1743 bumps 10814
2433.65/1222.85	c (FJ) 0: step 46700000 viol 145 good 1850 bumps 10814
2433.65/1222.85	c (FJ) 1: step 41500000 viol 143 good 172 bumps 11010
2433.65/1222.85	c (FJ) 0: step 46800000 viol 146 good 1701 bumps 10814
2433.65/1222.85	c (FJ) 1: step 41600000 viol 143 good 98 bumps 11010
2433.65/1222.85	c (FJ) 0: step 46900000 viol 146 good 1860 bumps 10814
2433.65/1222.85	c (FJ) 1: step 41700000 viol 143 good 102 bumps 11010
2433.65/1222.85	c (FJ) 0: step 47000000 viol 145 good 1803 bumps 10814
2433.65/1222.85	c (FJ) 1: step 41800000 viol 143 good 114 bumps 11010
2433.65/1222.85	c (FJ) 0: step 47100000 viol 146 good 2016 bumps 10814
2433.65/1222.85	c (FJ) 1: step 41900000 viol 143 good 107 bumps 11010
2649.97/1331.53	c (FJ) 0: step 47200000 viol 145 good 1778 bumps 10814
2649.97/1331.53	c (FJ) 0: step 47300000 viol 146 good 1838 bumps 10814
2649.97/1331.53	c (FJ) 1: step 42000000 viol 143 good 211 bumps 11010
2649.97/1331.53	c (FJ) 0: step 47400000 viol 147 good 1816 bumps 10814
2649.97/1331.53	c (FJ) 1: step 42100000 viol 143 good 150 bumps 11010
2649.97/1331.53	c (FJ) 0: step 47500000 viol 146 good 2052 bumps 10814
2649.97/1331.53	c (FJ) 1: step 42200000 viol 143 good 238 bumps 11010
2649.97/1331.53	c (FJ) 0: step 47600000 viol 145 good 1481 bumps 10814
2649.97/1331.53	c (FJ) 1: step 42300000 viol 143 good 208 bumps 11010
2649.97/1331.53	c (FJ) 0: step 47700000 viol 146 good 1690 bumps 10814
2649.97/1331.53	c (FJ) 1: step 42400000 viol 143 good 174 bumps 11010
2649.97/1331.53	c (FJ) 0: step 47800000 viol 147 good 1835 bumps 10814
2649.97/1331.53	c (FJ) 1: step 42500000 viol 143 good 166 bumps 11010
2649.97/1331.53	c (FJ) 0: step 47900000 viol 145 good 1763 bumps 10814
2649.97/1331.53	c (FJ) 0: step 48000000 viol 147 good 2183 bumps 10814
2649.97/1331.53	c (FJ) 1: step 42600000 viol 143 good 140 bumps 11010
2649.97/1331.53	c (FJ) 0: step 48100000 viol 146 good 2090 bumps 10814
2649.97/1331.53	c (FJ) 1: step 42700000 viol 143 good 219 bumps 11010
2649.97/1331.53	c (FJ) 0: step 48200000 viol 145 good 1786 bumps 10814
2649.97/1331.53	c (FJ) 1: step 42800000 viol 143 good 206 bumps 11010
2649.97/1331.53	c (FJ) 0: step 48300000 viol 146 good 2008 bumps 10814
2649.97/1331.53	c (FJ) 1: step 42900000 viol 143 good 165 bumps 11010
2649.97/1331.53	c (FJ) 0: step 48400000 viol 145 good 1761 bumps 10814
2649.97/1331.53	c (FJ) 0: step 48500000 viol 145 good 1797 bumps 10814
2649.97/1331.53	c (FJ) 1: step 43000000 viol 143 good 129 bumps 11010
2649.97/1331.53	c (FJ) 0: step 48600000 viol 146 good 1782 bumps 10814
2649.97/1331.53	c (FJ) 1: step 43100000 viol 143 good 173 bumps 11010
2649.97/1331.53	c (FJ) 0: step 48700000 viol 148 good 1925 bumps 10814
2649.97/1331.53	c (FJ) 1: step 43200000 viol 143 good 159 bumps 11010
2649.97/1331.53	c (FJ) 0: step 48800000 viol 147 good 1555 bumps 10814
2649.97/1331.53	c (FJ) 1: step 43300000 viol 143 good 199 bumps 11010
2649.97/1331.53	c (FJ) 0: step 48900000 viol 144 good 1791 bumps 10814
2649.97/1331.53	c (FJ) 1: step 43400000 viol 143 good 243 bumps 11010
2649.97/1331.53	c (FJ) 0: step 49000000 viol 149 good 2026 bumps 10814
2649.97/1331.53	c (FJ) 0: step 49100000 viol 145 good 1643 bumps 10814
2649.97/1331.53	c (FJ) 1: step 43500000 viol 143 good 121 bumps 11010
2649.97/1331.53	c (FJ) 0: step 49200000 viol 146 good 1747 bumps 10814
2649.97/1331.53	c (FJ) 1: step 43600000 viol 143 good 238 bumps 11010
2649.97/1331.53	c (FJ) 0: step 49300000 viol 147 good 1817 bumps 10814
2649.97/1331.53	c (FJ) 1: step 43700000 viol 143 good 176 bumps 11010
2649.97/1331.53	c (FJ) 0: step 49400000 viol 146 good 1677 bumps 10814
2649.97/1331.53	c (FJ) 1: step 43800000 viol 143 good 106 bumps 11010
2649.97/1331.53	c (FJ) 0: step 49500000 viol 146 good 1869 bumps 10814
2649.97/1331.53	c (FJ) 0: step 49600000 viol 144 good 1701 bumps 10814
2649.97/1331.53	c (FJ) 1: step 43900000 viol 143 good 200 bumps 11010
2649.97/1331.53	c (FJ) 0: step 49700000 viol 145 good 1731 bumps 10814
2649.97/1331.53	c (FJ) 1: step 44000000 viol 143 good 249 bumps 11010
2649.97/1331.53	c (FJ) 0: step 49800000 viol 145 good 1747 bumps 10814
2649.97/1331.53	c (FJ) 1: step 44100000 viol 143 good 227 bumps 11010
2649.97/1331.53	c (FJ) 0: step 49900000 viol 145 good 1740 bumps 10814
2649.97/1331.53	c (FJ) 1: step 44200000 viol 143 good 193 bumps 11010
2649.97/1331.53	c (FJ) 0: step 50000000 viol 146 good 1676 bumps 10814
2649.97/1331.53	c (FJ) 1: step 44300000 viol 143 good 180 bumps 11010
2649.97/1331.53	c (FJ) 0: step 50100000 viol 148 good 2309 bumps 10814
2649.97/1331.53	c (FJ) 0: step 50200000 viol 147 good 1722 bumps 10814
2649.97/1331.53	c (FJ) 1: step 44400000 viol 143 good 110 bumps 11010
2649.97/1331.53	c (FJ) 0: step 50300000 viol 146 good 2138 bumps 10814
2649.97/1331.53	c (FJ) 1: step 44500000 viol 143 good 213 bumps 11010
2649.97/1331.53	c (FJ) 0: step 50400000 viol 146 good 1507 bumps 10814
2649.97/1331.53	c (FJ) 1: step 44600000 viol 143 good 186 bumps 11010
2649.97/1331.53	c (FJ) 0: step 50500000 viol 146 good 1916 bumps 10814
2649.97/1331.53	c (FJ) 1: step 44700000 viol 143 good 90 bumps 11010
2649.97/1331.53	c (FJ) 0: step 50600000 viol 145 good 1755 bumps 10814
2649.97/1331.53	c (FJ) 0: step 50700000 viol 146 good 1831 bumps 10814
2649.97/1331.53	c (FJ) 1: step 44800000 viol 143 good 88 bumps 11010
2649.97/1331.53	c (FJ) 0: step 50800000 viol 147 good 1826 bumps 10814
2649.97/1331.53	c (FJ) 1: step 44900000 viol 143 good 211 bumps 11010
2649.97/1331.53	c (FJ) 0: step 50900000 viol 147 good 1822 bumps 10814
2649.97/1331.53	c (FJ) 1: step 45000000 viol 143 good 192 bumps 11010
2649.97/1331.53	c (FJ) 0: step 51000000 viol 145 good 1908 bumps 10814
2649.97/1331.53	c (FJ) 1: step 45100000 viol 143 good 148 bumps 11010
2649.97/1331.53	c (FJ) 0: step 51100000 viol 147 good 1761 bumps 10814
2649.97/1331.53	c (FJ) 1: step 45200000 viol 143 good 222 bumps 11010
2649.97/1331.53	c (FJ) 0: step 51200000 viol 148 good 1932 bumps 10814
2649.97/1331.53	c (FJ) 0: step 51300000 viol 144 good 1763 bumps 10814
2864.29/1439.27	c (FJ) 1: step 45300000 viol 143 good 119 bumps 11010
2864.29/1439.27	c (FJ) 0: step 51400000 viol 146 good 1523 bumps 10814
2864.29/1439.27	c (FJ) 1: step 45400000 viol 143 good 95 bumps 11010
2864.29/1439.27	c (FJ) 0: step 51500000 viol 145 good 1715 bumps 10814
2864.29/1439.27	c (FJ) 1: step 45500000 viol 143 good 152 bumps 11010
2864.29/1439.27	c (FJ) 0: step 51600000 viol 146 good 1868 bumps 10814
2864.29/1439.27	c (FJ) 1: step 45600000 viol 143 good 197 bumps 11010
2864.29/1439.27	c (FJ) 0: step 51700000 viol 145 good 1848 bumps 10814
2864.29/1439.27	c (FJ) 1: step 45700000 viol 143 good 107 bumps 11010
2864.29/1439.27	c (FJ) 0: step 51800000 viol 145 good 1616 bumps 10814
2864.29/1439.27	c (FJ) 0: step 51900000 viol 146 good 2029 bumps 10814
2864.29/1439.27	c (FJ) 1: step 45800000 viol 143 good 82 bumps 11010
2864.29/1439.27	c (FJ) 0: step 52000000 viol 147 good 1713 bumps 10814
2864.29/1439.27	c (FJ) 1: step 45900000 viol 143 good 246 bumps 11010
2864.29/1439.27	c (FJ) 0: step 52100000 viol 146 good 2036 bumps 10814
2864.29/1439.27	c (FJ) 1: step 46000000 viol 143 good 149 bumps 11010
2864.29/1439.27	c (FJ) 0: step 52200000 viol 145 good 1859 bumps 10814
2864.29/1439.27	c (FJ) 1: step 46100000 viol 143 good 121 bumps 11010
2864.29/1439.27	c (FJ) 0: step 52300000 viol 144 good 1716 bumps 10814
2864.29/1439.27	c (FJ) 1: step 46200000 viol 143 good 129 bumps 11010
2864.29/1439.27	c (FJ) 0: step 52400000 viol 144 good 1831 bumps 10814
2864.29/1439.27	c (FJ) 1: step 46300000 viol 143 good 153 bumps 11010
2864.29/1439.27	c (FJ) 0: step 52500000 viol 145 good 1692 bumps 10814
2864.29/1439.27	c (FJ) 0: step 52600000 viol 144 good 1788 bumps 10814
2864.29/1439.27	c (FJ) 1: step 46400000 viol 143 good 104 bumps 11010
2864.29/1439.27	c (FJ) 0: step 52700000 viol 146 good 1906 bumps 10814
2864.29/1439.27	c (FJ) 1: step 46500000 viol 143 good 115 bumps 11010
2864.29/1439.27	c (FJ) 0: step 52800000 viol 144 good 1827 bumps 10814
2864.29/1439.27	c (FJ) 1: step 46600000 viol 143 good 206 bumps 11010
2864.29/1439.27	c (FJ) 0: step 52900000 viol 144 good 1563 bumps 10814
2864.29/1439.27	c (FJ) 1: step 46700000 viol 143 good 131 bumps 11010
2864.29/1439.27	c (FJ) 0: step 53000000 viol 145 good 1709 bumps 10814
2864.29/1439.27	c (FJ) 1: step 46800000 viol 143 good 237 bumps 11010
2864.29/1439.27	c (FJ) 0: step 53100000 viol 147 good 1790 bumps 10814
2864.29/1439.27	c (FJ) 0: step 53200000 viol 150 good 1857 bumps 10814
2864.29/1439.27	c (FJ) 1: step 46900000 viol 143 good 201 bumps 11010
2864.29/1439.27	c (FJ) 0: step 53300000 viol 145 good 1560 bumps 10814
2864.29/1439.27	c (FJ) 1: step 47000000 viol 143 good 209 bumps 11010
2864.29/1439.27	c (FJ) 0: step 53400000 viol 145 good 1694 bumps 10814
2864.29/1439.27	c (FJ) 1: step 47100000 viol 143 good 118 bumps 11010
2864.29/1439.27	c (FJ) 0: step 53500000 viol 146 good 1564 bumps 10814
2864.29/1439.27	c (FJ) 1: step 47200000 viol 143 good 112 bumps 11010
2864.29/1439.27	c (FJ) 0: step 53600000 viol 145 good 1903 bumps 10814
2864.29/1439.27	c (FJ) 1: step 47300000 viol 143 good 103 bumps 11010
2864.29/1439.27	c (FJ) 0: step 53700000 viol 146 good 1930 bumps 10814
2864.29/1439.27	c (FJ) 0: step 53800000 viol 149 good 1951 bumps 10814
2864.29/1439.27	c (FJ) 1: step 47400000 viol 143 good 94 bumps 11010
2864.29/1439.27	c (FJ) 0: step 53900000 viol 145 good 1726 bumps 10814
2864.29/1439.27	c (FJ) 1: step 47500000 viol 143 good 235 bumps 11010
2864.29/1439.27	c (FJ) 0: step 54000000 viol 145 good 1728 bumps 10814
2864.29/1439.27	c (FJ) 1: step 47600000 viol 143 good 224 bumps 11010
2864.29/1439.27	c (FJ) 0: step 54100000 viol 148 good 1608 bumps 10814
2864.29/1439.27	c (FJ) 1: step 47700000 viol 143 good 120 bumps 11010
2864.29/1439.27	c (FJ) 0: step 54200000 viol 146 good 1792 bumps 10814
2864.29/1439.27	c (FJ) 1: step 47800000 viol 143 good 227 bumps 11010
2864.29/1439.27	c (FJ) 0: step 54300000 viol 146 good 1538 bumps 10814
2864.29/1439.27	c (FJ) 0: step 54400000 viol 148 good 1740 bumps 10814
2864.29/1439.27	c (FJ) 1: step 47900000 viol 143 good 112 bumps 11010
2864.29/1439.27	c (FJ) 0: step 54500000 viol 146 good 1840 bumps 10814
2864.29/1439.27	c (FJ) 1: step 48000000 viol 143 good 96 bumps 11010
2864.29/1439.27	c (FJ) 0: step 54600000 viol 145 good 1725 bumps 10814
2864.29/1439.27	c (FJ) 1: step 48100000 viol 143 good 104 bumps 11010
2864.29/1439.27	c (FJ) 0: step 54700000 viol 145 good 1551 bumps 10814
2864.29/1439.27	c (FJ) 1: step 48200000 viol 143 good 132 bumps 11010
2864.29/1439.27	c (FJ) 0: step 54800000 viol 146 good 1750 bumps 10814
2864.29/1439.27	c (FJ) 1: step 48300000 viol 143 good 161 bumps 11010
2864.29/1439.27	c (FJ) 0: step 54900000 viol 146 good 1819 bumps 10814
2864.29/1439.27	c (FJ) 0: step 55000000 viol 145 good 1993 bumps 10814
2864.29/1439.27	c (FJ) 1: step 48400000 viol 143 good 99 bumps 11010
2864.29/1439.27	c (FJ) 0: step 55100000 viol 146 good 2043 bumps 10814
2864.29/1439.27	c (FJ) 1: step 48500000 viol 143 good 203 bumps 11010
2864.29/1439.27	c (FJ) 0: step 55200000 viol 144 good 1819 bumps 10814
2864.29/1439.27	c (FJ) 1: step 48600000 viol 143 good 96 bumps 11010
2864.29/1439.27	c (FJ) 0: step 55300000 viol 149 good 1851 bumps 10814
2864.29/1439.27	c (FJ) 1: step 48700000 viol 143 good 106 bumps 11010
2864.29/1439.27	c (FJ) 0: step 55400000 viol 148 good 2111 bumps 10814
3079.90/1547.60	c (FJ) 0: step 55500000 viol 147 good 1863 bumps 10814
3079.90/1547.60	c (FJ) 1: step 48800000 viol 143 good 255 bumps 11010
3079.90/1547.60	c (FJ) 0: step 55600000 viol 145 good 1565 bumps 10814
3079.90/1547.60	c (FJ) 1: step 48900000 viol 143 good 116 bumps 11010
3079.90/1547.60	c (FJ) 0: step 55700000 viol 147 good 1913 bumps 10814
3079.90/1547.60	c (FJ) 1: step 49000000 viol 143 good 210 bumps 11010
3079.90/1547.60	c (FJ) 0: step 55800000 viol 145 good 2017 bumps 10814
3079.90/1547.60	c (FJ) 1: step 49100000 viol 143 good 94 bumps 11010
3079.90/1547.60	c (FJ) 0: step 55900000 viol 147 good 1739 bumps 10814
3079.90/1547.60	c (FJ) 1: step 49200000 viol 143 good 250 bumps 11010
3079.90/1547.60	c (FJ) 0: step 56000000 viol 146 good 1542 bumps 10814
3079.90/1547.60	c (FJ) 0: step 56100000 viol 145 good 1851 bumps 10814
3079.90/1547.60	c (FJ) 1: step 49300000 viol 143 good 88 bumps 11010
3079.90/1547.60	c (FJ) 0: step 56200000 viol 147 good 2126 bumps 10814
3079.90/1547.60	c (FJ) 1: step 49400000 viol 143 good 183 bumps 11010
3079.90/1547.60	c (FJ) 0: step 56300000 viol 148 good 1984 bumps 10814
3079.90/1547.60	c (FJ) 1: step 49500000 viol 143 good 113 bumps 11010
3079.90/1547.60	c (FJ) 0: step 56400000 viol 147 good 1768 bumps 10814
3079.90/1547.60	c (FJ) 1: step 49600000 viol 143 good 104 bumps 11010
3079.90/1547.60	c (FJ) 0: step 56500000 viol 147 good 1805 bumps 10814
3079.90/1547.60	c (FJ) 1: step 49700000 viol 143 good 200 bumps 11010
3079.90/1547.60	c (FJ) 0: step 56600000 viol 146 good 1610 bumps 10814
3079.90/1547.60	c (FJ) 0: step 56700000 viol 146 good 1746 bumps 10814
3079.90/1547.60	c (FJ) 1: step 49800000 viol 143 good 203 bumps 11010
3079.90/1547.60	c (FJ) 0: step 56800000 viol 147 good 2031 bumps 10814
3079.90/1547.60	c (FJ) 1: step 49900000 viol 143 good 194 bumps 11010
3079.90/1547.60	c (FJ) 0: step 56900000 viol 149 good 2145 bumps 10814
3079.90/1547.60	c (FJ) 1: step 50000000 viol 143 good 135 bumps 11010
3079.90/1547.60	c (FJ) 0: step 57000000 viol 145 good 1688 bumps 10814
3079.90/1547.60	c (FJ) 1: step 50100000 viol 143 good 135 bumps 11010
3079.90/1547.60	c (FJ) 0: step 57100000 viol 146 good 1591 bumps 10814
3079.90/1547.60	c (FJ) 1: step 50200000 viol 143 good 191 bumps 11010
3079.90/1547.60	c (FJ) 0: step 57200000 viol 148 good 1755 bumps 10814
3079.90/1547.60	c (FJ) 1: step 50300000 viol 143 good 115 bumps 11010
3079.90/1547.60	c (FJ) 0: step 57300000 viol 144 good 1694 bumps 10814
3079.90/1547.60	c (FJ) 0: step 57400000 viol 148 good 1853 bumps 10814
3079.90/1547.60	c (FJ) 1: step 50400000 viol 143 good 147 bumps 11010
3079.90/1547.60	c (FJ) 0: step 57500000 viol 145 good 1774 bumps 10814
3079.90/1547.60	c (FJ) 1: step 50500000 viol 143 good 188 bumps 11010
3079.90/1547.60	c (FJ) 0: step 57600000 viol 147 good 1585 bumps 10814
3079.90/1547.60	c (FJ) 1: step 50600000 viol 143 good 106 bumps 11010
3079.90/1547.60	c (FJ) 0: step 57700000 viol 147 good 1806 bumps 10814
3079.90/1547.60	c (FJ) 1: step 50700000 viol 143 good 251 bumps 11010
3079.90/1547.60	c (FJ) 0: step 57800000 viol 145 good 1536 bumps 10814
3079.90/1547.60	c (FJ) 1: step 50800000 viol 143 good 162 bumps 11010
3079.90/1547.60	c (FJ) 0: step 57900000 viol 148 good 2059 bumps 10814
3079.90/1547.60	c (FJ) 0: step 58000000 viol 146 good 1870 bumps 10814
3079.90/1547.60	c (FJ) 1: step 50900000 viol 143 good 237 bumps 11010
3079.90/1547.60	c (FJ) 0: step 58100000 viol 146 good 1717 bumps 10814
3079.90/1547.60	c (FJ) 1: step 51000000 viol 143 good 163 bumps 11010
3079.90/1547.60	c (FJ) 0: step 58200000 viol 150 good 1862 bumps 10814
3079.90/1547.60	c (FJ) 1: step 51100000 viol 143 good 233 bumps 11010
3079.90/1547.60	c (FJ) 0: step 58300000 viol 147 good 1809 bumps 10814
3079.90/1547.60	c (FJ) 1: step 51200000 viol 143 good 166 bumps 11010
3079.90/1547.60	c (FJ) 0: step 58400000 viol 147 good 1812 bumps 10814
3079.90/1547.60	c (FJ) 1: step 51300000 viol 143 good 210 bumps 11010
3079.90/1547.60	c (FJ) 0: step 58500000 viol 148 good 1905 bumps 10814
3079.90/1547.60	c (FJ) 0: step 58600000 viol 145 good 1671 bumps 10814
3079.90/1547.60	c (FJ) 1: step 51400000 viol 143 good 263 bumps 11010
3079.90/1547.60	c (FJ) 0: step 58700000 viol 147 good 1985 bumps 10814
3079.90/1547.60	c (FJ) 1: step 51500000 viol 143 good 145 bumps 11010
3079.90/1547.60	c (FJ) 0: step 58800000 viol 146 good 1740 bumps 10814
3079.90/1547.60	c (FJ) 1: step 51600000 viol 143 good 212 bumps 11010
3079.90/1547.60	c (FJ) 0: step 58900000 viol 148 good 1750 bumps 10814
3079.90/1547.60	c (FJ) 1: step 51700000 viol 143 good 210 bumps 11010
3079.90/1547.60	c (FJ) 0: step 59000000 viol 149 good 1767 bumps 10814
3079.90/1547.60	c (FJ) 1: step 51800000 viol 143 good 186 bumps 11010
3079.90/1547.60	c (FJ) 0: step 59100000 viol 148 good 1717 bumps 10814
3079.90/1547.60	c (FJ) 0: step 59200000 viol 147 good 1805 bumps 10814
3079.90/1547.60	c (FJ) 1: step 51900000 viol 143 good 115 bumps 11010
3079.90/1547.60	c (FJ) 0: step 59300000 viol 148 good 1686 bumps 10814
3079.90/1547.60	c (FJ) 1: step 52000000 viol 143 good 89 bumps 11010
3079.90/1547.60	c (FJ) 0: step 59400000 viol 147 good 1709 bumps 10814
3079.90/1547.60	c (FJ) 1: step 52100000 viol 143 good 131 bumps 11010
3079.90/1547.60	c (FJ) 0: step 59500000 viol 148 good 1765 bumps 10814
3295.12/1655.86	c (FJ) 1: step 52200000 viol 143 good 112 bumps 11010
3295.12/1655.86	c (FJ) 0: step 59600000 viol 148 good 1676 bumps 10814
3295.12/1655.86	c (FJ) 1: step 52300000 viol 143 good 110 bumps 11010
3295.12/1655.86	c (FJ) 0: step 59700000 viol 152 good 1976 bumps 10814
3295.12/1655.86	c (FJ) 0: step 59800000 viol 149 good 1956 bumps 10814
3295.12/1655.86	c (FJ) 1: step 52400000 viol 143 good 74 bumps 11010
3295.12/1655.86	c (FJ) 0: step 59900000 viol 147 good 1789 bumps 10814
3295.12/1655.86	c (FJ) 1: step 52500000 viol 143 good 167 bumps 11010
3295.12/1655.86	c (FJ) 0: step 60000000 viol 146 good 2008 bumps 10814
3295.12/1655.86	c (FJ) 1: step 52600000 viol 143 good 75 bumps 11010
3295.12/1655.86	c (FJ) 0: step 60100000 viol 147 good 1954 bumps 10814
3295.12/1655.86	c (FJ) 1: step 52700000 viol 143 good 226 bumps 11010
3295.12/1655.86	c (FJ) 0: step 60200000 viol 144 good 1609 bumps 10814
3295.12/1655.86	c (FJ) 1: step 52800000 viol 143 good 67 bumps 11010
3295.12/1655.86	c (FJ) 0: step 60300000 viol 147 good 2092 bumps 10814
3295.12/1655.86	c (FJ) 0: step 60400000 viol 146 good 1794 bumps 10814
3295.12/1655.86	c (FJ) 1: step 52900000 viol 143 good 137 bumps 11010
3295.12/1655.86	c (FJ) 0: step 60500000 viol 148 good 2057 bumps 10814
3295.12/1655.86	c (FJ) 1: step 53000000 viol 143 good 101 bumps 11010
3295.12/1655.86	c (FJ) 0: step 60600000 viol 147 good 1918 bumps 10814
3295.12/1655.86	c (FJ) 1: step 53100000 viol 143 good 82 bumps 11010
3295.12/1655.86	c (FJ) 0: step 60700000 viol 145 good 1902 bumps 10814
3295.12/1655.86	c (FJ) 1: step 53200000 viol 143 good 100 bumps 11010
3295.12/1655.86	c (FJ) 0: step 60800000 viol 146 good 2100 bumps 10814
3295.12/1655.86	c (FJ) 1: step 53300000 viol 143 good 195 bumps 11010
3295.12/1655.86	c (FJ) 0: step 60900000 viol 147 good 1941 bumps 10814
3295.12/1655.86	c (FJ) 0: step 61000000 viol 145 good 1935 bumps 10814
3295.12/1655.86	c (FJ) 1: step 53400000 viol 143 good 107 bumps 11010
3295.12/1655.86	c (FJ) 0: step 61100000 viol 145 good 1799 bumps 10814
3295.12/1655.86	c (FJ) 1: step 53500000 viol 143 good 92 bumps 11010
3295.12/1655.86	c (FJ) 0: step 61200000 viol 146 good 2118 bumps 10814
3295.12/1655.86	c (FJ) 1: step 53600000 viol 143 good 235 bumps 11010
3295.12/1655.86	c (FJ) 0: step 61300000 viol 145 good 1670 bumps 10814
3295.12/1655.86	c (FJ) 1: step 53700000 viol 143 good 102 bumps 11010
3295.12/1655.86	c (FJ) 0: step 61400000 viol 147 good 2041 bumps 10814
3295.12/1655.86	c (FJ) 1: step 53800000 viol 143 good 171 bumps 11010
3295.12/1655.86	c (FJ) 0: step 61500000 viol 145 good 1497 bumps 10814
3295.12/1655.86	c (FJ) 0: step 61600000 viol 145 good 1660 bumps 10814
3295.12/1655.86	c (FJ) 1: step 53900000 viol 143 good 212 bumps 11010
3295.12/1655.86	c (FJ) 0: step 61700000 viol 146 good 1530 bumps 10814
3295.12/1655.86	c (FJ) 1: step 54000000 viol 143 good 232 bumps 11010
3295.12/1655.86	c (FJ) 0: step 61800000 viol 145 good 1952 bumps 10814
3295.12/1655.86	c (FJ) 1: step 54100000 viol 143 good 98 bumps 11010
3295.12/1655.86	c (FJ) 0: step 61900000 viol 144 good 1938 bumps 10814
3295.12/1655.86	c (FJ) 1: step 54200000 viol 143 good 239 bumps 11010
3295.12/1655.86	c (FJ) 0: step 62000000 viol 145 good 1890 bumps 10814
3295.12/1655.86	c (FJ) 1: step 54300000 viol 143 good 73 bumps 11010
3295.12/1655.86	c (FJ) 0: step 62100000 viol 146 good 1922 bumps 10814
3295.12/1655.86	c (FJ) 0: step 62200000 viol 146 good 2146 bumps 10814
3295.12/1655.86	c (FJ) 1: step 54400000 viol 143 good 117 bumps 11010
3295.12/1655.86	c (FJ) 0: step 62300000 viol 148 good 2144 bumps 10814
3295.12/1655.86	c (FJ) 1: step 54500000 viol 143 good 220 bumps 11010
3295.12/1655.86	c (FJ) 0: step 62400000 viol 146 good 1835 bumps 10814
3295.12/1655.86	c (FJ) 1: step 54600000 viol 143 good 111 bumps 11010
3295.12/1655.86	c (FJ) 0: step 62500000 viol 146 good 1756 bumps 10814
3295.12/1655.86	c (FJ) 1: step 54700000 viol 143 good 139 bumps 11010
3295.12/1655.86	c (FJ) 0: step 62600000 viol 148 good 1971 bumps 10814
3295.12/1655.86	c (FJ) 1: step 54800000 viol 143 good 127 bumps 11010
3295.12/1655.86	c (FJ) 0: step 62700000 viol 146 good 1748 bumps 10814
3295.12/1655.86	c (FJ) 1: step 54900000 viol 143 good 215 bumps 11010
3295.12/1655.86	c (FJ) 0: step 62800000 viol 145 good 2115 bumps 10814
3295.12/1655.86	c (FJ) 0: step 62900000 viol 147 good 1913 bumps 10814
3295.12/1655.86	c (FJ) 1: step 55000000 viol 143 good 209 bumps 11010
3295.12/1655.86	c (FJ) 0: step 63000000 viol 146 good 1904 bumps 10814
3295.12/1655.86	c (FJ) 1: step 55100000 viol 143 good 228 bumps 11010
3295.12/1655.86	c (FJ) 0: step 63100000 viol 145 good 1696 bumps 10814
3295.12/1655.86	c (FJ) 1: step 55200000 viol 143 good 94 bumps 11010
3295.12/1655.86	c (FJ) 0: step 63200000 viol 147 good 1972 bumps 10814
3295.12/1655.86	c (FJ) 1: step 55300000 viol 143 good 188 bumps 11010
3295.12/1655.86	c (FJ) 0: step 63300000 viol 146 good 1699 bumps 10814
3295.12/1655.86	c (FJ) 1: step 55400000 viol 143 good 82 bumps 11010
3295.12/1655.86	c (FJ) 0: step 63400000 viol 147 good 1720 bumps 10814
3295.12/1655.86	c (FJ) 0: step 63500000 viol 145 good 1782 bumps 10814
3295.12/1655.86	c (FJ) 1: step 55500000 viol 143 good 124 bumps 11010
3295.12/1655.86	c (FJ) 0: step 63600000 viol 147 good 1807 bumps 10814
3508.35/1763.07	c (FJ) 1: step 55600000 viol 143 good 126 bumps 11010
3508.35/1763.07	c (FJ) 0: step 63700000 viol 146 good 1905 bumps 10814
3508.35/1763.07	c (FJ) 1: step 55700000 viol 143 good 218 bumps 11010
3508.35/1763.07	c (FJ) 0: step 63800000 viol 147 good 1829 bumps 10814
3508.35/1763.07	c (FJ) 1: step 55800000 viol 143 good 237 bumps 11010
3508.35/1763.07	c (FJ) 0: step 63900000 viol 150 good 2083 bumps 10814
3508.35/1763.07	c (FJ) 1: step 55900000 viol 143 good 142 bumps 11010
3508.35/1763.07	c (FJ) 0: step 64000000 viol 146 good 1930 bumps 10814
3508.35/1763.07	c (FJ) 0: step 64100000 viol 148 good 1699 bumps 10814
3508.35/1763.07	c (FJ) 1: step 56000000 viol 143 good 139 bumps 11010
3508.35/1763.07	c (FJ) 0: step 64200000 viol 145 good 1774 bumps 10814
3508.35/1763.07	c (FJ) 1: step 56100000 viol 143 good 254 bumps 11010
3508.35/1763.07	c (FJ) 0: step 64300000 viol 147 good 1761 bumps 10814
3508.35/1763.07	c (FJ) 1: step 56200000 viol 143 good 100 bumps 11010
3508.35/1763.07	c (FJ) 0: step 64400000 viol 146 good 1890 bumps 10814
3508.35/1763.07	c (FJ) 1: step 56300000 viol 143 good 226 bumps 11010
3508.35/1763.07	c (FJ) 0: step 64500000 viol 148 good 2170 bumps 10814
3508.35/1763.07	c (FJ) 1: step 56400000 viol 143 good 179 bumps 11010
3508.35/1763.07	c (FJ) 0: step 64600000 viol 143 good 2010 bumps 10814
3508.35/1763.07	c (FJ) 1: step 56500000 viol 143 good 104 bumps 11010
3508.35/1763.07	c (FJ) 0: step 64700000 viol 144 good 1739 bumps 10814
3508.35/1763.07	c (FJ) 0: step 64800000 viol 145 good 2139 bumps 10814
3508.35/1763.07	c (FJ) 1: step 56600000 viol 143 good 189 bumps 11010
3508.35/1763.07	c (FJ) 0: step 64900000 viol 145 good 1837 bumps 10814
3508.35/1763.07	c (FJ) 1: step 56700000 viol 143 good 82 bumps 11010
3508.35/1763.07	c (FJ) 0: step 65000000 viol 145 good 1916 bumps 10814
3508.35/1763.07	c (FJ) 1: step 56800000 viol 143 good 82 bumps 11010
3508.35/1763.07	c (FJ) 0: step 65100000 viol 145 good 2042 bumps 10814
3508.35/1763.07	c (FJ) 1: step 56900000 viol 143 good 254 bumps 11010
3508.35/1763.07	c (FJ) 0: step 65200000 viol 145 good 2020 bumps 10814
3508.35/1763.07	c (FJ) 1: step 57000000 viol 143 good 213 bumps 11010
3508.35/1763.07	c (FJ) 0: step 65300000 viol 145 good 1853 bumps 10814
3508.35/1763.07	c (FJ) 0: step 65400000 viol 145 good 1887 bumps 10814
3508.35/1763.07	c (FJ) 1: step 57100000 viol 143 good 203 bumps 11010
3508.35/1763.07	c (FJ) 0: step 65500000 viol 146 good 1837 bumps 10814
3508.35/1763.07	c (FJ) 1: step 57200000 viol 143 good 232 bumps 11010
3508.35/1763.07	c (FJ) 0: step 65600000 viol 144 good 1770 bumps 10814
3508.35/1763.07	c (FJ) 1: step 57300000 viol 143 good 201 bumps 11010
3508.35/1763.07	c (FJ) 0: step 65700000 viol 146 good 1876 bumps 10814
3508.35/1763.07	c (FJ) 1: step 57400000 viol 143 good 196 bumps 11010
3508.35/1763.07	c (FJ) 0: step 65800000 viol 148 good 1794 bumps 10814
3508.35/1763.07	c (FJ) 1: step 57500000 viol 143 good 79 bumps 11010
3508.35/1763.07	c (FJ) 0: step 65900000 viol 146 good 1770 bumps 10814
3508.35/1763.07	c (FJ) 0: step 66000000 viol 147 good 2207 bumps 10814
3508.35/1763.07	c (FJ) 1: step 57600000 viol 143 good 122 bumps 11010
3508.35/1763.07	c (FJ) 0: step 66100000 viol 147 good 1966 bumps 10814
3508.35/1763.07	c (FJ) 1: step 57700000 viol 143 good 119 bumps 11010
3508.35/1763.07	c (FJ) 0: step 66200000 viol 145 good 1799 bumps 10814
3508.35/1763.07	c (FJ) 1: step 57800000 viol 143 good 276 bumps 11010
3508.35/1763.07	c (FJ) 0: step 66300000 viol 148 good 2034 bumps 10814
3508.35/1763.07	c (FJ) 1: step 57900000 viol 143 good 132 bumps 11010
3508.35/1763.07	c (FJ) 0: step 66400000 viol 146 good 1606 bumps 10814
3508.35/1763.07	c (FJ) 1: step 58000000 viol 143 good 115 bumps 11010
3508.35/1763.07	c (FJ) 0: step 66500000 viol 145 good 1859 bumps 10814
3508.35/1763.07	c (FJ) 1: step 58100000 viol 143 good 90 bumps 11010
3508.35/1763.07	c (FJ) 0: step 66600000 viol 144 good 1949 bumps 10814
3508.35/1763.07	c (FJ) 0: step 66700000 viol 146 good 1950 bumps 10814
3508.35/1763.07	c (FJ) 1: step 58200000 viol 143 good 221 bumps 11010
3508.35/1763.07	c (FJ) 0: step 66800000 viol 145 good 1824 bumps 10814
3508.35/1763.07	c (FJ) 1: step 58300000 viol 143 good 80 bumps 11010
3508.35/1763.07	c (FJ) 0: step 66900000 viol 148 good 2036 bumps 10814
3508.35/1763.07	c (FJ) 1: step 58400000 viol 143 good 129 bumps 11010
3508.35/1763.07	c (FJ) 0: step 67000000 viol 146 good 1650 bumps 10814
3508.35/1763.07	c (FJ) 1: step 58500000 viol 143 good 108 bumps 11010
3508.35/1763.07	c (FJ) 0: step 67100000 viol 145 good 1531 bumps 10814
3508.35/1763.07	c (FJ) 1: step 58600000 viol 143 good 140 bumps 11010
3508.35/1763.07	c (FJ) 0: step 67200000 viol 145 good 1758 bumps 10814
3508.35/1763.07	c (FJ) 0: step 67300000 viol 146 good 1975 bumps 10814
3508.35/1763.07	c (FJ) 1: step 58700000 viol 143 good 207 bumps 11010
3508.35/1763.07	c (FJ) 0: step 67400000 viol 145 good 1939 bumps 10814
3508.35/1763.07	c (FJ) 1: step 58800000 viol 143 good 112 bumps 11010
3508.35/1763.07	c (FJ) 0: step 67500000 viol 145 good 2264 bumps 10814
3508.35/1763.07	c (FJ) 1: step 58900000 viol 143 good 208 bumps 11010
3508.35/1763.07	c (FJ) 0: step 67600000 viol 145 good 1924 bumps 10814
3508.35/1763.07	c (FJ) 1: step 59000000 viol 143 go

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485836-1751316572/watcher-4485836-1751316572 -o /tmp/evaluation-result-4485836-1751316572/solver-4485836-1751316572 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751313715-43197 --watchdog 3760 pbscip -f HOME/instance-4485836-1751316572.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=43664, runsolver pid=43661

[startup+0.100058 s]*
/proc/loadavg: 5.09 5.12 4.95 7/267 43667
/proc/meminfo: memFree=128173424/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=22916 CPUtime=0.12 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 3187 0 0 0 12 0 0 0 20 0 3 0 47335045 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 5729 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=4026531960 CPUtime=0.05 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 971 0 0 0 5 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=228522721619 CPUtime=0.05 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 728 0 0 0 5 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 22916 KiB

[startup+0.205454 s]*
/proc/loadavg: 5.09 5.12 4.95 7/267 43667
/proc/meminfo: memFree=128173424/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=22916 CPUtime=0.32 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 3187 0 0 0 32 0 0 0 20 0 3 0 47335045 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 5729 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=3472328300254200092 CPUtime=0.15 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 971 0 0 0 15 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=16099 CPUtime=0.15 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 728 0 0 0 15 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 22916 KiB

[startup+0.304832 s]*
/proc/loadavg: 5.09 5.12 4.95 7/267 43667
/proc/meminfo: memFree=128173424/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=22916 CPUtime=0.51 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 3187 0 0 0 51 0 0 0 20 0 3 0 47335045 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 5729 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=8323118972557163406 CPUtime=0.24 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 971 0 0 0 24 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=0 CPUtime=0.25 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 728 0 0 0 25 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 22916 KiB

[startup+0.700125 s]
/proc/loadavg: 5.09 5.12 4.95 7/267 43667
/proc/meminfo: memFree=128173184/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=22916 CPUtime=1.28 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 3187 0 0 0 128 0 0 0 20 0 3 0 47335045 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 5729 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=0 CPUtime=0.62 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 971 0 0 0 62 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=0 CPUtime=0.64 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 728 0 0 0 64 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 22916 KiB

[startup+1.50013 s]
/proc/loadavg: 5.09 5.12 4.95 7/267 43667
/proc/meminfo: memFree=128173184/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=22916 CPUtime=2.87 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 4514 0 0 0 287 0 0 0 20 0 3 0 47335045 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 5729 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=0 CPUtime=1.41 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 1652 0 0 0 141 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=0 CPUtime=1.44 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 1371 0 0 0 144 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 22916 KiB

[startup+3.10483 s]
/proc/loadavg: 5.09 5.12 4.95 7/267 43667
/proc/meminfo: memFree=128173436/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=22916 CPUtime=6.07 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 4613 0 0 0 607 0 0 0 20 0 3 0 47335045 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 5729 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=8323118972557163406 CPUtime=3 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 1682 0 0 0 300 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=0 CPUtime=3.04 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 1440 0 0 0 304 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 6.07 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 22916 KiB

[startup+6.30012 s]
/proc/loadavg: 5.16 5.13 4.95 7/268 43669
/proc/meminfo: memFree=128174092/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=22916 CPUtime=12.43 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 6704 0 0 0 1243 0 0 0 20 0 3 0 47335045 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 5729 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=22916 CPUtime=6.18 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 2397 0 0 0 618 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=13568 CPUtime=6.23 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 2813 0 0 0 623 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 12.43 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 22916 KiB

[startup+12.7001 s]
/proc/loadavg: 5.23 5.15 4.96 7/268 43669
/proc/meminfo: memFree=128174092/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=22916 CPUtime=25.17 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 6726 0 0 0 2517 0 0 0 20 0 3 0 47335045 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 5729 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=22916 CPUtime=12.53 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 2401 0 0 0 1253 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=14156 CPUtime=12.62 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 2831 0 0 0 1262 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 25.17 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 22916 KiB

[startup+25.5001 s]
/proc/loadavg: 5.47 5.20 4.98 7/268 43669
/proc/meminfo: memFree=128171788/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=22916 CPUtime=50.64 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 6730 0 0 0 5064 0 0 0 20 0 3 0 47335045 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 5729 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=22916 CPUtime=25.24 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 2401 0 0 0 2524 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=22916 CPUtime=25.39 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 2835 0 0 0 2539 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 50.64 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 22916 KiB

[startup+51.1046 s]
/proc/loadavg: 5.66 5.27 5.01 7/268 43669
/proc/meminfo: memFree=128174936/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=22916 CPUtime=101.6 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 8121 0 0 0 10160 0 0 0 20 0 3 0 47335045 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 5729 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=22916 CPUtime=50.65 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 3099 0 0 0 5065 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=22916 CPUtime=50.93 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 3527 0 0 0 5093 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 101.6 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 22916 KiB

[startup+102.3 s]
/proc/loadavg: 5.90 5.40 5.07 7/268 43675
/proc/meminfo: memFree=128173532/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=22916 CPUtime=203.5 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 8142 0 0 0 20350 0 0 0 20 0 3 0 47335045 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 5729 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=279470167338720 CPUtime=101.47 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 3109 0 0 0 10147 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=22916 CPUtime=102.01 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 3536 0 0 0 10201 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 203.5 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 22916 KiB

[startup+162.3 s]
/proc/loadavg: 6.03 5.53 5.14 7/268 43677
/proc/meminfo: memFree=128184556/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=22916 CPUtime=322.93 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 8848 0 0 0 32293 0 0 0 20 0 3 0 47335045 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 5729 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=14156 CPUtime=161.03 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 3113 0 0 0 16103 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=10880 CPUtime=161.88 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 4237 0 0 0 16188 0 0 0 20 0 3 0 47335047 195567616 5729 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 322.93 s
Current children cumulated vsize: 190984 KiB

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

Current children cumulated memory: 24196 KiB

[startup+1362.3 s]
/proc/loadavg: 6.14 6.10 5.88 7/268 43882
/proc/meminfo: memFree=128320324/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=24196 CPUtime=2711.26 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 12970 0 0 0 271124 2 0 0 20 0 3 0 47335045 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 6049 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=24196 CPUtime=1352.28 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 4552 0 0 0 135228 0 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=24196 CPUtime=1358.9 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 6904 0 0 0 135890 0 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 2711.26 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 24196 KiB

[startup+1422.3 s]
/proc/loadavg: 6.11 6.09 5.90 7/268 43884
/proc/meminfo: memFree=128321260/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=24196 CPUtime=2830.66 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 12970 0 0 0 283064 2 0 0 20 0 3 0 47335045 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 6049 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=24196 CPUtime=1411.85 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 4552 0 0 0 141185 0 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=24196 CPUtime=1418.74 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 6904 0 0 0 141874 0 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 2830.66 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 24196 KiB

[startup+1482.3 s]
/proc/loadavg: 5.67 5.98 5.88 6/265 43930
/proc/meminfo: memFree=128253196/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=24196 CPUtime=2950.02 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 12970 0 0 0 295000 2 0 0 20 0 3 0 47335045 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 6049 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=24196 CPUtime=1471.37 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 4552 0 0 0 147137 0 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=14156 CPUtime=1478.57 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 6904 0 0 0 147857 0 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 2950.02 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 24196 KiB

[startup+1542.3 s]
/proc/loadavg: 5.31 5.81 5.82 6/264 43932
/proc/meminfo: memFree=128255336/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=24196 CPUtime=3069.36 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 12970 0 0 0 306934 2 0 0 20 0 3 0 47335045 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 6049 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=13568 CPUtime=1530.88 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 4552 0 0 0 153087 1 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=14156 CPUtime=1538.4 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 6904 0 0 0 153840 0 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 3069.36 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 24196 KiB

[startup+1602.3 s]
/proc/loadavg: 5.16 5.68 5.78 6/264 43933
/proc/meminfo: memFree=128257220/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=24196 CPUtime=3188.7 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 12973 0 0 0 318867 3 0 0 20 0 3 0 47335045 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 6049 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=13568 CPUtime=1590.39 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 4552 0 0 0 159038 1 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=24196 CPUtime=1598.24 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 6906 0 0 0 159824 0 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 3188.7 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 24196 KiB

[startup+1662.3 s]
/proc/loadavg: 5.16 5.58 5.73 6/264 43935
/proc/meminfo: memFree=128253064/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=24196 CPUtime=3308.05 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 13066 0 0 0 330801 4 0 0 20 0 3 0 47335045 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 6049 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=4752 CPUtime=1649.89 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 4553 0 0 0 164988 1 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=24196 CPUtime=1658.07 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 6998 0 0 0 165807 0 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 3308.05 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 24196 KiB

[startup+1722.3 s]
/proc/loadavg: 5.11 5.49 5.69 6/264 43937
/proc/meminfo: memFree=128240132/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=24196 CPUtime=3427.38 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 13505 0 0 0 342734 4 0 0 20 0 3 0 47335045 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 6049 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=10880 CPUtime=1709.39 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 4984 0 0 0 170938 1 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=24196 CPUtime=1717.9 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 7006 0 0 0 171790 0 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 3427.38 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 24196 KiB

[startup+1782.3 s]
/proc/loadavg: 5.08 5.41 5.65 6/265 43940
/proc/meminfo: memFree=128240224/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=24196 CPUtime=3546.73 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 13513 0 0 0 354668 5 0 0 20 0 3 0 47335045 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 6049 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=24196 CPUtime=1768.91 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 4988 0 0 0 176889 2 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=24196 CPUtime=1777.73 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 7010 0 0 0 177773 0 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 3546.73 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 24196 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.11 s]
/proc/loadavg: 5.11 5.40 5.64 6/266 43945
/proc/meminfo: memFree=128199516/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=24196 CPUtime=3600.04 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 13515 0 0 0 359999 5 0 0 20 0 3 0 47335045 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 6049 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=24196 CPUtime=1795.49 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 4988 0 0 0 179547 2 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=10880 CPUtime=1804.46 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 7010 0 0 0 180446 0 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 24196 KiB

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

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

# cumulated CPU time of all completed processes:  user=3600 s, system=0.05773 s

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

[startup+1809.11 s]
/proc/loadavg: 5.11 5.40 5.64 6/266 43945
/proc/meminfo: memFree=128199516/131249996 swapFree=33005272/33010684
[pid=43664] ppid=43661 vsize=190984 memory=24196 CPUtime=3600.04 cores=1,3
/proc/43664/stat : 43664 (pbscip) S 43661 43664 43185 0 -1 4194304 13515 0 0 0 359999 5 0 0 20 0 3 0 47335045 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
/proc/43664/statm: 47746 6049 3200 3530 0 8122 0
[pid=43664/tid=43666] ppid=43661 vsize=190984 memory=24196 CPUtime=1795.49 cores=1,3
/proc/43664/task/43666/stat : 43666 (pbscip) R 43661 43664 43185 0 -1 4194368 4988 0 0 0 179547 2 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
[pid=43664/tid=43667] ppid=43661 vsize=190984 memory=10880 CPUtime=1804.46 cores=1,3
/proc/43664/task/43667/stat : 43667 (pbscip) R 43661 43664 43185 0 -1 4194368 7010 0 0 0 180446 0 0 0 20 0 3 0 47335047 195567616 6049 18446744073709551615 4235264 18693293 140734487865040 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 21375888 21430392 32997376 140734487873929 140734487874028 140734487874028 140734487879630 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 190984 KiB
Current children cumulated memory: 24196 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 1809.11
CPU time (s): 3600.06
CPU user time (s): 3600
CPU system time (s): 0.05773
CPU usage (%): 198.996
Max. virtual memory (cumulated for all children) (KiB): 190984
Max. memory (cumulated for all children) (KiB): 24196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600
system time used= 0.05773
maximum resident set size= 24196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13515
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36224
involuntary context switches= 69160


# summary of solver processes directly reported to runsolver:
#   pid: 43664
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3600
#   total CPU system time (s): 0.05773

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.11498 second user time and 6.10827 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-06-30 22:49:32
IDJOB=4485836
IDBENCH=146890
IDSOLVER=3365
FILE ID=nodeC023/4485836-1751316572
RUNJOBID= nodeC023-1751313715-43197
SLURM_JOB_ID= 9594317
Free space on /tmp= 432976 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485836-1751316572/watcher-4485836-1751316572 -o /tmp/evaluation-result-4485836-1751316572/solver-4485836-1751316572 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751313715-43197 --watchdog 3760  pbscip -f HOME/instance-4485836-1751316572.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= f6174806ed62bf92db0e2ac6f71348b5
RANDOM SEED=101960253

nodeC023 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.923
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128177380 kB
MemAvailable:   127857884 kB
Buffers:            1328 kB
Cached:           480140 kB
SwapCached:          536 kB
Active:          2051932 kB
Inactive:         377904 kB
Active(anon):    1901704 kB
Inactive(anon):    59892 kB
Active(file):     150228 kB
Inactive(file):   318012 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005272 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             19316 kB
Writeback:             0 kB
AnonPages:       1949600 kB
Mapped:           131028 kB
Shmem:             13228 kB
KReclaimable:     103004 kB
Slab:             190368 kB
SReclaimable:     103004 kB
SUnreclaim:        87364 kB
KernelStack:        4288 kB
PageTables:         7240 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2427432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    745472 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432972 MiB
End job on nodeC023 at 2025-06-30 23:19:41