Trace number 4485744

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.03 1809.61

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-greenbeb.opb
MD5SUMd021d78883fac2a7bf820bb220b2a7e2
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.14616
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables155020
Total number of constraints2675
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 constraints2675
Minimum length of a constraint11
Maximum length of a constraint7172
Number of terms in the objective function 14882
Biggest coefficient in the objective function 536870912000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 12491747892670016
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 24454743822989865
Number of bits of the biggest sum of numbers55
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-4485744-1751316206.opb>
653.68/329.19	c num_threads: 2
653.68/329.19	c timelimit: 3596.997015
653.68/329.19	c Parsing file: HOME/instance-4485744-1751316206.opb
653.68/329.19	c (FJ) starting FJ with 2 threads.
653.68/329.19	c (FJ) copying 155020 x 2675 matrix with 840291 nonzeros.
653.68/329.19	c (FJ) initializing FJ with 155020 vars 2675 constraints
653.68/329.19	c (FJ) initializing FJ with 155020 vars 2675 constraints
653.68/329.19	c (FJ) 1: starting solve. weightUpdateDecay=1, relaxContinuous=0, seed=1 
653.68/329.19	c (FJ) 0: starting solve. weightUpdateDecay=1, relaxContinuous=0, seed=0 
653.68/329.19	c (FJ) 1: step 0 viol 131 good 2564 bumps 0
653.68/329.19	c (FJ) 0: step 0 viol 131 good 2564 bumps 0
653.68/329.19	c (FJ) 1: step 100000 viol 1241 good 3 bumps 3610
653.68/329.19	c (FJ) 0: step 100000 viol 1475 good 6 bumps 5762
653.68/329.19	c (FJ) 1: step 200000 viol 1359 good 26 bumps 8577
653.68/329.19	c (FJ) 0: step 200000 viol 1515 good 54 bumps 8592
653.68/329.19	c (FJ) 0: step 300000 viol 1549 good 36 bumps 11254
653.68/329.19	c (FJ) 1: step 300000 viol 1586 good 177 bumps 14432
653.68/329.19	c (FJ) 0: step 400000 viol 1565 good 15 bumps 13341
653.68/329.19	c (FJ) 0: step 500000 viol 1578 good 1 bumps 15741
653.68/329.19	c (FJ) 1: step 400000 viol 1707 good 31 bumps 19412
653.68/329.19	c (FJ) 0: step 600000 viol 1609 good 49 bumps 17793
653.68/329.19	c (FJ) 1: step 500000 viol 1696 good 51 bumps 23209
653.68/329.19	c (FJ) 0: step 700000 viol 1676 good 24 bumps 20565
653.68/329.19	c (FJ) 1: step 600000 viol 1757 good 198 bumps 27499
653.68/329.19	c (FJ) 0: step 800000 viol 1763 good 76 bumps 23944
653.68/329.19	c (FJ) 1: step 700000 viol 1794 good 7 bumps 31464
653.68/329.19	c (FJ) 0: step 900000 viol 1787 good 3 bumps 27848
653.68/329.19	c (FJ) 1: step 800000 viol 1816 good 17 bumps 34214
653.68/329.19	c (FJ) 0: step 1000000 viol 1881 good 17 bumps 31561
653.68/329.19	c (FJ) 1: step 900000 viol 1857 good 5 bumps 38724
653.68/329.19	c (FJ) 0: step 1100000 viol 1874 good 122 bumps 35484
653.68/329.19	c (FJ) 0: step 1200000 viol 1897 good 82 bumps 39189
653.68/329.19	c (FJ) 1: step 1000000 viol 1878 good 1 bumps 43909
653.68/329.19	c (FJ) 0: step 1300000 viol 1936 good 24 bumps 43263
653.68/329.19	c (FJ) 1: step 1100000 viol 1905 good 1542 bumps 47888
653.68/329.19	c (FJ) 1: step 1200000 viol 1897 good 1552 bumps 48085
653.68/329.19	c (FJ) 0: step 1400000 viol 1958 good 432 bumps 45158
653.68/329.19	c (FJ) 1: step 1300000 viol 1903 good 1999 bumps 48085
653.68/329.19	c (FJ) 1: step 1400000 viol 1902 good 1349 bumps 48085
653.68/329.19	c (FJ) 0: step 1500000 viol 1958 good 0 bumps 46423
653.68/329.19	c (FJ) 1: step 1500000 viol 1901 good 1412 bumps 48240
653.68/329.19	c (FJ) 0: step 1600000 viol 1972 good 1727 bumps 47039
653.68/329.19	c (FJ) 1: step 1600000 viol 1905 good 1910 bumps 48296
653.68/329.19	c (FJ) 0: step 1700000 viol 1977 good 1324 bumps 47039
653.68/329.19	c (FJ) 0: step 1800000 viol 1978 good 1117 bumps 47039
653.68/329.19	c (FJ) 1: step 1700000 viol 1912 good 1768 bumps 48806
653.68/329.19	c (FJ) 0: step 1900000 viol 1979 good 1982 bumps 47039
653.68/329.19	c (FJ) 1: step 1800000 viol 1912 good 1657 bumps 48806
653.68/329.19	c (FJ) 0: step 2000000 viol 1979 good 1675 bumps 47039
653.68/329.19	c (FJ) 1: step 1900000 viol 1909 good 1640 bumps 48974
653.68/329.19	c (FJ) 0: step 2100000 viol 1978 good 1084 bumps 47039
653.68/329.19	c (FJ) 1: step 2000000 viol 1910 good 1796 bumps 48974
653.68/329.19	c (FJ) 1: step 2100000 viol 1917 good 1738 bumps 48974
653.68/329.19	c (FJ) 0: step 2200000 viol 1968 good 1104 bumps 47760
653.68/329.19	c (FJ) 1: step 2200000 viol 1916 good 1499 bumps 48974
653.68/329.19	c (FJ) 0: step 2300000 viol 1972 good 1617 bumps 47760
653.68/329.19	c (FJ) 1: step 2300000 viol 1919 good 1501 bumps 48974
653.68/329.19	c (FJ) 0: step 2400000 viol 1975 good 1131 bumps 47760
653.68/329.19	c (FJ) 1: step 2400000 viol 1918 good 1535 bumps 48974
653.68/329.19	c (FJ) 0: step 2500000 viol 1978 good 1711 bumps 47760
653.68/329.19	c (FJ) 1: step 2500000 viol 1917 good 1397 bumps 48974
653.68/329.19	c (FJ) 0: step 2600000 viol 1977 good 1255 bumps 47760
653.68/329.19	c (FJ) 1: step 2600000 viol 1920 good 1935 bumps 48974
653.68/329.19	c (FJ) 0: step 2700000 viol 1976 good 1121 bumps 47760
653.68/329.19	c (FJ) 1: step 2700000 viol 1918 good 1764 bumps 48974
653.68/329.19	c (FJ) 0: step 2800000 viol 1977 good 1288 bumps 47760
653.68/329.19	c (FJ) 1: step 2800000 viol 1918 good 1534 bumps 48974
653.68/329.19	c (FJ) 0: step 2900000 viol 1976 good 1364 bumps 47760
653.68/329.19	c (FJ) 1: step 2900000 viol 1919 good 1754 bumps 48974
653.68/329.19	c (FJ) 0: step 3000000 viol 1975 good 1116 bumps 47760
653.68/329.19	c (FJ) 1: step 3000000 viol 1917 good 1733 bumps 48974
653.68/329.19	c (FJ) 0: step 3100000 viol 1977 good 1114 bumps 47760
653.68/329.19	c (FJ) 1: step 3100000 viol 1920 good 1400 bumps 48974
653.68/329.19	c (FJ) 0: step 3200000 viol 1975 good 1000 bumps 47760
653.68/329.19	c (FJ) 1: step 3200000 viol 1915 good 1439 bumps 48974
653.68/329.19	c (FJ) 0: step 3300000 viol 1976 good 1560 bumps 47760
653.68/329.19	c (FJ) 1: step 3300000 viol 1919 good 1353 bumps 48974
1025.16/515.87	c (FJ) 0: step 3400000 viol 1973 good 1836 bumps 47760
1025.16/515.87	c (FJ) 1: step 3400000 viol 1914 good 1485 bumps 48974
1025.16/515.87	c (FJ) 0: step 3500000 viol 1975 good 1251 bumps 47760
1025.16/515.87	c (FJ) 1: step 3500000 viol 1913 good 1279 bumps 48974
1025.16/515.87	c (FJ) 0: step 3600000 viol 1975 good 1290 bumps 47760
1025.16/515.87	c (FJ) 1: step 3600000 viol 1916 good 1076 bumps 48974
1025.16/515.87	c (FJ) 0: step 3700000 viol 1973 good 1447 bumps 47760
1025.16/515.87	c (FJ) 1: step 3700000 viol 1918 good 1770 bumps 48974
1025.16/515.87	c (FJ) 0: step 3800000 viol 1977 good 1362 bumps 47760
1025.16/515.87	c (FJ) 1: step 3800000 viol 1919 good 1497 bumps 48974
1025.16/515.87	c (FJ) 0: step 3900000 viol 1976 good 1387 bumps 47760
1025.16/515.87	c (FJ) 1: step 3900000 viol 1918 good 1505 bumps 48974
1025.16/515.87	c (FJ) 0: step 4000000 viol 1978 good 1723 bumps 47760
1025.16/515.87	c (FJ) 1: step 4000000 viol 1916 good 1478 bumps 48974
1025.16/515.87	c (FJ) 0: step 4100000 viol 1979 good 1330 bumps 47760
1025.16/515.87	c (FJ) 1: step 4100000 viol 1920 good 1493 bumps 48974
1025.16/515.87	c (FJ) 0: step 4200000 viol 1977 good 1153 bumps 47760
1025.16/515.87	c (FJ) 1: step 4200000 viol 1916 good 1519 bumps 48974
1025.16/515.87	c (FJ) 0: step 4300000 viol 1979 good 1199 bumps 47760
1025.16/515.87	c (FJ) 1: step 4300000 viol 1918 good 1686 bumps 48974
1025.16/515.87	c (FJ) 0: step 4400000 viol 1977 good 1272 bumps 47760
1025.16/515.87	c (FJ) 1: step 4400000 viol 1915 good 1396 bumps 48974
1025.16/515.87	c (FJ) 1: step 4500000 viol 1917 good 1734 bumps 48974
1025.16/515.87	c (FJ) 0: step 4500000 viol 1977 good 1601 bumps 47760
1025.16/515.87	c (FJ) 1: step 4600000 viol 1915 good 1550 bumps 48974
1025.16/515.87	c (FJ) 0: step 4600000 viol 1976 good 943 bumps 47760
1025.16/515.87	c (FJ) 1: step 4700000 viol 1919 good 1186 bumps 48974
1025.16/515.87	c (FJ) 0: step 4700000 viol 1977 good 1441 bumps 47760
1025.16/515.87	c (FJ) 1: step 4800000 viol 1922 good 1227 bumps 48974
1025.16/515.87	c (FJ) 0: step 4800000 viol 1980 good 1335 bumps 47760
1025.16/515.87	c (FJ) 1: step 4900000 viol 1916 good 1306 bumps 48974
1025.16/515.87	c (FJ) 0: step 4900000 viol 1978 good 1254 bumps 47760
1025.16/515.87	c (FJ) 1: step 5000000 viol 1918 good 1322 bumps 48974
1025.16/515.87	c (FJ) 0: step 5000000 viol 1976 good 1246 bumps 47760
1025.16/515.87	c (FJ) 1: step 5100000 viol 1919 good 1881 bumps 48974
1025.16/515.87	c (FJ) 0: step 5100000 viol 1978 good 1246 bumps 47760
1025.16/515.87	c (FJ) 1: step 5200000 viol 1919 good 1880 bumps 48974
1025.16/515.87	c (FJ) 0: step 5200000 viol 1976 good 1204 bumps 47760
1025.16/515.87	c (FJ) 1: step 5300000 viol 1920 good 1356 bumps 48974
1025.16/515.87	c (FJ) 0: step 5300000 viol 1975 good 1274 bumps 47760
1025.16/515.87	c (FJ) 1: step 5400000 viol 1920 good 2257 bumps 48974
1025.16/515.87	c (FJ) 0: step 5400000 viol 1976 good 1647 bumps 47760
1025.16/515.87	c (FJ) 1: step 5500000 viol 1919 good 1500 bumps 48974
1025.16/515.87	c (FJ) 0: step 5500000 viol 1976 good 1220 bumps 47760
1025.16/515.87	c (FJ) 1: step 5600000 viol 1919 good 1309 bumps 48974
1025.16/515.87	c (FJ) 0: step 5600000 viol 1977 good 1385 bumps 47760
1025.16/515.87	c (FJ) 1: step 5700000 viol 1916 good 1479 bumps 48974
1025.16/515.87	c (FJ) 0: step 5700000 viol 1976 good 1753 bumps 47760
1025.16/515.87	c (FJ) 1: step 5800000 viol 1918 good 1280 bumps 48974
1025.16/515.87	c (FJ) 0: step 5800000 viol 1976 good 1191 bumps 47760
1025.16/515.87	c (FJ) 1: step 5900000 viol 1918 good 1477 bumps 48974
1025.16/515.87	c (FJ) 0: step 5900000 viol 1970 good 1250 bumps 47880
1025.16/515.87	c (FJ) 1: step 6000000 viol 1916 good 1556 bumps 48974
1025.16/515.87	c (FJ) 0: step 6000000 viol 1972 good 1331 bumps 47880
1025.16/515.87	c (FJ) 1: step 6100000 viol 1915 good 1419 bumps 48974
1025.16/515.87	c (FJ) 0: step 6100000 viol 1977 good 1028 bumps 47880
1025.16/515.87	c (FJ) 1: step 6200000 viol 1917 good 1429 bumps 48974
1025.16/515.87	c (FJ) 0: step 6200000 viol 1976 good 1485 bumps 47880
1025.16/515.87	c (FJ) 1: step 6300000 viol 1916 good 1745 bumps 48974
1025.16/515.87	c (FJ) 1: step 6400000 viol 1915 good 1679 bumps 48974
1025.16/515.87	c (FJ) 0: step 6300000 viol 1976 good 998 bumps 47880
1025.16/515.87	c (FJ) 1: step 6500000 viol 1917 good 1554 bumps 48974
1025.16/515.87	c (FJ) 0: step 6400000 viol 1976 good 1116 bumps 47880
1025.16/515.87	c (FJ) 1: step 6600000 viol 1917 good 2393 bumps 48974
1025.16/515.87	c (FJ) 0: step 6500000 viol 1976 good 1315 bumps 47880
1025.16/515.87	c (FJ) 1: step 6700000 viol 1917 good 1282 bumps 48974
1025.16/515.87	c (FJ) 0: step 6600000 viol 1977 good 903 bumps 47880
1025.16/515.87	c (FJ) 1: step 6800000 viol 1916 good 1720 bumps 48974
1025.16/515.87	c (FJ) 0: step 6700000 viol 1976 good 1087 bumps 47880
1025.16/515.87	c (FJ) 1: step 6900000 viol 1917 good 1443 bumps 48974
1025.16/515.87	c (FJ) 0: step 6800000 viol 1974 good 1198 bumps 47880
1025.16/515.87	c (FJ) 1: step 7000000 viol 1915 good 1536 bumps 48974
1025.16/515.87	c (FJ) 0: step 6900000 viol 1976 good 1652 bumps 47880
1025.16/515.87	c (FJ) 1: step 7100000 viol 1900 good 1595 bumps 48991
1025.16/515.87	c (FJ) 0: step 7000000 viol 1977 good 1421 bumps 47880
1398.70/703.53	c (FJ) 1: step 7200000 viol 1909 good 1289 bumps 48991
1398.70/703.53	c (FJ) 0: step 7100000 viol 1976 good 1309 bumps 47880
1398.70/703.53	c (FJ) 1: step 7300000 viol 1907 good 1178 bumps 48991
1398.70/703.53	c (FJ) 0: step 7200000 viol 1976 good 1223 bumps 47880
1398.70/703.53	c (FJ) 1: step 7400000 viol 1909 good 1504 bumps 48991
1398.70/703.53	c (FJ) 0: step 7300000 viol 1976 good 1436 bumps 47880
1398.70/703.53	c (FJ) 1: step 7500000 viol 1910 good 1370 bumps 48991
1398.70/703.53	c (FJ) 0: step 7400000 viol 1977 good 1482 bumps 47880
1398.70/703.53	c (FJ) 1: step 7600000 viol 1908 good 1173 bumps 48991
1398.70/703.53	c (FJ) 0: step 7500000 viol 1977 good 1089 bumps 47880
1398.70/703.53	c (FJ) 1: step 7700000 viol 1910 good 1550 bumps 48991
1398.70/703.53	c (FJ) 0: step 7600000 viol 1977 good 883 bumps 47880
1398.70/703.53	c (FJ) 1: step 7800000 viol 1911 good 1891 bumps 48991
1398.70/703.53	c (FJ) 0: step 7700000 viol 1977 good 1186 bumps 47880
1398.70/703.53	c (FJ) 1: step 7900000 viol 1908 good 1562 bumps 48991
1398.70/703.53	c (FJ) 0: step 7800000 viol 1976 good 961 bumps 47880
1398.70/703.53	c (FJ) 1: step 8000000 viol 1911 good 1593 bumps 48991
1398.70/703.53	c (FJ) 0: step 7900000 viol 1976 good 1061 bumps 47880
1398.70/703.53	c (FJ) 1: step 8100000 viol 1913 good 1294 bumps 48991
1398.70/703.53	c (FJ) 0: step 8000000 viol 1977 good 1242 bumps 47880
1398.70/703.53	c (FJ) 1: step 8200000 viol 1914 good 1709 bumps 48991
1398.70/703.53	c (FJ) 0: step 8100000 viol 1978 good 1239 bumps 47880
1398.70/703.53	c (FJ) 1: step 8300000 viol 1912 good 1657 bumps 48991
1398.70/703.53	c (FJ) 0: step 8200000 viol 1978 good 941 bumps 47880
1398.70/703.53	c (FJ) 1: step 8400000 viol 1910 good 1634 bumps 48991
1398.70/703.53	c (FJ) 0: step 8300000 viol 1976 good 1268 bumps 47880
1398.70/703.53	c (FJ) 1: step 8500000 viol 1912 good 1316 bumps 48991
1398.70/703.53	c (FJ) 0: step 8400000 viol 1979 good 1238 bumps 47880
1398.70/703.53	c (FJ) 1: step 8600000 viol 1914 good 2095 bumps 48991
1398.70/703.53	c (FJ) 0: step 8500000 viol 1976 good 1424 bumps 47880
1398.70/703.53	c (FJ) 1: step 8700000 viol 1915 good 1423 bumps 49915
1398.70/703.53	c (FJ) 0: step 8600000 viol 1977 good 1318 bumps 47880
1398.70/703.53	c (FJ) 1: step 8800000 viol 1914 good 1331 bumps 49915
1398.70/703.53	c (FJ) 0: step 8700000 viol 1974 good 1273 bumps 47880
1398.70/703.53	c (FJ) 1: step 8900000 viol 1919 good 1060 bumps 49915
1398.70/703.53	c (FJ) 0: step 8800000 viol 1973 good 1155 bumps 47880
1398.70/703.53	c (FJ) 1: step 9000000 viol 1918 good 1399 bumps 49915
1398.70/703.53	c (FJ) 0: step 8900000 viol 1973 good 1807 bumps 47880
1398.70/703.53	c (FJ) 1: step 9100000 viol 1918 good 1460 bumps 49915
1398.70/703.53	c (FJ) 0: step 9000000 viol 1974 good 1492 bumps 47880
1398.70/703.53	c (FJ) 1: step 9200000 viol 1916 good 1638 bumps 49915
1398.70/703.53	c (FJ) 0: step 9100000 viol 1974 good 1122 bumps 47880
1398.70/703.53	c (FJ) 1: step 9300000 viol 1915 good 1557 bumps 49915
1398.70/703.53	c (FJ) 0: step 9200000 viol 1973 good 1271 bumps 47880
1398.70/703.53	c (FJ) 1: step 9400000 viol 1917 good 2079 bumps 49915
1398.70/703.53	c (FJ) 0: step 9300000 viol 1976 good 1064 bumps 47880
1398.70/703.53	c (FJ) 1: step 9500000 viol 1921 good 1707 bumps 49915
1398.70/703.53	c (FJ) 0: step 9400000 viol 1974 good 1227 bumps 47880
1398.70/703.53	c (FJ) 1: step 9600000 viol 1917 good 1756 bumps 49915
1398.70/703.53	c (FJ) 0: step 9500000 viol 1976 good 1107 bumps 47880
1398.70/703.53	c (FJ) 1: step 9700000 viol 1917 good 1599 bumps 49915
1398.70/703.53	c (FJ) 0: step 9600000 viol 1977 good 1291 bumps 47880
1398.70/703.53	c (FJ) 1: step 9800000 viol 1916 good 1261 bumps 49915
1398.70/703.53	c (FJ) 0: step 9700000 viol 1979 good 1277 bumps 47880
1398.70/703.53	c (FJ) 1: step 9900000 viol 1919 good 1681 bumps 49915
1398.70/703.53	c (FJ) 0: step 9800000 viol 1978 good 1288 bumps 47880
1398.70/703.53	c (FJ) 1: step 10000000 viol 1915 good 1520 bumps 49915
1398.70/703.53	c (FJ) 0: step 9900000 viol 1976 good 1281 bumps 47880
1398.70/703.53	c (FJ) 1: step 10100000 viol 1917 good 1091 bumps 49915
1398.70/703.53	c (FJ) 0: step 10000000 viol 1977 good 1642 bumps 47880
1398.70/703.53	c (FJ) 1: step 10200000 viol 1915 good 1655 bumps 49915
1398.70/703.53	c (FJ) 0: step 10100000 viol 1978 good 1489 bumps 47880
1398.70/703.53	c (FJ) 1: step 10300000 viol 1916 good 1372 bumps 49915
1398.70/703.53	c (FJ) 0: step 10200000 viol 1976 good 1261 bumps 47880
1398.70/703.53	c (FJ) 1: step 10400000 viol 1916 good 1533 bumps 49915
1398.70/703.53	c (FJ) 0: step 10300000 viol 1976 good 1703 bumps 47880
1398.70/703.53	c (FJ) 1: step 10500000 viol 1920 good 1380 bumps 49915
1398.70/703.53	c (FJ) 0: step 10400000 viol 1977 good 1034 bumps 47880
1398.70/703.53	c (FJ) 1: step 10600000 viol 1917 good 2142 bumps 49915
1398.70/703.53	c (FJ) 0: step 10500000 viol 1977 good 1474 bumps 47880
1398.70/703.53	c (FJ) 1: step 10700000 viol 1916 good 1604 bumps 49915
1398.70/703.53	c (FJ) 0: step 10600000 viol 1977 good 1249 bumps 47880
1398.70/703.53	c (FJ) 1: step 10800000 viol 1912 good 1273 bumps 49915
1398.70/703.53	c (FJ) 0: step 10700000 viol 1978 good 1517 bumps 47880
1763.90/887.06	c (FJ) 1: step 10900000 viol 1910 good 1647 bumps 49915
1763.90/887.06	c (FJ) 0: step 10800000 viol 1977 good 1419 bumps 47880
1763.90/887.06	c (FJ) 1: step 11000000 viol 1917 good 1648 bumps 49915
1763.90/887.06	c (FJ) 0: step 10900000 viol 1978 good 1609 bumps 47880
1763.90/887.06	c (FJ) 1: step 11100000 viol 1918 good 1455 bumps 49915
1763.90/887.06	c (FJ) 0: step 11000000 viol 1978 good 1394 bumps 47880
1763.90/887.06	c (FJ) 1: step 11200000 viol 1914 good 1402 bumps 49915
1763.90/887.06	c (FJ) 0: step 11100000 viol 1977 good 1385 bumps 47880
1763.90/887.06	c (FJ) 1: step 11300000 viol 1918 good 1489 bumps 49915
1763.90/887.06	c (FJ) 0: step 11200000 viol 1978 good 1509 bumps 47880
1763.90/887.06	c (FJ) 1: step 11400000 viol 1917 good 1424 bumps 49915
1763.90/887.06	c (FJ) 1: step 11500000 viol 1921 good 1624 bumps 49915
1763.90/887.06	c (FJ) 0: step 11300000 viol 1976 good 1114 bumps 47880
1763.90/887.06	c (FJ) 1: step 11600000 viol 1918 good 1336 bumps 49915
1763.90/887.06	c (FJ) 0: step 11400000 viol 1975 good 1666 bumps 47880
1763.90/887.06	c (FJ) 1: step 11700000 viol 1916 good 1986 bumps 49915
1763.90/887.06	c (FJ) 0: step 11500000 viol 1977 good 1363 bumps 47880
1763.90/887.06	c (FJ) 1: step 11800000 viol 1920 good 1520 bumps 49915
1763.90/887.06	c (FJ) 0: step 11600000 viol 1976 good 1107 bumps 47880
1763.90/887.06	c (FJ) 1: step 11900000 viol 1919 good 1765 bumps 49915
1763.90/887.06	c (FJ) 0: step 11700000 viol 1977 good 1478 bumps 47880
1763.90/887.06	c (FJ) 1: step 12000000 viol 1920 good 1612 bumps 49915
1763.90/887.06	c (FJ) 0: step 11800000 viol 1975 good 1638 bumps 47880
1763.90/887.06	c (FJ) 1: step 12100000 viol 1913 good 1546 bumps 49915
1763.90/887.06	c (FJ) 0: step 11900000 viol 1979 good 1115 bumps 47880
1763.90/887.06	c (FJ) 1: step 12200000 viol 1922 good 1730 bumps 49915
1763.90/887.06	c (FJ) 0: step 12000000 viol 1977 good 1344 bumps 47880
1763.90/887.06	c (FJ) 1: step 12300000 viol 1917 good 1333 bumps 49915
1763.90/887.06	c (FJ) 0: step 12100000 viol 1978 good 1465 bumps 47880
1763.90/887.06	c (FJ) 1: step 12400000 viol 1917 good 915 bumps 49915
1763.90/887.06	c (FJ) 0: step 12200000 viol 1978 good 1464 bumps 47880
1763.90/887.06	c (FJ) 1: step 12500000 viol 1918 good 1399 bumps 49915
1763.90/887.06	c (FJ) 0: step 12300000 viol 1978 good 1344 bumps 47880
1763.90/887.06	c (FJ) 1: step 12600000 viol 1916 good 1749 bumps 49915
1763.90/887.06	c (FJ) 0: step 12400000 viol 1979 good 1388 bumps 47880
1763.90/887.06	c (FJ) 1: step 12700000 viol 1919 good 1569 bumps 49915
1763.90/887.06	c (FJ) 0: step 12500000 viol 1977 good 1159 bumps 47880
1763.90/887.06	c (FJ) 1: step 12800000 viol 1919 good 1503 bumps 49915
1763.90/887.06	c (FJ) 0: step 12600000 viol 1978 good 1094 bumps 47880
1763.90/887.06	c (FJ) 1: step 12900000 viol 1918 good 1404 bumps 49915
1763.90/887.06	c (FJ) 0: step 12700000 viol 1977 good 1227 bumps 47880
1763.90/887.06	c (FJ) 1: step 13000000 viol 1919 good 1444 bumps 49915
1763.90/887.06	c (FJ) 0: step 12800000 viol 1977 good 1318 bumps 47880
1763.90/887.06	c (FJ) 1: step 13100000 viol 1918 good 1732 bumps 49915
1763.90/887.06	c (FJ) 0: step 12900000 viol 1977 good 1697 bumps 47880
1763.90/887.06	c (FJ) 1: step 13200000 viol 1917 good 2080 bumps 49915
1763.90/887.06	c (FJ) 0: step 13000000 viol 1976 good 1589 bumps 47880
1763.90/887.06	c (FJ) 1: step 13300000 viol 1919 good 1799 bumps 49915
1763.90/887.06	c (FJ) 0: step 13100000 viol 1976 good 1440 bumps 47880
1763.90/887.06	c (FJ) 1: step 13400000 viol 1917 good 1559 bumps 49915
1763.90/887.06	c (FJ) 0: step 13200000 viol 1976 good 1180 bumps 47880
1763.90/887.06	c (FJ) 1: step 13500000 viol 1918 good 1521 bumps 49915
1763.90/887.06	c (FJ) 0: step 13300000 viol 1974 good 1288 bumps 47880
1763.90/887.06	c (FJ) 1: step 13600000 viol 1915 good 1407 bumps 49915
1763.90/887.06	c (FJ) 0: step 13400000 viol 1975 good 1307 bumps 47880
1763.90/887.06	c (FJ) 1: step 13700000 viol 1915 good 1429 bumps 49915
1763.90/887.06	c (FJ) 0: step 13500000 viol 1974 good 1524 bumps 47880
1763.90/887.06	c (FJ) 1: step 13800000 viol 1914 good 1331 bumps 49915
1763.90/887.06	c (FJ) 0: step 13600000 viol 1975 good 1348 bumps 47880
1763.90/887.06	c (FJ) 1: step 13900000 viol 1914 good 1427 bumps 49915
1763.90/887.06	c (FJ) 0: step 13700000 viol 1974 good 720 bumps 47880
1763.90/887.06	c (FJ) 1: step 14000000 viol 1917 good 1728 bumps 49915
1763.90/887.06	c (FJ) 0: step 13800000 viol 1971 good 1383 bumps 47880
1763.90/887.06	c (FJ) 1: step 14100000 viol 1916 good 1886 bumps 49915
1763.90/887.06	c (FJ) 0: step 13900000 viol 1973 good 1111 bumps 47880
1763.90/887.06	c (FJ) 1: step 14200000 viol 1921 good 1691 bumps 49915
1763.90/887.06	c (FJ) 0: step 14000000 viol 1973 good 1653 bumps 47880
1763.90/887.06	c (FJ) 1: step 14300000 viol 1921 good 1712 bumps 49915
1763.90/887.06	c (FJ) 0: step 14100000 viol 1971 good 1306 bumps 47880
1763.90/887.06	c (FJ) 1: step 14400000 viol 1916 good 1618 bumps 49915
1763.90/887.06	c (FJ) 0: step 14200000 viol 1971 good 1563 bumps 47880
1763.90/887.06	c (FJ) 1: step 14500000 viol 1916 good 1665 bumps 49915
1763.90/887.06	c (FJ) 0: step 14300000 viol 1971 good 1193 bumps 47880
2127.91/1069.90	c (FJ) 1: step 14600000 viol 1918 good 1693 bumps 49915
2127.91/1069.90	c (FJ) 0: step 14400000 viol 1971 good 1475 bumps 47880
2127.91/1069.90	c (FJ) 1: step 14700000 viol 1919 good 1714 bumps 49915
2127.91/1069.90	c (FJ) 0: step 14500000 viol 1971 good 1562 bumps 47880
2127.91/1069.90	c (FJ) 1: step 14800000 viol 1914 good 1642 bumps 49915
2127.91/1069.90	c (FJ) 0: step 14600000 viol 1974 good 1088 bumps 47880
2127.91/1069.90	c (FJ) 1: step 14900000 viol 1915 good 1822 bumps 49915
2127.91/1069.90	c (FJ) 0: step 14700000 viol 1970 good 1610 bumps 47880
2127.91/1069.90	c (FJ) 1: step 15000000 viol 1908 good 1364 bumps 49915
2127.91/1069.90	c (FJ) 0: step 14800000 viol 1970 good 1591 bumps 47880
2127.91/1069.90	c (FJ) 1: step 15100000 viol 1916 good 1866 bumps 49915
2127.91/1069.90	c (FJ) 0: step 14900000 viol 1970 good 1661 bumps 47880
2127.91/1069.90	c (FJ) 1: step 15200000 viol 1907 good 1497 bumps 49915
2127.91/1069.90	c (FJ) 0: step 15000000 viol 1970 good 1266 bumps 47880
2127.91/1069.90	c (FJ) 1: step 15300000 viol 1914 good 1625 bumps 49915
2127.91/1069.90	c (FJ) 0: step 15100000 viol 1970 good 1441 bumps 47880
2127.91/1069.90	c (FJ) 1: step 15400000 viol 1913 good 1424 bumps 49915
2127.91/1069.90	c (FJ) 0: step 15200000 viol 1970 good 1188 bumps 47880
2127.91/1069.90	c (FJ) 1: step 15500000 viol 1914 good 1540 bumps 49915
2127.91/1069.90	c (FJ) 0: step 15300000 viol 1972 good 1290 bumps 47880
2127.91/1069.90	c (FJ) 1: step 15600000 viol 1915 good 1418 bumps 49915
2127.91/1069.90	c (FJ) 0: step 15400000 viol 1971 good 1436 bumps 47880
2127.91/1069.90	c (FJ) 1: step 15700000 viol 1916 good 1625 bumps 49915
2127.91/1069.90	c (FJ) 0: step 15500000 viol 1971 good 1379 bumps 47880
2127.91/1069.90	c (FJ) 1: step 15800000 viol 1912 good 1581 bumps 49915
2127.91/1069.90	c (FJ) 0: step 15600000 viol 1970 good 1321 bumps 47880
2127.91/1069.90	c (FJ) 1: step 15900000 viol 1915 good 1483 bumps 49915
2127.91/1069.90	c (FJ) 0: step 15700000 viol 1970 good 1587 bumps 47880
2127.91/1069.90	c (FJ) 1: step 16000000 viol 1913 good 1938 bumps 49915
2127.91/1069.90	c (FJ) 0: step 15800000 viol 1972 good 1323 bumps 47880
2127.91/1069.90	c (FJ) 1: step 16100000 viol 1915 good 1378 bumps 49915
2127.91/1069.90	c (FJ) 0: step 15900000 viol 1971 good 1015 bumps 47880
2127.91/1069.90	c (FJ) 1: step 16200000 viol 1914 good 1519 bumps 49915
2127.91/1069.90	c (FJ) 1: step 16300000 viol 1914 good 1498 bumps 49915
2127.91/1069.90	c (FJ) 0: step 16000000 viol 1973 good 1257 bumps 47880
2127.91/1069.90	c (FJ) 1: step 16400000 viol 1919 good 1457 bumps 49915
2127.91/1069.90	c (FJ) 0: step 16100000 viol 1970 good 946 bumps 47880
2127.91/1069.90	c (FJ) 1: step 16500000 viol 1918 good 1527 bumps 49915
2127.91/1069.90	c (FJ) 0: step 16200000 viol 1973 good 1607 bumps 47880
2127.91/1069.90	c (FJ) 1: step 16600000 viol 1914 good 1722 bumps 49915
2127.91/1069.90	c (FJ) 0: step 16300000 viol 1973 good 1193 bumps 47880
2127.91/1069.90	c (FJ) 1: step 16700000 viol 1915 good 1753 bumps 49915
2127.91/1069.90	c (FJ) 0: step 16400000 viol 1972 good 810 bumps 47880
2127.91/1069.90	c (FJ) 1: step 16800000 viol 1919 good 1423 bumps 49915
2127.91/1069.90	c (FJ) 0: step 16500000 viol 1973 good 1366 bumps 47880
2127.91/1069.90	c (FJ) 1: step 16900000 viol 1918 good 1703 bumps 49915
2127.91/1069.90	c (FJ) 0: step 16600000 viol 1971 good 1329 bumps 47880
2127.91/1069.90	c (FJ) 1: step 17000000 viol 1920 good 1710 bumps 49915
2127.91/1069.90	c (FJ) 0: step 16700000 viol 1972 good 1318 bumps 47880
2127.91/1069.90	c (FJ) 1: step 17100000 viol 1915 good 1323 bumps 49915
2127.91/1069.90	c (FJ) 0: step 16800000 viol 1969 good 1316 bumps 47880
2127.91/1069.90	c (FJ) 1: step 17200000 viol 1916 good 1390 bumps 49915
2127.91/1069.90	c (FJ) 0: step 16900000 viol 1971 good 1468 bumps 47880
2127.91/1069.90	c (FJ) 1: step 17300000 viol 1919 good 1650 bumps 49915
2127.91/1069.90	c (FJ) 0: step 17000000 viol 1971 good 1194 bumps 47880
2127.91/1069.90	c (FJ) 1: step 17400000 viol 1916 good 1542 bumps 49915
2127.91/1069.90	c (FJ) 0: step 17100000 viol 1971 good 1137 bumps 47880
2127.91/1069.90	c (FJ) 1: step 17500000 viol 1916 good 1357 bumps 49915
2127.91/1069.90	c (FJ) 0: step 17200000 viol 1971 good 1486 bumps 47880
2127.91/1069.90	c (FJ) 1: step 17600000 viol 1916 good 1656 bumps 49915
2127.91/1069.90	c (FJ) 0: step 17300000 viol 1971 good 1259 bumps 47880
2127.91/1069.90	c (FJ) 1: step 17700000 viol 1917 good 1500 bumps 49915
2127.91/1069.90	c (FJ) 0: step 17400000 viol 1969 good 1234 bumps 47880
2127.91/1069.90	c (FJ) 1: step 17800000 viol 1918 good 1363 bumps 49915
2127.91/1069.90	c (FJ) 0: step 17500000 viol 1970 good 1446 bumps 47880
2127.91/1069.90	c (FJ) 1: step 17900000 viol 1919 good 1521 bumps 49915
2127.91/1069.90	c (FJ) 0: step 17600000 viol 1970 good 1091 bumps 47880
2127.91/1069.90	c (FJ) 1: step 18000000 viol 1914 good 1423 bumps 49915
2127.91/1069.90	c (FJ) 0: step 17700000 viol 1970 good 1485 bumps 47880
2127.91/1069.90	c (FJ) 1: step 18100000 viol 1913 good 1236 bumps 49915
2127.91/1069.90	c (FJ) 0: step 17800000 viol 1968 good 1594 bumps 47880
2127.91/1069.90	c (FJ) 1: step 18200000 viol 1916 good 1555 bumps 49915
2127.91/1069.90	c (FJ) 0: step 17900000 viol 1972 good 1162 bumps 47880
2494.68/1254.23	c (FJ) 1: step 18300000 viol 1913 good 1658 bumps 49915
2494.68/1254.23	c (FJ) 0: step 18000000 viol 1971 good 1303 bumps 47880
2494.68/1254.23	c (FJ) 1: step 18400000 viol 1918 good 2010 bumps 49915
2494.68/1254.23	c (FJ) 0: step 18100000 viol 1970 good 1376 bumps 47880
2494.68/1254.23	c (FJ) 1: step 18500000 viol 1915 good 1487 bumps 49915
2494.68/1254.23	c (FJ) 0: step 18200000 viol 1973 good 1333 bumps 47880
2494.68/1254.23	c (FJ) 1: step 18600000 viol 1916 good 1395 bumps 49915
2494.68/1254.23	c (FJ) 0: step 18300000 viol 1971 good 1289 bumps 47880
2494.68/1254.23	c (FJ) 1: step 18700000 viol 1916 good 1563 bumps 49915
2494.68/1254.23	c (FJ) 0: step 18400000 viol 1971 good 1350 bumps 47880
2494.68/1254.23	c (FJ) 1: step 18800000 viol 1920 good 1543 bumps 49915
2494.68/1254.23	c (FJ) 0: step 18500000 viol 1970 good 1071 bumps 47880
2494.68/1254.23	c (FJ) 1: step 18900000 viol 1919 good 1589 bumps 49915
2494.68/1254.23	c (FJ) 0: step 18600000 viol 1970 good 1046 bumps 47880
2494.68/1254.23	c (FJ) 1: step 19000000 viol 1921 good 1474 bumps 49915
2494.68/1254.23	c (FJ) 0: step 18700000 viol 1971 good 1292 bumps 47880
2494.68/1254.23	c (FJ) 1: step 19100000 viol 1917 good 1493 bumps 49915
2494.68/1254.23	c (FJ) 0: step 18800000 viol 1973 good 1326 bumps 47880
2494.68/1254.23	c (FJ) 1: step 19200000 viol 1920 good 1472 bumps 49915
2494.68/1254.23	c (FJ) 0: step 18900000 viol 1972 good 1440 bumps 47880
2494.68/1254.23	c (FJ) 1: step 19300000 viol 1922 good 1260 bumps 49915
2494.68/1254.23	c (FJ) 0: step 19000000 viol 1973 good 1447 bumps 47880
2494.68/1254.23	c (FJ) 1: step 19400000 viol 1920 good 1400 bumps 49915
2494.68/1254.23	c (FJ) 0: step 19100000 viol 1970 good 1300 bumps 47880
2494.68/1254.23	c (FJ) 1: step 19500000 viol 1918 good 1387 bumps 49915
2494.68/1254.23	c (FJ) 0: step 19200000 viol 1971 good 1198 bumps 47880
2494.68/1254.23	c (FJ) 1: step 19600000 viol 1921 good 1903 bumps 49915
2494.68/1254.23	c (FJ) 0: step 19300000 viol 1969 good 1224 bumps 47880
2494.68/1254.23	c (FJ) 1: step 19700000 viol 1917 good 1742 bumps 49915
2494.68/1254.23	c (FJ) 1: step 19800000 viol 1920 good 1664 bumps 49915
2494.68/1254.23	c (FJ) 0: step 19400000 viol 1971 good 1333 bumps 47880
2494.68/1254.23	c (FJ) 1: step 19900000 viol 1922 good 1575 bumps 49915
2494.68/1254.23	c (FJ) 0: step 19500000 viol 1972 good 1570 bumps 47880
2494.68/1254.23	c (FJ) 1: step 20000000 viol 1921 good 1526 bumps 49915
2494.68/1254.23	c (FJ) 0: step 19600000 viol 1972 good 1518 bumps 47880
2494.68/1254.23	c (FJ) 1: step 20100000 viol 1920 good 1595 bumps 49915
2494.68/1254.23	c (FJ) 0: step 19700000 viol 1972 good 1165 bumps 47880
2494.68/1254.23	c (FJ) 1: step 20200000 viol 1922 good 2149 bumps 49915
2494.68/1254.23	c (FJ) 0: step 19800000 viol 1971 good 1115 bumps 47880
2494.68/1254.23	c (FJ) 1: step 20300000 viol 1924 good 1827 bumps 49915
2494.68/1254.23	c (FJ) 0: step 19900000 viol 1970 good 1446 bumps 47880
2494.68/1254.23	c (FJ) 1: step 20400000 viol 1920 good 1081 bumps 49915
2494.68/1254.23	c (FJ) 0: step 20000000 viol 1970 good 1064 bumps 47880
2494.68/1254.23	c (FJ) 1: step 20500000 viol 1924 good 1364 bumps 49915
2494.68/1254.23	c (FJ) 0: step 20100000 viol 1973 good 1216 bumps 47880
2494.68/1254.23	c (FJ) 1: step 20600000 viol 1922 good 1602 bumps 49915
2494.68/1254.23	c (FJ) 0: step 20200000 viol 1972 good 1522 bumps 47880
2494.68/1254.23	c (FJ) 1: step 20700000 viol 1921 good 1338 bumps 49915
2494.68/1254.23	c (FJ) 0: step 20300000 viol 1972 good 1337 bumps 47880
2494.68/1254.23	c (FJ) 1: step 20800000 viol 1921 good 1380 bumps 49915
2494.68/1254.23	c (FJ) 0: step 20400000 viol 1971 good 1288 bumps 47880
2494.68/1254.23	c (FJ) 1: step 20900000 viol 1921 good 1628 bumps 49915
2494.68/1254.23	c (FJ) 0: step 20500000 viol 1972 good 1218 bumps 47880
2494.68/1254.23	c (FJ) 1: step 21000000 viol 1925 good 1201 bumps 49915
2494.68/1254.23	c (FJ) 0: step 20600000 viol 1970 good 1165 bumps 47880
2494.68/1254.23	c (FJ) 1: step 21100000 viol 1921 good 1680 bumps 49915
2494.68/1254.23	c (FJ) 0: step 20700000 viol 1972 good 1712 bumps 47880
2494.68/1254.23	c (FJ) 1: step 21200000 viol 1922 good 1770 bumps 49915
2494.68/1254.23	c (FJ) 0: step 20800000 viol 1971 good 1279 bumps 47880
2494.68/1254.23	c (FJ) 1: step 21300000 viol 1926 good 1401 bumps 49915
2494.68/1254.23	c (FJ) 0: step 20900000 viol 1971 good 909 bumps 47880
2494.68/1254.23	c (FJ) 1: step 21400000 viol 1922 good 1612 bumps 49915
2494.68/1254.23	c (FJ) 0: step 21000000 viol 1972 good 1172 bumps 47880
2494.68/1254.23	c (FJ) 1: step 21500000 viol 1919 good 1417 bumps 49915
2494.68/1254.23	c (FJ) 0: step 21100000 viol 1972 good 1365 bumps 47880
2494.68/1254.23	c (FJ) 1: step 21600000 viol 1912 good 2154 bumps 50424
2494.68/1254.23	c (FJ) 0: step 21200000 viol 1973 good 1515 bumps 47880
2494.68/1254.23	c (FJ) 1: step 21700000 viol 1917 good 1962 bumps 50424
2494.68/1254.23	c (FJ) 0: step 21300000 viol 1972 good 1562 bumps 47880
2494.68/1254.23	c (FJ) 1: step 21800000 viol 1917 good 2015 bumps 50424
2494.68/1254.23	c (FJ) 0: step 21400000 viol 1973 good 1579 bumps 47880
2494.68/1254.23	c (FJ) 1: step 21900000 viol 1921 good 1496 bumps 50424
2494.68/1254.23	c (FJ) 0: step 21500000 viol 1973 good 1379 bumps 47880
2864.26/1439.91	c (FJ) 1: step 22000000 viol 1916 good 1472 bumps 50424
2864.26/1439.91	c (FJ) 0: step 21600000 viol 1973 good 1163 bumps 47880
2864.26/1439.91	c (FJ) 1: step 22100000 viol 1923 good 1578 bumps 50424
2864.26/1439.91	c (FJ) 0: step 21700000 viol 1973 good 1330 bumps 47880
2864.26/1439.91	c (FJ) 1: step 22200000 viol 1920 good 1869 bumps 50424
2864.26/1439.91	c (FJ) 0: step 21800000 viol 1970 good 1056 bumps 47880
2864.26/1439.91	c (FJ) 1: step 22300000 viol 1923 good 1369 bumps 50424
2864.26/1439.91	c (FJ) 0: step 21900000 viol 1972 good 1432 bumps 47880
2864.26/1439.91	c (FJ) 1: step 22400000 viol 1920 good 1526 bumps 50424
2864.26/1439.91	c (FJ) 0: step 22000000 viol 1971 good 1330 bumps 47880
2864.26/1439.91	c (FJ) 1: step 22500000 viol 1924 good 1416 bumps 50424
2864.26/1439.91	c (FJ) 0: step 22100000 viol 1973 good 1298 bumps 47880
2864.26/1439.91	c (FJ) 1: step 22600000 viol 1921 good 1739 bumps 50424
2864.26/1439.91	c (FJ) 1: step 22700000 viol 1925 good 1459 bumps 50424
2864.26/1439.91	c (FJ) 0: step 22200000 viol 1972 good 1387 bumps 47880
2864.26/1439.91	c (FJ) 1: step 22800000 viol 1925 good 1376 bumps 50424
2864.26/1439.91	c (FJ) 0: step 22300000 viol 1974 good 1161 bumps 47880
2864.26/1439.91	c (FJ) 1: step 22900000 viol 1921 good 1389 bumps 50424
2864.26/1439.91	c (FJ) 0: step 22400000 viol 1972 good 1432 bumps 47880
2864.26/1439.91	c (FJ) 1: step 23000000 viol 1924 good 1571 bumps 50424
2864.26/1439.91	c (FJ) 0: step 22500000 viol 1973 good 1179 bumps 47880
2864.26/1439.91	c (FJ) 1: step 23100000 viol 1927 good 1649 bumps 50424
2864.26/1439.91	c (FJ) 0: step 22600000 viol 1972 good 1177 bumps 47880
2864.26/1439.91	c (FJ) 1: step 23200000 viol 1927 good 1578 bumps 50424
2864.26/1439.91	c (FJ) 0: step 22700000 viol 1972 good 1234 bumps 47880
2864.26/1439.91	c (FJ) 1: step 23300000 viol 1930 good 1772 bumps 50424
2864.26/1439.91	c (FJ) 0: step 22800000 viol 1972 good 1357 bumps 47880
2864.26/1439.91	c (FJ) 1: step 23400000 viol 1925 good 1717 bumps 50424
2864.26/1439.91	c (FJ) 0: step 22900000 viol 1973 good 1243 bumps 47880
2864.26/1439.91	c (FJ) 1: step 23500000 viol 1928 good 1981 bumps 50424
2864.26/1439.91	c (FJ) 0: step 23000000 viol 1973 good 1608 bumps 47880
2864.26/1439.91	c (FJ) 1: step 23600000 viol 1929 good 1525 bumps 50424
2864.26/1439.91	c (FJ) 0: step 23100000 viol 1969 good 1464 bumps 47880
2864.26/1439.91	c (FJ) 1: step 23700000 viol 1927 good 1891 bumps 50424
2864.26/1439.91	c (FJ) 0: step 23200000 viol 1972 good 1158 bumps 47880
2864.26/1439.91	c (FJ) 1: step 23800000 viol 1927 good 1563 bumps 50424
2864.26/1439.91	c (FJ) 0: step 23300000 viol 1971 good 1000 bumps 47880
2864.26/1439.91	c (FJ) 1: step 23900000 viol 1925 good 1870 bumps 50424
2864.26/1439.91	c (FJ) 0: step 23400000 viol 1972 good 1284 bumps 47880
2864.26/1439.91	c (FJ) 1: step 24000000 viol 1922 good 1598 bumps 50424
2864.26/1439.91	c (FJ) 0: step 23500000 viol 1974 good 1390 bumps 47880
2864.26/1439.91	c (FJ) 1: step 24100000 viol 1928 good 1633 bumps 50424
2864.26/1439.91	c (FJ) 0: step 23600000 viol 1972 good 1447 bumps 47880
2864.26/1439.91	c (FJ) 1: step 24200000 viol 1926 good 1763 bumps 50424
2864.26/1439.91	c (FJ) 0: step 23700000 viol 1971 good 1257 bumps 47880
2864.26/1439.91	c (FJ) 1: step 24300000 viol 1929 good 1607 bumps 50424
2864.26/1439.91	c (FJ) 0: step 23800000 viol 1973 good 1723 bumps 47880
2864.26/1439.91	c (FJ) 1: step 24400000 viol 1927 good 1422 bumps 50424
2864.26/1439.91	c (FJ) 0: step 23900000 viol 1972 good 1131 bumps 47880
2864.26/1439.91	c (FJ) 1: step 24500000 viol 1930 good 1518 bumps 50424
2864.26/1439.91	c (FJ) 0: step 24000000 viol 1973 good 1269 bumps 47880
2864.26/1439.91	c (FJ) 1: step 24600000 viol 1925 good 1702 bumps 50424
2864.26/1439.91	c (FJ) 0: step 24100000 viol 1973 good 1336 bumps 47880
2864.26/1439.91	c (FJ) 1: step 24700000 viol 1926 good 1352 bumps 50424
2864.26/1439.91	c (FJ) 0: step 24200000 viol 1972 good 1033 bumps 47880
2864.26/1439.91	c (FJ) 1: step 24800000 viol 1925 good 1482 bumps 50424
2864.26/1439.91	c (FJ) 0: step 24300000 viol 1972 good 1327 bumps 47880
2864.26/1439.91	c (FJ) 1: step 24900000 viol 1927 good 1880 bumps 50424
2864.26/1439.91	c (FJ) 0: step 24400000 viol 1972 good 1476 bumps 47880
2864.26/1439.91	c (FJ) 1: step 25000000 viol 1929 good 1641 bumps 50424
2864.26/1439.91	c (FJ) 0: step 24500000 viol 1973 good 1148 bumps 47880
2864.26/1439.91	c (FJ) 1: step 25100000 viol 1926 good 1755 bumps 50424
2864.26/1439.91	c (FJ) 0: step 24600000 viol 1972 good 1139 bumps 47880
2864.26/1439.91	c (FJ) 1: step 25200000 viol 1925 good 1851 bumps 50424
2864.26/1439.91	c (FJ) 0: step 24700000 viol 1973 good 1222 bumps 47880
2864.26/1439.91	c (FJ) 1: step 25300000 viol 1927 good 1405 bumps 50424
2864.26/1439.91	c (FJ) 0: step 24800000 viol 1973 good 1183 bumps 47880
2864.26/1439.91	c (FJ) 1: step 25400000 viol 1930 good 1360 bumps 50424
2864.26/1439.91	c (FJ) 1: step 25500000 viol 1929 good 1609 bumps 50424
2864.26/1439.91	c (FJ) 0: step 24900000 viol 1972 good 1292 bumps 47880
2864.26/1439.91	c (FJ) 1: step 25600000 viol 1930 good 2073 bumps 50424
2864.26/1439.91	c (FJ) 0: step 25000000 viol 1975 good 1436 bumps 47880
2864.26/1439.91	c (FJ) 1: step 25700000 viol 1929 good 1783 bumps 50424
3237.61/1627.55	c (FJ) 0: step 25100000 viol 1974 good 1090 bumps 47880
3237.61/1627.55	c (FJ) 1: step 25800000 viol 1930 good 1888 bumps 50424
3237.61/1627.55	c (FJ) 0: step 25200000 viol 1974 good 1350 bumps 47880
3237.61/1627.55	c (FJ) 1: step 25900000 viol 1931 good 1384 bumps 50424
3237.61/1627.55	c (FJ) 0: step 25300000 viol 1973 good 1466 bumps 47880
3237.61/1627.55	c (FJ) 1: step 26000000 viol 1932 good 1550 bumps 50424
3237.61/1627.55	c (FJ) 0: step 25400000 viol 1975 good 1543 bumps 47880
3237.61/1627.55	c (FJ) 1: step 26100000 viol 1929 good 1566 bumps 50424
3237.61/1627.55	c (FJ) 0: step 25500000 viol 1972 good 1328 bumps 47880
3237.61/1627.55	c (FJ) 1: step 26200000 viol 1926 good 1374 bumps 50424
3237.61/1627.55	c (FJ) 0: step 25600000 viol 1974 good 1398 bumps 47880
3237.61/1627.55	c (FJ) 1: step 26300000 viol 1928 good 1561 bumps 50424
3237.61/1627.55	c (FJ) 0: step 25700000 viol 1973 good 1597 bumps 47880
3237.61/1627.55	c (FJ) 1: step 26400000 viol 1929 good 1590 bumps 50424
3237.61/1627.55	c (FJ) 0: step 25800000 viol 1973 good 1200 bumps 47880
3237.61/1627.55	c (FJ) 1: step 26500000 viol 1929 good 1235 bumps 50424
3237.61/1627.55	c (FJ) 0: step 25900000 viol 1973 good 1462 bumps 47880
3237.61/1627.55	c (FJ) 1: step 26600000 viol 1932 good 1730 bumps 50424
3237.61/1627.55	c (FJ) 0: step 26000000 viol 1970 good 1428 bumps 47880
3237.61/1627.55	c (FJ) 1: step 26700000 viol 1933 good 1619 bumps 50424
3237.61/1627.55	c (FJ) 0: step 26100000 viol 1972 good 1210 bumps 47880
3237.61/1627.55	c (FJ) 1: step 26800000 viol 1934 good 1647 bumps 50424
3237.61/1627.55	c (FJ) 0: step 26200000 viol 1971 good 1327 bumps 47880
3237.61/1627.55	c (FJ) 1: step 26900000 viol 1932 good 1447 bumps 50424
3237.61/1627.55	c (FJ) 0: step 26300000 viol 1972 good 1484 bumps 47880
3237.61/1627.55	c (FJ) 1: step 27000000 viol 1930 good 1789 bumps 50424
3237.61/1627.55	c (FJ) 0: step 26400000 viol 1971 good 971 bumps 47880
3237.61/1627.55	c (FJ) 1: step 27100000 viol 1934 good 1463 bumps 50424
3237.61/1627.55	c (FJ) 0: step 26500000 viol 1973 good 1470 bumps 47880
3237.61/1627.55	c (FJ) 1: step 27200000 viol 1932 good 1581 bumps 50424
3237.61/1627.55	c (FJ) 0: step 26600000 viol 1971 good 1099 bumps 47880
3237.61/1627.55	c (FJ) 1: step 27300000 viol 1934 good 1957 bumps 50424
3237.61/1627.55	c (FJ) 0: step 26700000 viol 1971 good 1486 bumps 47880
3237.61/1627.55	c (FJ) 1: step 27400000 viol 1935 good 1092 bumps 50424
3237.61/1627.55	c (FJ) 0: step 26800000 viol 1970 good 1419 bumps 47880
3237.61/1627.55	c (FJ) 1: step 27500000 viol 1931 good 1641 bumps 50424
3237.61/1627.55	c (FJ) 0: step 26900000 viol 1972 good 1321 bumps 47880
3237.61/1627.55	c (FJ) 1: step 27600000 viol 1934 good 1659 bumps 50424
3237.61/1627.55	c (FJ) 0: step 27000000 viol 1974 good 1388 bumps 47880
3237.61/1627.55	c (FJ) 1: step 27700000 viol 1934 good 1632 bumps 50424
3237.61/1627.55	c (FJ) 0: step 27100000 viol 1973 good 1310 bumps 47880
3237.61/1627.55	c (FJ) 1: step 27800000 viol 1935 good 1521 bumps 50424
3237.61/1627.55	c (FJ) 1: step 27900000 viol 1933 good 1764 bumps 50424
3237.61/1627.55	c (FJ) 0: step 27200000 viol 1970 good 1320 bumps 47880
3237.61/1627.55	c (FJ) 1: step 28000000 viol 1937 good 1452 bumps 50424
3237.61/1627.55	c (FJ) 0: step 27300000 viol 1971 good 1282 bumps 47880
3237.61/1627.55	c (FJ) 1: step 28100000 viol 1932 good 1470 bumps 50424
3237.61/1627.55	c (FJ) 0: step 27400000 viol 1974 good 1179 bumps 47880
3237.61/1627.55	c (FJ) 1: step 28200000 viol 1936 good 1534 bumps 50424
3237.61/1627.55	c (FJ) 0: step 27500000 viol 1972 good 1186 bumps 47880
3237.61/1627.55	c (FJ) 1: step 28300000 viol 1936 good 1759 bumps 50424
3237.61/1627.55	c (FJ) 0: step 27600000 viol 1971 good 995 bumps 47880
3237.61/1627.55	c (FJ) 1: step 28400000 viol 1936 good 1904 bumps 50424
3237.61/1627.55	c (FJ) 0: step 27700000 viol 1970 good 1234 bumps 47880
3237.61/1627.55	c (FJ) 1: step 28500000 viol 1933 good 1464 bumps 50424
3237.61/1627.55	c (FJ) 0: step 27800000 viol 1973 good 1297 bumps 47880
3237.61/1627.55	c (FJ) 1: step 28600000 viol 1935 good 1478 bumps 50424
3237.61/1627.55	c (FJ) 0: step 27900000 viol 1974 good 999 bumps 47880
3237.61/1627.55	c (FJ) 1: step 28700000 viol 1932 good 1376 bumps 50424
3237.61/1627.55	c (FJ) 0: step 28000000 viol 1973 good 1207 bumps 47880
3237.61/1627.55	c (FJ) 1: step 28800000 viol 1931 good 1482 bumps 50424
3237.61/1627.55	c (FJ) 0: step 28100000 viol 1973 good 1340 bumps 47880
3237.61/1627.55	c (FJ) 1: step 28900000 viol 1933 good 1559 bumps 50424
3237.61/1627.55	c (FJ) 0: step 28200000 viol 1973 good 1485 bumps 47880
3237.61/1627.55	c (FJ) 1: step 29000000 viol 1934 good 1577 bumps 50424
3237.61/1627.55	c (FJ) 0: step 28300000 viol 1971 good 1757 bumps 47880
3237.61/1627.55	c (FJ) 1: step 29100000 viol 1933 good 1400 bumps 50424
3237.61/1627.55	c (FJ) 0: step 28400000 viol 1974 good 1466 bumps 47880
3237.61/1627.55	c (FJ) 1: step 29200000 viol 1933 good 1674 bumps 50424
3237.61/1627.55	c (FJ) 0: step 28500000 viol 1972 good 1327 bumps 47880
3237.61/1627.55	c (FJ) 1: step 29300000 viol 1935 good 1711 bumps 50424
3237.61/1627.55	c (FJ) 0: step 28600000 viol 1974 good 1210 bumps 47880
3237.61/1627.55	c (FJ) 1: step 29400000 viol 1933 good 1829 bumps 50424
3237.61/1627.55	c (FJ) 0

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=43557, runsolver pid=43554

[startup+0.100062 s]*
/proc/loadavg: 5.07 5.08 4.82 6/264 43558
/proc/meminfo: memFree=128873164/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=54656 memory=24652 CPUtime=0.09 cores=5,7
/proc/43557/stat : 43557 (pbscip) R 43554 43557 43185 0 -1 4194304 3294 0 0 0 8 1 0 0 20 0 1 0 47298444 55967744 6163 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 13664 6163 3168 3530 0 5115 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54656 KiB
Current children cumulated memory: 24652 KiB

[startup+0.205352 s]*
/proc/loadavg: 5.07 5.08 4.82 6/264 43558
/proc/meminfo: memFree=128869068/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=67296 memory=35112 CPUtime=0.19 cores=5,7
/proc/43557/stat : 43557 (pbscip) R 43554 43557 43185 0 -1 4194304 3872 0 0 0 18 1 0 0 20 0 1 0 47298444 68911104 8778 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 16824 8778 3168 3530 0 8275 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67296 KiB
Current children cumulated memory: 35112 KiB

[startup+0.305309 s]*
/proc/loadavg: 5.23 5.11 4.83 7/266 43560
/proc/meminfo: memFree=128782560/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=134256 CPUtime=0.34 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 17953 0 0 0 29 5 0 0 20 0 3 0 47298444 249282560 33564 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 33564 3168 3530 0 39136 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=8323962293680700302 CPUtime=0.05 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 7352 0 0 0 4 1 0 0 20 0 3 0 47298466 249282560 33564 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=0 CPUtime=0.05 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 6729 0 0 0 4 1 0 0 20 0 3 0 47298466 249282560 33564 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 134256 KiB

[startup+0.700203 s]
/proc/loadavg: 5.23 5.11 4.83 7/266 43560
/proc/meminfo: memFree=128756336/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=153584 CPUtime=1.1 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 22786 0 0 0 105 5 0 0 20 0 3 0 47298444 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38396 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=13568 CPUtime=0.43 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 10554 0 0 0 42 1 0 0 20 0 3 0 47298466 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=58999618 CPUtime=0.44 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 8351 0 0 0 43 1 0 0 20 0 3 0 47298466 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 153584 KiB

[startup+1.5002 s]
/proc/loadavg: 5.23 5.11 4.83 7/266 43560
/proc/meminfo: memFree=128756336/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=153584 CPUtime=2.7 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 30445 0 0 0 264 6 0 0 20 0 3 0 47298444 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38396 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=58999618 CPUtime=1.22 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 14481 0 0 0 121 1 0 0 20 0 3 0 47298466 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=0 CPUtime=1.24 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 12080 0 0 0 122 2 0 0 20 0 3 0 47298466 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 153584 KiB

[startup+3.10526 s]
/proc/loadavg: 5.23 5.11 4.83 7/266 43561
/proc/meminfo: memFree=128756588/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=153584 CPUtime=5.88 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 32242 0 0 0 582 6 0 0 20 0 3 0 47298444 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38396 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=0 CPUtime=2.81 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 15373 0 0 0 279 2 0 0 20 0 3 0 47298466 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=14156 CPUtime=2.84 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 12985 0 0 0 282 2 0 0 20 0 3 0 47298466 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 5.88 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 153584 KiB

[startup+6.3002 s]
/proc/loadavg: 5.29 5.13 4.84 7/266 43561
/proc/meminfo: memFree=128756840/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=153584 CPUtime=12.22 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 46439 0 0 0 1215 7 0 0 20 0 3 0 47298444 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38396 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=14156 CPUtime=5.97 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 20757 0 0 0 595 2 0 0 20 0 3 0 47298466 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=14156 CPUtime=6.03 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 21795 0 0 0 600 3 0 0 20 0 3 0 47298466 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 12.22 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 153584 KiB

[startup+12.7002 s]
/proc/loadavg: 5.35 5.14 4.84 7/266 43561
/proc/meminfo: memFree=128756840/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=153584 CPUtime=24.94 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 48384 0 0 0 2486 8 0 0 20 0 3 0 47298444 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38396 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=4752 CPUtime=12.31 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 21399 0 0 0 1229 2 0 0 20 0 3 0 47298466 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=0 CPUtime=12.4 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 23098 0 0 0 1237 3 0 0 20 0 3 0 47298466 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 24.94 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 153584 KiB

[startup+25.5002 s]
/proc/loadavg: 5.45 5.17 4.86 7/266 43561
/proc/meminfo: memFree=128756944/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=153584 CPUtime=50.38 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 49468 0 0 0 5029 9 0 0 20 0 3 0 47298444 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38396 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=153584 CPUtime=24.98 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 21987 0 0 0 2496 2 0 0 20 0 3 0 47298466 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=13568 CPUtime=25.15 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 23594 0 0 0 2512 3 0 0 20 0 3 0 47298466 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 50.38 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 153584 KiB

[startup+51.1053 s]
/proc/loadavg: 5.37 5.18 4.87 6/264 43606
/proc/meminfo: memFree=128002284/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=153584 CPUtime=101.24 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 55886 0 0 0 10114 10 0 0 20 0 3 0 47298444 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38396 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=153584 CPUtime=50.34 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 22316 0 0 0 5031 3 0 0 20 0 3 0 47298466 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=14156 CPUtime=50.67 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 29680 0 0 0 5062 5 0 0 20 0 3 0 47298466 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 101.24 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 153584 KiB

[startup+102.3 s]
/proc/loadavg: 5.22 5.17 4.89 6/265 43609
/proc/meminfo: memFree=127616960/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=153584 CPUtime=202.94 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 57372 0 0 0 20282 12 0 0 20 0 3 0 47298444 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38396 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=8323962293680700302 CPUtime=101.01 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 22701 0 0 0 10098 3 0 0 20 0 3 0 47298466 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=14156 CPUtime=101.68 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 30780 0 0 0 10163 5 0 0 20 0 3 0 47298466 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 202.94 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 153584 KiB

[startup+162.3 s]
/proc/loadavg: 5.12 5.15 4.90 6/265 43611
/proc/meminfo: memFree=127555116/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=153584 CPUtime=322.11 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 70987 0 0 0 32195 16 0 0 20 0 3 0 47298444 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38396 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=14156 CPUtime=160.4 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 29654 0 0 0 16036 4 0 0 20 0 3 0 47298466 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=153584 CPUtime=161.46 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 37440 0 0 0 16139 7 0 0 20 0 3 0 47298466 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 322.11 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 153584 KiB

[startup+222.3 s]
/proc/loadavg: 5.15 5.15 4.92 6/265 43613
/proc/meminfo: memFree=127554692/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=153584 CPUtime=441.3 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 83509 0 0 0 44111 19 0 0 20 0 3 0 47298444 249282560 38396 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38396 3168 3530 0 43961 0

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

Current children cumulated memory: 154480 KiB

[startup+1302.3 s]
/proc/loadavg: 6.12 6.07 5.72 7/268 43859
/proc/meminfo: memFree=128332508/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=154480 CPUtime=2590.4 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 87038 0 0 0 259019 21 0 0 20 0 3 0 47298444 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38620 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=154480 CPUtime=1291.35 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 44610 0 0 0 129128 7 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=154480 CPUtime=1298.77 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 38522 0 0 0 129869 8 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 2590.4 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 154480 KiB

[startup+1362.3 s]
/proc/loadavg: 6.10 6.07 5.75 7/267 43861
/proc/meminfo: memFree=128329640/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=154480 CPUtime=2709.82 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 87101 0 0 0 270960 22 0 0 20 0 3 0 47298444 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38620 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=13568 CPUtime=1350.89 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 44638 0 0 0 135082 7 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=154480 CPUtime=1358.63 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 38557 0 0 0 135855 8 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 2709.82 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 154480 KiB

[startup+1422.3 s]
/proc/loadavg: 6.14 6.09 5.78 7/267 43863
/proc/meminfo: memFree=128328872/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=154480 CPUtime=2829.23 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 87121 0 0 0 282901 22 0 0 20 0 3 0 47298444 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38620 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=154480 CPUtime=1410.43 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 44641 0 0 0 141036 7 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=154480 CPUtime=1418.5 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 38574 0 0 0 141842 8 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 2829.23 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 154480 KiB

[startup+1482.3 s]
/proc/loadavg: 6.11 6.08 5.80 7/266 43865
/proc/meminfo: memFree=128329156/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=154480 CPUtime=2948.64 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 87129 0 0 0 294842 22 0 0 20 0 3 0 47298444 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38620 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=154480 CPUtime=1469.99 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 44641 0 0 0 146991 8 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=14156 CPUtime=1478.36 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 38580 0 0 0 147828 8 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 2948.64 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 154480 KiB

[startup+1542.3 s]
/proc/loadavg: 6.08 6.08 5.82 7/268 43871
/proc/meminfo: memFree=128329648/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=154480 CPUtime=3068.05 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 87137 0 0 0 306783 22 0 0 20 0 3 0 47298444 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38620 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=-7162245485485314606 CPUtime=1529.53 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 44641 0 0 0 152945 8 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=154480 CPUtime=1538.22 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 38588 0 0 0 153814 8 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 3068.05 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 154480 KiB

[startup+1602.3 s]
/proc/loadavg: 6.13 6.10 5.84 7/268 43873
/proc/meminfo: memFree=128320320/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=154480 CPUtime=3187.45 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 87141 0 0 0 318723 22 0 0 20 0 3 0 47298444 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38620 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=154480 CPUtime=1589.07 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 44641 0 0 0 158899 8 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=14156 CPUtime=1598.09 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 38592 0 0 0 159801 8 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 3187.45 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 154480 KiB

[startup+1662.3 s]
/proc/loadavg: 6.09 6.09 5.86 7/268 43880
/proc/meminfo: memFree=128320284/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=154480 CPUtime=3306.86 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 87141 0 0 0 330664 22 0 0 20 0 3 0 47298444 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38620 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=154480 CPUtime=1648.61 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 44641 0 0 0 164853 8 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=14156 CPUtime=1657.95 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 38592 0 0 0 165787 8 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 3306.86 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 154480 KiB

[startup+1722.3 s]
/proc/loadavg: 6.15 6.10 5.88 7/268 43881
/proc/meminfo: memFree=128320324/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=154480 CPUtime=3426.27 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 87144 0 0 0 342605 22 0 0 20 0 3 0 47298444 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38620 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=154480 CPUtime=1708.16 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 44644 0 0 0 170808 8 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=14156 CPUtime=1717.81 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 38592 0 0 0 171773 8 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 3426.27 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 154480 KiB

[startup+1782.3 s]
/proc/loadavg: 6.12 6.10 5.90 7/268 43883
/proc/meminfo: memFree=128321504/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=154480 CPUtime=3545.67 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 87147 0 0 0 354545 22 0 0 20 0 3 0 47298444 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38620 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=154480 CPUtime=1767.7 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 44646 0 0 0 176762 8 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=13568 CPUtime=1777.68 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 38592 0 0 0 177760 8 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 3545.67 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 154480 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.6 s]
/proc/loadavg: 6.15 6.10 5.91 7/268 43884
/proc/meminfo: memFree=128321260/131249996 swapFree=33005272/33010684
[pid=43557] ppid=43554 vsize=243440 memory=154480 CPUtime=3600.01 cores=5,7
/proc/43557/stat : 43557 (pbscip) S 43554 43557 43185 0 -1 4194304 87463 0 0 0 359979 22 0 0 20 0 3 0 47298444 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
/proc/43557/statm: 60860 38620 3168 3530 0 43961 0
[pid=43557/tid=43559] ppid=43554 vsize=243440 memory=14156 CPUtime=1794.8 cores=5,7
/proc/43557/task/43559/stat : 43559 (pbscip) R 43554 43557 43185 0 -1 4194368 44675 0 0 0 179472 8 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
[pid=43557/tid=43560] ppid=43554 vsize=243440 memory=-5155625799707617925 CPUtime=1804.91 cores=5,7
/proc/43557/task/43560/stat : 43560 (pbscip) R 43554 43557 43185 0 -1 4194368 38879 0 0 0 180483 8 0 0 20 0 3 0 47298466 249282560 38620 18446744073709551615 4235264 18693293 140727829865808 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 21375888 21430392 44863488 140727829875081 140727829875180 140727829875180 140727829880782 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 243440 KiB
Current children cumulated memory: 154480 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.81 s, system=0.225572 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 1809.61
CPU time (s): 3600.03
CPU user time (s): 3599.81
CPU system time (s): 0.225572
CPU usage (%): 198.94
Max. virtual memory (cumulated for all children) (KiB): 243440
Max. memory (cumulated for all children) (KiB): 154480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.81
system time used= 0.225572
maximum resident set size= 154480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87463
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= 36952
involuntary context switches= 76042


# summary of solver processes directly reported to runsolver:
#   pid: 43557
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.81
#   total CPU system time (s): 0.225572

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.12865 second user time and 6.78628 second system time

The end

Launcher Data

Begin job on nodeC023 at 2025-06-30 22:43:26
IDJOB=4485744
IDBENCH=146868
IDSOLVER=3365
FILE ID=nodeC023/4485744-1751316206
RUNJOBID= nodeC023-1751313715-43198
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-greenbeb.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485744-1751316206/watcher-4485744-1751316206 -o /tmp/evaluation-result-4485744-1751316206/solver-4485744-1751316206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751313715-43198 --watchdog 3760  pbscip -f HOME/instance-4485744-1751316206.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= d021d78883fac2a7bf820bb220b2a7e2
RANDOM SEED=398090333

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.884
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		: 3599.888
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		: 3599.890
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		: 3600.163
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.883
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.877
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		: 3600.370
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		: 3597.086
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:        128891172 kB
MemAvailable:   128567736 kB
Buffers:            1328 kB
Cached:           476200 kB
SwapCached:          536 kB
Active:          1353952 kB
Inactive:         373964 kB
Active(anon):    1203724 kB
Inactive(anon):    59892 kB
Active(file):     150228 kB
Inactive(file):   314072 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005272 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             32944 kB
Writeback:            96 kB
AnonPages:       1250188 kB
Mapped:           131204 kB
Shmem:             13228 kB
KReclaimable:     103004 kB
Slab:             190528 kB
SReclaimable:     103004 kB
SUnreclaim:        87524 kB
KernelStack:        4256 kB
PageTables:         5580 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1636332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    983040 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= 432956 MiB
End job on nodeC023 at 2025-06-30 23:13:36