Trace number 4459971

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
FiberSCIP 2024-07-02SAT-57 3589.4 3600.55

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_200_10_2.opb
MD5SUM2ee40362659bac8ce3ae96da1e16af6a
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-58
Best CPU time to get the best result obtained on this benchmark71396.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4984
Sum of products size (including duplicates)9968
Number of different products2492
Sum of products size4984

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01	c Default LC presolving (default).
0.00/0.01	c ** Before presolving: virtualMemUsedAtLc = 34177024, getVmSize() = 34177024, SCIPgetMemUsed() = 9495985, SCIPgetMemTotal() = 12215561, SCIPgetMemExternEstim() = 6087518
0.00/0.01	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.04	c ** Estimated virtualMemUsedAtSolver = 24681130, getVmSize() = 39866368, SCIPgetMemUsed() = 10331371, SCIPgetMemTotal() = 16739123, SCIPgetMemExternEstim() = 6087518
0.00/0.04	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.04	c Original Problem   :
0.00/0.04	c   Problem name     : instance-4459971-1721943063
0.00/0.04	c   Variables        : 2892 (400 binary, 0 integer, 2492 implicit integer, 0 continuous)
0.00/0.04	c   Constraints      : 3493
0.00/0.04	c   Objective sense  : minimize
0.00/0.04	c Presolved Problem  :
0.00/0.04	c   Variables        : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.04	c   Constraints      : 601
0.00/0.04	c Constraints        : Number
0.00/0.04	c   knapsack         : 400 
0.00/0.04	c   setppc           : 200 
0.00/0.04	c   linear           : 1 
0.00/0.04	c ** Instance transfer method used: 0
0.00/0.05	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.05	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.05	c                                Nodes    Active                                            
0.00/0.05	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.00/0.08	c *       0              0           1         1          -1.0000                -          -
0.67/0.79	c *       1              0           1         1         -38.0000                -          -
14.94/15.06	c *      15              0           1         1         -41.0000                -          -
14.94/15.06	c        15              0           1         1         -41.0000                -          -
20.62/20.79	c        21              2           1         1         -41.0000         -95.5072    132.94%
28.09/28.25	c        28              4           3         1         -41.0000         -95.5072    132.94%
34.77/34.95	c        35              7           6         1         -41.0000         -95.5072    132.94%
40.96/41.10	c        41             12          11         1         -41.0000         -95.5072    132.94%
43.35/43.53	c *      44             14          13         1         -49.0000         -95.5072     94.91%
48.53/48.71	c        49             17          16         1         -49.0000         -95.5072     94.91%
53.72/53.97	c        54             20          19         1         -49.0000         -95.5072     94.91%
56.30/56.53	c *      57             39          38         1         -53.0000         -95.5072     80.20%
58.90/59.12	c        59             47          46         1         -53.0000         -95.5072     80.20%
64.38/64.62	c        65             80          79         1         -53.0000         -95.5072     80.20%
69.57/69.84	c        70            135         134         1         -53.0000         -95.5072     80.20%
75.55/75.85	c        76            221         220         1         -53.0000         -95.4631     80.12%
82.13/82.45	c        82            271         270         1         -53.0000         -95.4631     80.12%
87.81/88.17	c        88            330         329         1         -53.0000         -95.4628     80.12%
93.89/94.23	c        94            398         387         1         -53.0000         -95.4628     80.12%
99.97/100.34	c       100            462         411         1         -53.0000         -95.2656     79.75%
105.25/105.65	c       106            522         435         1         -53.0000         -95.2315     79.68%
111.33/111.78	c       112            582         461         1         -53.0000         -95.1767     79.58%
112.83/113.22	c *     113            585         464         1         -57.0000         -95.1767     66.98%
116.52/116.98	c       117            672         443         1         -57.0000         -95.0630     66.78%
123.20/123.68	c       124            766         491         1         -57.0000         -95.0262     66.71%
128.59/129.03	c       129            835         544         1         -57.0000         -94.9766     66.63%
134.67/135.19	c       135            896         605         1         -57.0000         -94.8893     66.47%
140.34/140.88	c       141           1019         686         1         -57.0000         -94.8740     66.45%
146.12/146.63	c       147           1162         799         1         -57.0000         -94.8675     66.43%
152.00/152.53	c       153           1255         820         1         -57.0000         -94.8024     66.32%
157.09/157.64	c       158           1392         873         1         -57.0000         -94.7925     66.30%
162.87/163.42	c       163           1533         904         1         -57.0000         -94.7701     66.26%
168.06/168.64	c       169           1605         932         1         -57.0000         -94.7451     66.22%
173.24/173.88	c       174           1695         970         1         -57.0000         -94.7380     66.21%
179.32/179.99	c       180           1809        1006         1         -57.0000         -94.7233     66.18%
184.70/185.31	c       185           1912        1057         1         -57.0000         -94.7092     66.16%
190.69/191.37	c       191           2026        1089         1         -57.0000         -94.6755     66.10%
196.87/197.51	c       198           2135        1114         1         -57.0000         -94.6474     66.05%
202.25/202.92	c       203           2322        1152         1         -57.0000         -94.6343     66.03%
207.73/208.44	c       208           2420        1182         1         -57.0000         -94.6282     66.01%
213.71/214.44	c       214           2525        1221         1         -57.0000         -94.6125     65.99%
218.79/219.52	c       220           2584        1240         1         -57.0000         -94.5747     65.92%
224.97/225.76	c       226           2758        1320         1         -57.0000         -94.5730     65.92%
230.16/230.94	c       231           2876        1356         1         -57.0000         -94.5462     65.87%
235.84/236.64	c       237           3024        1390         1         -57.0000         -94.5314     65.84%
241.62/242.45	c       242           3226        1456         1         -57.0000         -94.5225     65.83%
247.20/248.00	c       248           3402        1494         1         -57.0000         -94.5079     65.80%
253.08/253.90	c       254           3575        1515         1         -57.0000         -94.5045     65.80%
258.36/259.27	c       259           3742        1556         1         -57.0000         -94.5045     65.80%
264.24/265.13	c       265           3924        1608         1         -57.0000         -94.5045     65.80%
269.83/270.71	c       271           3995        1629         1         -57.0000         -94.4934     65.78%
274.91/275.83	c       276           4136        1676         1         -57.0000         -94.4815     65.76%
280.49/281.45	c       281           4192        1686         1         -57.0000         -94.4698     65.74%
286.57/287.56	c       288           4447        1747         1         -57.0000         -94.4668     65.73%
292.16/293.15	c       293           4573        1785         1         -57.0000         -94.4485     65.70%
298.05/299.03	c       299           4861        1815         1         -57.0000         -94.4420     65.69%
303.72/304.76	c       305           4934        1828         1         -57.0000         -94.4267     65.66%
309.69/310.72	c       311           5065        1849         1         -57.0000         -94.4263     65.66%
315.17/316.23	c       316           5237        1895         1         -57.0000         -94.4214     65.65%
320.85/321.93	c       322           5408        1930         1         -57.0000         -94.4160     65.64%
326.64/327.78	c       328           5553        1959         1         -57.0000         -94.3949     65.61%
332.02/333.18	c       333           5762        1980         1         -57.0000         -94.3806     65.58%
338.00/339.14	c       339           5841        2005         1         -57.0000         -94.3757     65.57%
343.28/344.40	c       344           6102        2040         1         -57.0000         -94.3637     65.55%
349.26/350.43	c       350           6304        2082         1         -57.0000         -94.3479     65.52%
355.43/356.60	c       357           6477        2105         1         -57.0000         -94.3421     65.51%
360.62/361.86	c       362           6672        2128         1         -57.0000         -94.3180     65.47%
365.80/367.04	c       367           6730        2142         1         -57.0000         -94.3180     65.47%
371.57/372.80	c       373           6919        2189         1         -57.0000         -94.2752     65.40%
376.76/378.08	c       378           7126        2214         1         -57.0000         -94.2643     65.38%
381.85/383.17	c       383           7383        2255         1         -57.0000         -94.2582     65.37%
387.12/388.45	c       388           7642        2270         1         -57.0000         -94.2552     65.36%
392.60/393.98	c       394           7742        2276         1         -57.0000         -94.2538     65.36%
398.78/400.16	c       400           7924        2288         1         -57.0000         -94.2525     65.36%
404.06/405.49	c       406           8072        2310         1         -57.0000         -94.2187     65.30%
410.24/411.60	c       412           8223        2327         1         -57.0000         -94.2187     65.30%
416.01/417.47	c       417           8380        2338         1         -57.0000         -94.2151     65.29%
421.99/423.42	c       423           8564        2368         1         -57.0000         -94.1914     65.25%
427.38/428.86	c       429           8667        2397         1         -57.0000         -94.1720     65.21%
433.75/435.25	c       435           8797        2423         1         -57.0000         -94.1505     65.18%
439.33/440.82	c       441           8929        2449         1         -57.0000         -94.1497     65.17%
444.61/446.17	c       446           9218        2452         1         -57.0000         -94.1371     65.15%
450.29/451.85	c       452           9391        2481         1         -57.0000         -94.1324     65.14%
455.87/457.46	c       457           9512        2514         1         -57.0000         -94.1154     65.11%
461.25/462.88	c       463           9621        2529         1         -57.0000         -94.1144     65.11%
467.13/468.79	c       469           9792        2538         1         -57.0000         -94.1011     65.09%
473.21/474.85	c       475           9908        2560         1         -57.0000         -94.0871     65.07%
478.89/480.50	c       480          10014        2590         1         -57.0000         -94.0851     65.06%
483.97/485.63	c       486          10122        2614         1         -57.0000         -94.0780     65.05%
489.45/491.15	c       491          10250        2652         1         -57.0000         -94.0639     65.02%
495.43/497.18	c       497          10452        2676         1         -57.0000         -94.0449     64.99%
500.81/502.54	c       503          10532        2700         1         -57.0000         -94.0360     64.98%
506.39/508.13	c       508          10656        2732         1         -57.0000         -94.0257     64.96%
511.67/513.49	c       514          10822        2738         1         -57.0000         -94.0032     64.92%
517.36/519.18	c       519          10930        2768         1         -57.0000         -93.9971     64.91%
522.74/524.54	c       525          11090        2784         1         -57.0000         -93.9959     64.91%
528.92/530.72	c       531          11211        2807         1         -57.0000         -93.9923     64.90%
534.70/536.51	c       537          11444        2852         1         -57.0000         -93.9767     64.87%
540.48/542.30	c       542          11532        2876         1         -57.0000         -93.9627     64.85%
545.56/547.44	c       547          11594        2904         1         -57.0000         -93.9552     64.83%
551.35/553.29	c       553          11892        2960         1         -57.0000         -93.9414     64.81%
556.63/558.55	c       559          12065        2975         1         -57.0000         -93.9342     64.80%
562.51/564.44	c       564          12164        2988         1         -57.0000         -93.9251     64.78%
568.60/570.57	c       571          12325        3019         1         -57.0000         -93.9216     64.77%
573.88/575.88	c       576          12622        3074         1         -57.0000         -93.9089     64.75%
578.96/580.93	c       581          12776        3104         1         -57.0000         -93.8990     64.74%
584.05/586.04	c       586          13052        3158         1         -57.0000         -93.8894     64.72%
590.03/592.02	c       592          13273        3193         1         -57.0000         -93.8817     64.70%
595.81/597.86	c       598          13519        3235         1         -57.0000         -93.8793     64.70%
600.99/603.01	c       603          13677        3253         1         -57.0000         -93.8777     64.70%
607.26/609.36	c       609          13842        3268         1         -57.0000         -93.8718     64.69%
612.85/614.95	c       615          13960        3306         1         -57.0000         -93.8649     64.68%
618.03/620.17	c       620          14092        3326         1         -57.0000         -93.8604     64.67%
624.21/626.37	c       626          14240        3348         1         -57.0000         -93.8544     64.66%
629.69/631.86	c       632          14372        3372         1         -57.0000         -93.8482     64.65%
635.17/637.30	c       637          14592        3396         1         -57.0000         -93.8352     64.62%
640.66/642.86	c       643          14687        3437         1         -57.0000         -93.8170     64.59%
646.44/648.67	c       649          14816        3454         1         -57.0000         -93.8141     64.59%
651.63/653.82	c       654          14962        3484         1         -57.0000         -93.8088     64.58%
657.51/659.78	c       660          15101        3513         1         -57.0000         -93.8011     64.56%
663.19/665.43	c       665          15312        3544         1         -57.0000         -93.7987     64.56%
668.17/670.45	c       670          15403        3557         1         -57.0000         -93.7972     64.56%
673.86/676.13	c       676          15592        3584         1         -57.0000         -93.7859     64.54%
679.04/681.35	c       681          15740        3598         1         -57.0000         -93.7857     64.54%
684.62/686.99	c       687          15909        3637         1         -57.0000         -93.7818     64.53%
689.71/692.03	c       692          15961        3649         1         -57.0000         -93.7789     64.52%
695.29/697.66	c       698          16163        3681         1         -57.0000         -93.7743     64.52%
701.17/703.53	c       704          16270        3696         1         -57.0000         -93.7715     64.51%
706.96/709.34	c       709          16499        3729         1         -57.0000         -93.7701     64.51%
712.44/714.87	c       715          16687        3741         1         -57.0000         -93.7671     64.50%
717.52/719.91	c       720          16833        3761         1         -57.0000         -93.7652     64.50%
722.70/725.17	c       725          16972        3788         1         -57.0000         -93.7566     64.49%
728.48/730.93	c       731          17053        3803         1         -57.0000         -93.7474     64.47%
733.67/736.14	c       736          17302        3822         1         -57.0000         -93.7431     64.46%
739.06/741.55	c       742          17421        3837         1         -57.0000         -93.7430     64.46%
744.54/747.03	c       747          17634        3880         1         -57.0000         -93.7332     64.44%
750.42/752.96	c       753          17815        3905         1         -57.0000         -93.7283     64.44%
755.51/758.01	c       758          17960        3910         1         -57.0000         -93.7204     64.42%
760.78/763.35	c       763          18202        3922         1         -57.0000         -93.7191     64.42%
766.27/768.83	c       769          18385        3967         1         -57.0000         -93.7079     64.40%
771.95/774.51	c       775          18541        3987         1         -57.0000         -93.7057     64.40%
778.23/780.81	c       781          18689        4001         1         -57.0000         -93.7056     64.40%
783.42/786.10	c       786          18765        4021         1         -57.0000         -93.7040     64.39%
789.20/791.83	c       792          18876        4040         1         -57.0000         -93.7012     64.39%
794.58/797.20	c       797          19022        4070         1         -57.0000         -93.6977     64.38%
799.57/802.28	c       802          19157        4089         1         -57.0000         -93.6956     64.38%
805.35/808.04	c       808          19308        4110         1         -57.0000         -93.6944     64.38%
810.45/813.18	c       813          19467        4153         1         -57.0000         -93.6851     64.36%
816.12/818.85	c       819          19637        4177         1         -57.0000         -93.6836     64.36%
821.60/824.31	c       824          19843        4209         1         -57.0000         -93.6804     64.35%
827.58/830.35	c       830          20150        4244         1         -57.0000         -93.6733     64.34%
832.87/835.61	c       836          20310        4272         1         -57.0000         -93.6675     64.33%
838.75/841.52	c       842          20550        4278         1         -57.0000         -93.6669     64.33%
843.93/846.71	c       847          20685        4293         1         -57.0000         -93.6667     64.33%
849.72/852.53	c       853          20765        4319         1         -57.0000         -93.6647     64.32%
854.90/857.75	c       858          20866        4332         1         -57.0000         -93.6646     64.32%
860.19/863.00	c       863          20921        4349         1         -57.0000         -93.6604     64.32%
865.97/868.89	c       869          21108        4382         1         -57.0000         -93.6519     64.30%
871.36/874.24	c       874          21232        4402         1         -57.0000         -93.6416     64.28%
876.84/879.78	c       880          21325        4425         1         -57.0000         -93.6409     64.28%
882.02/884.90	c       885          21422        4436         1         -57.0000         -93.6395     64.28%
887.60/890.58	c       891          21577        4457         1         -57.0000         -93.6393     64.28%
893.38/896.30	c       896          21778        4458         1         -57.0000         -93.6393     64.28%
898.77/901.71	c       902          21932        4478         1         -57.0000         -93.6303     64.26%
903.76/906.79	c       907          22062        4512         1         -57.0000         -93.6272     64.26%
909.94/912.95	c       913          22308        4550         1         -57.0000         -93.6261     64.26%
915.32/918.31	c       918          22562        4586         1         -57.0000         -93.6226     64.25%
920.50/923.56	c       924          22766        4600         1         -57.0000         -93.6215     64.25%
926.48/929.59	c       930          22901        4633         1         -57.0000         -93.6163     64.24%
931.67/934.70	c       935          23092        4654         1         -57.0000         -93.6051     64.22%
936.96/940.08	c       940          23217        4689         1         -57.0000         -93.5993     64.21%
942.83/945.95	c       946          23500        4736         1         -57.0000         -93.5902     64.19%
948.61/951.75	c       952          23755        4771         1         -57.0000         -93.5843     64.18%
954.10/957.24	c       957          23872        4786         1         -57.0000         -93.5816     64.18%
959.98/963.15	c       963          24050        4824         1         -57.0000         -93.5778     64.17%
965.56/968.72	c       969          24182        4842         1         -57.0000         -93.5764     64.17%
971.44/974.62	c       975          24267        4865         1         -57.0000         -93.5750     64.17%
976.93/980.13	c       980          24509        4889         1         -57.0000         -93.5723     64.16%
982.51/985.74	c       986          24782        4916         1         -57.0000         -93.5689     64.16%
987.59/990.85	c       991          24946        4946         1         -57.0000         -93.5593     64.14%
993.37/996.60	c       997          25062        4958         1         -57.0000         -93.5584     64.14%
998.87/1002.16	c      1002          25161        4975         1         -57.0000         -93.5570     64.14%
1004.25/1007.50	c      1008          25262        4996         1         -57.0000         -93.5501     64.12%
1010.03/1013.36	c      1013          25353        5009         1         -57.0000         -93.5430     64.11%
1015.71/1019.02	c      1019          25542        5044         1         -57.0000         -93.5400     64.11%
1021.30/1024.63	c      1025          25672        5068         1         -57.0000         -93.5373     64.10%
1026.79/1030.16	c      1030          25833        5081         1         -57.0000         -93.5344     64.10%
1032.26/1035.66	c      1036          26052        5112         1         -57.0000         -93.5293     64.09%
1037.65/1041.06	c      1041          26257        5135         1         -57.0000         -93.5236     64.08%
1043.42/1046.83	c      1047          26366        5154         1         -57.0000         -93.5206     64.07%
1049.01/1052.41	c      1052          26582        5176         1         -57.0000         -93.5195     64.07%
1053.99/1057.49	c      1057          26697        5217         1         -57.0000         -93.5144     64.06%
1059.69/1063.11	c      1063          26886        5250         1         -57.0000         -93.5081     64.05%
1065.46/1068.93	c      1069          27152        5278         1         -57.0000         -93.5028     64.04%
1071.14/1074.66	c      1075          27372        5300         1         -57.0000         -93.5006     64.04%
1076.72/1080.21	c      1080          27533        5321         1         -57.0000         -93.4980     64.03%
1082.40/1085.99	c      1086          27597        5341         1         -57.0000         -93.4937     64.02%
1088.39/1091.90	c      1092          27720        5350         1         -57.0000         -93.4919     64.02%
1093.58/1097.14	c      1097          27845        5365         1         -57.0000         -93.4881     64.01%
1098.86/1102.43	c      1102          27999        5373         1         -57.0000         -93.4863     64.01%
1104.14/1107.73	c      1108          28216        5392         1         -57.0000         -93.4815     64.00%
1109.23/1112.89	c      1113          28366        5402         1         -57.0000         -93.4815     64.00%
1114.51/1118.15	c      1118          28503        5421         1         -57.0000         -93.4782     64.00%
1120.39/1124.01	c      1124          28652        5444         1         -57.0000         -93.4713     63.98%
1126.17/1129.82	c      1130          28782        5460         1         -57.0000         -93.4679     63.98%
1132.16/1135.89	c      1136          28893        5475         1         -57.0000         -93.4668     63.98%
1137.94/1141.69	c      1142          29065        5503         1         -57.0000         -93.4638     63.97%
1143.12/1146.86	c      1147          29221        5517         1         -57.0000         -93.4609     63.97%
1148.31/1152.08	c      1152          29408        5540         1         -57.0000         -93.4592     63.96%
1153.59/1157.33	c      1157          29557        5557         1         -57.0000         -93.4578     63.96%
1159.48/1163.23	c      1163          29649        5575         1         -57.0000         -93.4569     63.96%
1165.06/1168.83	c      1169          29814        5588         1         -57.0000         -93.4566     63.96%
1170.24/1174.06	c      1174          29916        5596         1         -57.0000         -93.4566     63.96%
1176.02/1179.85	c      1180          30104        5628         1         -57.0000         -93.4536     63.95%
1181.31/1185.17	c      1185          30342        5656         1         -57.0000         -93.4485     63.94%
1186.39/1190.25	c      1190          30444        5672         1         -57.0000         -93.4473     63.94%
1191.97/1195.84	c      1196          30568        5696         1         -57.0000         -93.4442     63.94%
1197.45/1201.33	c      1201          30695        5707         1         -57.0000         -93.4404     63.93%
1202.54/1206.45	c      1206          30832        5732         1         -57.0000         -93.4352     63.92%
1208.12/1212.07	c      1212          31067        5779         1         -57.0000         -93.4269     63.91%
1213.81/1217.76	c      1218          31344        5802         1         -57.0000         -93.4215     63.90%
1219.59/1223.59	c      1224          31502        5840         1         -57.0000         -93.4120     63.88%
1225.57/1229.55	c      1230          31697        5857         1         -57.0000         -93.4069     63.87%
1230.85/1234.87	c      1235          31832        5880         1         -57.0000         -93.4042     63.87%
1236.14/1240.13	c      1240          31956        5898         1         -57.0000         -93.4032     63.87%
1241.72/1245.70	c      1246          32252        5914         1         -57.0000         -93.4017     63.86%
1246.70/1250.73	c      1251          32486        5948         1         -57.0000         -93.3996     63.86%
1252.49/1256.57	c      1257          32612        5974         1         -57.0000         -93.3970     63.85%
1258.17/1262.24	c      1262          32755        5983         1         -57.0000         -93.3934     63.85%
1263.65/1267.75	c      1268          32885        6007         1         -57.0000         -93.3903     63.84%
1268.84/1272.90	c      1273          32982        6020         1         -57.0000         -93.3895     63.84%
1274.93/1279.02	c      1279          33214        6044         1         -57.0000         -93.3847     63.83%
1280.01/1284.13	c      1284          33312        6068         1         -57.0000         -93.3802     63.82%
1285.09/1289.21	c      1289          33422        6088         1         -57.0000         -93.3765     63.82%
1290.67/1294.88	c      1295          33612        6136         1         -57.0000         -93.3699     63.81%
1296.45/1300.69	c      1301          33782        6172         1         -57.0000         -93.3687     63.80%
1302.23/1306.46	c      1306          33975        6213         1         -57.0000         -93.3673     63.80%
1308.02/1312.21	c      1312          34112        6232         1         -57.0000         -93.3642     63.80%
1313.50/1317.74	c      1318          34321        6239         1         -57.0000         -93.3642     63.80%
1318.79/1323.04	c      1323          34444        6272         1         -57.0000         -93.3633     63.80%
1323.97/1328.28	c      1328          34576        6294         1         -57.0000         -93.3578     63.79%
1329.45/1333.78	c      1334          34779        6313         1         -57.0000         -93.3548     63.78%
1335.04/1339.31	c      1339          34922        6324         1         -57.0000         -93.3547     63.78%
1340.62/1344.95	c      1345          35109        6361         1         -57.0000         -93.3532     63.78%
1346.50/1350.85	c      1351          35203        6387         1         -57.0000         -93.3495     63.77%
1352.48/1356.88	c      1357          35437        6413         1         -57.0000         -93.3428     63.76%
1359.16/1363.56	c      1364          35662        6426         1         -57.0000         -93.3356     63.75%
1364.94/1369.34	c      1369          35892        6464         1         -57.0000         -93.3310     63.74%
1370.42/1374.82	c      1375          36072        6492         1         -57.0000         -93.3273     63.73%
1375.72/1380.15	c      1380          36252        6508         1         -57.0000         -93.3254     63.73%
1380.90/1385.37	c      1385          36403        6533         1         -57.0000         -93.3250     63.73%
1386.58/1391.08	c      1391          36637        6589         1         -57.0000         -93.3180     63.72%
1392.36/1396.89	c      1397          36838        6602         1         -57.0000         -93.3179     63.72%
1397.44/1401.94	c      1402          36992        6630         1         -57.0000         -93.3155     63.71%
1402.63/1407.17	c      1407          37145        6657         1         -57.0000         -93.3138     63.71%
1408.30/1412.81	c      1413          37332        6680         1         -57.0000         -93.3106     63.70%
1413.60/1418.11	c      1418          37518        6704         1         -57.0000         -93.3094     63.70%
1419.78/1424.34	c      1424          37685        6727         1         -57.0000         -93.3083     63.70%
1424.86/1429.44	c      1429          37924        6766         1         -57.0000         -93.3083     63.70%
1430.04/1434.63	c      1435          38064        6786         1         -57.0000         -93.3063     63.70%
1435.82/1440.49	c      1440          38292        6806         1         -57.0000         -93.2996     63.68%
1441.11/1445.72	c      1446          38472        6826         1         -57.0000         -93.2995     63.68%
1446.39/1451.04	c      1451          38738        6844         1         -57.0000         -93.2935     63.67%
1451.48/1456.17	c      1456          38923        6879         1         -57.0000         -93.2886     63.66%
1457.55/1462.23	c      1462          39212        6932         1         -57.0000         -93.2857     63.66%
1462.64/1467.30	c      1467          39529        6965         1         -57.0000         -93.2828     63.65%
1468.33/1473.06	c      1473          39892        6996         1         -57.0000         -93.2765     63.64%
1474.41/1479.13	c      1479          40087        7019         1         -57.0000         -93.2713     63.63%
1479.49/1484.28	c      1484          40341        7049         1         -57.0000         -93.2692     63.63%
1485.28/1490.06	c      1490          40437        7071         1         -57.0000         -93.2670     63.63%
1490.36/1495.12	c      1495          40612        7094         1         -57.0000         -93.2628     63.62%
1495.54/1500.35	c      1500          40822        7127         1         -57.0000         -93.2597     63.61%
1500.62/1505.46	c      1505          40965        7154         1         -57.0000         -93.2582     63.61%
1505.61/1510.47	c      1510          41248        7157         1         -57.0000         -93.2549     63.61%
1510.70/1515.53	c      1516          41412        7187         1         -57.0000         -93.2494     63.60%
1516.68/1521.52	c      1522          41597        7212         1         -57.0000         -93.2471     63.59%
1522.66/1527.53	c      1528          41776        7219         1         -57.0000         -93.2445     63.59%
1528.34/1533.29	c      1533          41984        7245         1         -57.0000         -93.2400     63.58%
1534.42/1539.36	c      1539          42117        7284         1         -57.0000         -93.2371     63.57%
1539.81/1544.78	c      1545          42307        7308         1         -57.0000         -93.2337     63.57%
1545.29/1550.21	c      1550          42552        7347         1         -57.0000         -93.2311     63.56%
1550.77/1555.74	c      1556          42775        7368         1         -57.0000         -93.2236     63.55%
1555.85/1560.82	c      1561          42928        7391         1         -57.0000         -93.2217     63.55%
1560.84/1565.89	c      1566          43087        7416         1         -57.0000         -93.2213     63.55%
1566.22/1571.24	c      1571          43258        7435         1         -57.0000         -93.2201     63.54%
1571.20/1576.28	c      1576          43377        7438         1         -57.0000         -93.2201     63.54%
1577.10/1582.11	c      1582          43534        7449         1         -57.0000         -93.2190     63.54%
1582.37/1587.45	c      1587          43637        7460         1         -57.0000         -93.2171     63.54%
1588.25/1593.31	c      1593          43885        7462         1         -57.0000         -93.2171     63.54%
1593.84/1598.97	c      1599          44038        7479         1         -57.0000         -93.2170     63.54%
1599.73/1604.86	c      1605          44191        7494         1         -57.0000         -93.2156     63.54%
1604.81/1609.94	c      1610          44305        7518         1         -57.0000         -93.2125     63.53%
1610.38/1615.50	c      1616          44404        7539         1         -57.0000         -93.2123     63.53%
1616.08/1621.24	c      1621          44495        7558         1         -57.0000         -93.2122     63.53%
1621.75/1626.99	c      1627          44611        7580         1         -57.0000         -93.2100     63.53%
1627.84/1633.06	c      1633          44920        7627         1         -57.0000         -93.2079     63.52%
1634.01/1639.28	c      1639          45051        7634         1         -57.0000         -93.2075     63.52%
1639.59/1644.85	c      1645          45186        7657         1         -57.0000         -93.2051     63.52%
1645.38/1650.61	c      1651          45436        7683         1         -57.0000         -93.2021     63.51%
1651.36/1656.61	c      1657          45627        7690         1         -57.0000         -93.2014     63.51%
1656.65/1661.96	c      1662          45772        7705         1         -57.0000         -93.1999     63.51%
1661.84/1667.13	c      1667          45962        7711         1         -57.0000         -93.1983     63.51%
1666.92/1672.24	c      1672          46072        7735         1         -57.0000         -93.1980     63.51%
1672.20/1677.54	c      1678          46232        7745         1         -57.0000         -93.1973     63.50%
1677.38/1682.72	c      1683          46366        7769         1         -57.0000         -93.1953     63.50%
1683.26/1688.69	c      1689          46517        7784         1         -57.0000         -93.1927     63.50%
1689.04/1694.42	c      1694          46656        7809         1         -57.0000         -93.1908     63.49%
1694.13/1699.57	c      1700          46795        7836         1         -57.0000         -93.1885     63.49%
1699.62/1705.08	c      1705          46905        7850         1         -57.0000         -93.1873     63.49%
1704.70/1710.12	c      1710          47017        7860         1         -57.0000         -93.1871     63.49%
1710.59/1716.10	c      1716          47164        7889         1         -57.0000         -93.1868     63.49%
1716.07/1721.53	c      1722          47250        7895         1         -57.0000         -93.1868     63.49%
1721.35/1726.83	c      1727          47427        7900         1         -57.0000         -93.1864     63.48%
1727.03/1732.57	c      1733          47655        7914         1         -57.0000         -93.1844     63.48%
1732.22/1737.77	c      1738          47812        7933         1         -57.0000         -93.1816     63.48%
1738.10/1743.62	c      1744          48047        7958         1         -57.0000         -93.1802     63.47%
1743.98/1749.56	c      1750          48208        7965         1         -57.0000         -93.1775     63.47%
1749.76/1755.33	c      1755          48481        7964         1         -57.0000         -93.1774     63.47%
1755.64/1761.25	c      1761          48629        8004         1         -57.0000         -93.1681     63.45%
1760.73/1766.30	c      1766          48722        8023         1         -57.0000         -93.1666     63.45%
1766.42/1772.07	c      1772          48881        8024         1         -57.0000         -93.1626     63.44%
1771.89/1777.55	c      1778          48984        8049         1         -57.0000         -93.1620     63.44%
1777.87/1783.58	c      1784          49222        8065         1         -57.0000         -93.1617     63.44%
1783.16/1788.83	c      1789          49382        8081         1         -57.0000         -93.1607     63.44%
1788.34/1794.02	c      1794          49512        8107         1         -57.0000         -93.1577     63.43%
1793.43/1799.12	c      1799          49722        8135         1         -57.0000         -93.1547     63.43%
1798.91/1804.65	c      1805          50121        8150         1         -57.0000         -93.1540     63.43%
1803.99/1809.78	c      1810          50310        8151         1         -57.0000         -93.1540     63.43%
1809.08/1814.83	c      1815          50432        8187         1         -57.0000         -93.1511     63.42%
1815.46/1821.23	c      1821          50608        8231         1         -57.0000         -93.1503     63.42%
1821.14/1826.91	c      1827          50892        8245         1         -57.0000         -93.1492     63.42%
1826.13/1831.97	c      1832          51086        8261         1         -57.0000         -93.1474     63.42%
1832.01/1837.80	c      1838          51218        8289         1         -57.0000         -93.1448     63.41%
1836.99/1842.87	c      1843          51341        8302         1         -57.0000         -93.1448     63.41%
1842.87/1848.73	c      1849          51553        8316         1         -57.0000         -93.1448     63.41%
1849.85/1855.79	c      1856          51698        8345         1         -57.0000         -93.1408     63.40%
1855.04/1860.92	c      1861          51827        8358         1         -57.0000         -93.1401     63.40%
1860.62/1866.55	c      1867          51950        8383         1         -57.0000         -93.1336     63.39%
1866.21/1872.18	c      1872          52123        8406         1         -57.0000         -93.1328     63.39%
1871.29/1877.26	c      1877          52292        8425         1         -57.0000         -93.1299     63.39%
1876.57/1882.59	c      1883          52402        8435         1         -57.0000         -93.1299     63.39%
1882.06/1888.07	c      1888          52632        8447         1         -57.0000         -93.1276     63.38%
1887.14/1893.15	c      1893          52818        8473         1         -57.0000         -93.1275     63.38%
1892.32/1898.32	c      1898          53046        8489         1         -57.0000         -93.1254     63.38%
1898.11/1904.11	c      1904          53228        8509         1         -57.0000         -93.1234     63.37%
1903.38/1909.40	c      1909          53403        8538         1         -57.0000         -93.1210     63.37%
1909.08/1915.11	c      1915          53538        8543         1         -57.0000         -93.1188     63.37%
1915.65/1921.76	c      1922          53912        8595         1         -57.0000         -93.1131     63.36%
1920.63/1926.78	c      1927          54592        8653         1         -57.0000         -93.1108     63.35%
1925.72/1931.88	c      1932          55242        8705         1         -57.0000         -93.1068     63.35%
1930.81/1936.96	c      1937          55558        8751         1         -57.0000         -93.1012     63.34%
1937.00/1943.17	c      1943          55928        8769         1         -57.0000         -93.0969     63.33%
1943.17/1949.33	c      1949          56113        8800         1         -57.0000         -93.0958     63.33%
1948.75/1954.97	c      1955          56328        8821         1         -57.0000         -93.0954     63.33%
1954.63/1960.81	c      1961          56556        8845         1         -57.0000         -93.0953     63.33%
1959.71/1965.92	c      1966          56762        8875         1         -57.0000         -93.0871     63.31%
1966.00/1972.23	c      1972          56932        8891         1         -57.0000         -93.0855     63.31%
1971.09/1977.33	c      1977          57107        8920         1         -57.0000         -93.0836     63.30%
1977.07/1983.33	c      1983          57276        8943         1         -57.0000         -93.0826     63.30%
1982.35/1988.60	c      1989          57422        8965         1         -57.0000         -93.0818     63.30%
1987.73/1994.03	c      1994          57569        8986         1         -57.0000         -93.0795     63.30%
1992.82/1999.13	c      1999          57712        8989         1         -57.0000         -93.0794     63.30%
1998.70/2005.05	c      2005          57913        9012         1         -57.0000         -93.0782     63.30%
2004.78/2011.12	c      2011          58054        9031         1         -57.0000         -93.0770     63.29%
2010.26/2016.69	c      2017          58225        9060         1         -57.0000         -93.0753     63.29%
2015.74/2022.17	c      2022          58391        9076         1         -57.0000         -93.0751     63.29%
2021.32/2027.77	c      2028          58516        9077         1         -57.0000         -93.0751     63.29%
2026.40/2032.86	c      2033          58742        9095         1         -57.0000         -93.0735     63.29%
2031.50/2037.92	c      2038          58939        9116         1         -57.0000         -93.0723     63.28%
2037.47/2043.90	c      2044          59067        9118         1         -57.0000         -93.0723     63.28%
2042.76/2049.27	c      2049          59223        9152         1         -57.0000         -93.0709     63.28%
2048.44/2054.99	c      2055          59448        9191         1         -57.0000         -93.0693     63.28%
2054.12/2060.67	c      2061          59635        9230         1         -57.0000         -93.0670     63.28%
2060.10/2066.69	c      2067          59791        9260         1         -57.0000         -93.0640     63.27%
2065.19/2071.79	c      2072          60035        9260         1         -57.0000         -93.0640     63.27%
2070.58/2077.12	c      2077          60137        9262         1         -57.0000         -93.0640     63.27%
2076.25/2082.82	c      2083          60342        9287         1         -57.0000         -93.0624     63.27%
2081.34/2087.95	c      2088          60492        9327         1         -57.0000         -93.0616     63.27%
2087.03/2093.66	c      2094          60702        9387         1         -57.0000         -93.0561     63.26%
2092.11/2098.71	c      2099          60982        9451         1         -57.0000         -93.0532     63.25%
2097.40/2104.07	c      2104          61172        9521         1         -57.0000         -93.0505     63.25%
2102.68/2109.39	c      2109          61402        9553         1         -57.0000         -93.0496     63.24%
2108.76/2115.46	c      2115          61668        9597         1         -57.0000         -93.0469     63.24%
2114.54/2121.25	c      2121          61928        9631         1         -57.0000         -93.0458     63.24%
2120.32/2127.07	c      2127          62329        9650         1         -57.0000         -93.0456     63.24%
2126.50/2133.23	c      2133          62496        9675         1         -57.0000         -93.0437     63.23%
2131.69/2138.48	c      2138          62679        9694         1         -57.0000         -93.0420     63.23%
2137.27/2144.01	c      2144          62851        9716         1         -57.0000         -93.0420     63.23%
2143.35/2150.19	c      2150          63014        9723         1         -57.0000         -93.0418     63.23%
2148.63/2155.43	c      2155          63115        9742         1         -57.0000         -93.0408     63.23%
2153.72/2160.50	c      2161          63252        9767         1         -57.0000         -93.0401     63.23%
2159.50/2166.39	c      2166          63450        9799         1         -57.0000         -93.0395     63.23%
2164.58/2171.46	c      2171          63562        9813         1         -57.0000         -93.0375     63.22%
2170.56/2177.46	c      2177          63743        9834         1         -57.0000         -93.0355     63.22%
2175.65/2182.50	c      2182          63919        9872         1         -57.0000         -93.0341     63.22%
2180.84/2187.77	c      2188          64071        9884         1         -57.0000         -93.0312     63.21%
2187.02/2193.93	c      2194          64250        9903         1         -57.0000         -93.0302     63.21%
2192.80/2199.78	c      2200          64452        9909         1         -57.0000         -93.0298     63.21%
2198.68/2205.64	c      2206          64559        9922         1         -57.0000         -93.0293     63.21%
2203.97/2210.97	c      2211          64716        9929         1         -57.0000         -93.0293     63.21%
2209.65/2216.68	c      2217          64859        9942         1         -57.0000         -93.0288     63.21%
2215.62/2222.61	c      2223          65073        9958         1         -57.0000         -93.0253     63.20%
2221.21/2228.22	c      2228          65186        9967         1         -57.0000         -93.0250     63.20%
2227.39/2234.40	c      2234          65314        9997         1         -57.0000         -93.0241     63.20%
2232.77/2239.80	c      2240          65532       10025         1         -57.0000         -93.0205     63.19%
2238.65/2245.72	c      2246          65639       10052         1         -57.0000         -93.0192     63.19%
2244.34/2251.40	c      2251          65760       10069         1         -57.0000         -93.0171     63.19%
2250.02/2257.12	c      2257          65883       10088         1         -57.0000         -93.0171     63.19%
2255.20/2262.34	c      2262          66069       10110         1         -57.0000         -93.0166     63.19%
2260.99/2268.16	c      2268          66391       10140         1         -57.0000         -93.0138     63.18%
2266.17/2273.38	c      2273          66743       10194         1         -57.0000         -93.0111     63.18%
2271.75/2278.96	c      2279          67211       10218         1         -57.0000         -93.0104     63.18%
2277.84/2285.02	c      2285          67351       10230         1         -57.0000         -93.0104     63.18%
2282.93/2290.11	c      2290          67473       10248         1         -57.0000         -93.0094     63.17%
2288.00/2295.21	c      2295          67530       10263         1         -57.0000         -93.0074     63.17%
2293.88/2301.15	c      2301          67741       10302         1         -57.0000         -93.0056     63.17%
2299.26/2306.51	c      2307          67942       10317         1         -57.0000         -93.0046     63.17%
2305.05/2312.32	c      2312          68027       10336         1         -57.0000         -93.0043     63.17%
2310.03/2317.33	c      2317          68202       10365         1         -57.0000         -93.0023     63.16%
2315.73/2323.04	c      2323          68423       10410         1         -57.0000         -92.9999     63.16%
2321.10/2328.45	c      2328          68600       10435         1         -57.0000         -92.9982     63.15%
2326.98/2334.31	c      2334          68738       10451         1         -57.0000         -92.9970     63.15%
2332.67/2340.06	c      2340          68868       10467         1         -57.0000         -92.9970     63.15%
2337.94/2345.31	c      2345          69071       10466         1         -57.0000         -92.9970     63.15%
2343.13/2350.52	c      2351          69345       10482         1         -57.0000         -92.9938     63.15%
2348.51/2355.99	c      2356          69552       10509         1         -57.0000         -92.9925     63.14%
2353.99/2361.44	c      2361          69914       10555         1         -57.0000         -92.9896     63.14%
2359.48/2366.97	c      2367          70076       10571         1         -57.0000         -92.9874     63.14%
2364.86/2372.35	c      2372          70152       10587         1         -57.0000         -92.9863     63.13%
2370.25/2377.79	c      2378          70278       10601         1         -57.0000         -92.9863     63.13%
2375.72/2383.24	c      2383          70417       10622         1         -57.0000         -92.9863     63.13%
2380.91/2388.42	c      2388          70654       10653         1         -57.0000         -92.9852     63.13%
2386.30/2393.87	c      2394          70960       10681         1         -57.0000         -92.9836     63.13%
2391.68/2399.21	c      2399          71352       10697         1         -57.0000         -92.9820     63.13%
2396.87/2404.44	c      2404          71552       10711         1         -57.0000         -92.9811     63.12%
2402.55/2410.14	c      2410          71718       10741         1         -57.0000         -92.9800     63.12%
2408.43/2416.00	c      2416          72235       10764         1         -57.0000         -92.9782     63.12%
2413.51/2421.16	c      2421          72530       10793         1         -57.0000         -92.9751     63.11%
2418.59/2426.23	c      2426          72706       10811         1         -57.0000         -92.9749     63.11%
2423.98/2431.63	c      2432          72934       10841         1         -57.0000         -92.9734     63.11%
2429.07/2436.73	c      2437          73018       10851         1         -57.0000         -92.9731     63.11%
2435.04/2442.71	c      2443          73203       10870         1         -57.0000         -92.9719     63.11%
2440.72/2448.44	c      2448          73472       10901         1         -57.0000         -92.9682     63.10%
2446.61/2454.39	c      2454          73542       10927         1         -57.0000         -92.9635     63.09%
2452.69/2460.41	c      2460          73991       10956         1         -57.0000         -92.9606     63.09%
2458.58/2466.32	c      2466          74524       10973         1         -57.0000         -92.9599     63.09%
2463.66/2471.44	c      2471          74772       11005         1         -57.0000         -92.9582     63.08%
2469.25/2477.07	c      2477          75015       11040         1         -57.0000         -92.9568     63.08%
2475.22/2483.08	c      2483          75296       11059         1         -57.0000         -92.9557     63.08%
2480.90/2488.78	c      2489          75478       11065         1         -57.0000         -92.9554     63.08%
2486.58/2494.41	c      2494          75670       11067         1         -57.0000         -92.9554     63.08%
2491.77/2499.66	c      2500          75882       11089         1         -57.0000         -92.9533     63.08%
2497.85/2505.77	c      2506          76047       11112         1         -57.0000         -92.9527     63.07%
2503.23/2511.14	c      2511          76263       11136         1         -57.0000         -92.9505     63.07%
2509.01/2516.97	c      2517          76467       11148         1         -57.0000         -92.9505     63.07%
2514.11/2522.00	c      2522          76572       11167         1         -57.0000         -92.9496     63.07%
2519.88/2527.89	c      2528          76668       11199         1         -57.0000         -92.9485     63.07%
2525.36/2533.33	c      2533          76849       11208         1         -57.0000         -92.9483     63.07%
2531.25/2539.23	c      2539          77012       11221         1         -57.0000         -92.9478     63.07%
2536.73/2544.77	c      2545          77269       11230         1         -57.0000         -92.9471     63.07%
2543.71/2551.70	c      2552          77388       11257         1         -57.0000         -92.9466     63.06%
2549.49/2557.56	c      2558          77574       11273         1         -57.0000         -92.9458     63.06%
2554.87/2562.93	c      2563          77775       11280         1         -57.0000         -92.9449     63.06%
2559.96/2568.02	c      2568          77922       11291         1         -57.0000         -92.9434     63.06%
2565.55/2573.67	c      2574          77994       11311         1         -57.0000         -92.9409     63.05%
2571.43/2579.50	c      2580          78135       11336         1         -57.0000         -92.9404     63.05%
2576.51/2584.66	c      2585          78282       11355         1         -57.0000         -92.9388     63.05%
2581.69/2589.87	c      2590          78431       11382         1         -57.0000         -92.9380     63.05%
2587.67/2595.80	c      2596          78624       11393         1         -57.0000         -92.9379     63.05%
2592.86/2601.04	c      2601          78769       11404         1         -57.0000         -92.9375     63.05%
2598.63/2606.88	c      2607          78952       11429         1         -57.0000         -92.9365     63.05%
2604.41/2612.62	c      2613          79092       11435         1         -57.0000         -92.9362     63.05%
2609.60/2617.85	c      2618          79264       11447         1         -57.0000         -92.9361     63.05%
2615.19/2623.41	c      2623          79388       11483         1         -57.0000         -92.9331     63.04%
2620.27/2628.59	c      2629          79572       11493         1         -57.0000         -92.9316     63.04%
2626.55/2634.86	c      2635          79858       11535         1         -57.0000         -92.9291     63.03%
2632.03/2640.39	c      2640          80013       11564         1         -57.0000         -92.9287     63.03%
2637.91/2646.22	c      2646          80308       11579         1         -57.0000         -92.9287     63.03%
2643.59/2651.94	c      2652          80512       11605         1         -57.0000         -92.9273     63.03%
2648.69/2657.02	c      2657          80584       11617         1         -57.0000         -92.9270     63.03%
2653.87/2662.21	c      2662          80731       11642         1         -57.0000         -92.9261     63.03%
2659.34/2667.76	c      2668          80904       11651         1         -57.0000         -92.9258     63.03%
2665.82/2674.22	c      2674          80998       11667         1         -57.0000         -92.9247     63.03%
2671.51/2679.97	c      2680          81205       11694         1         -57.0000         -92.9239     63.02%
2677.19/2685.68	c      2686          81365       11730         1         -57.0000         -92.9227     63.02%
2682.48/2690.97	c      2691          81622       11755         1         -57.0000         -92.9211     63.02%
2687.96/2696.47	c      2696          81818       11779         1         -57.0000         -92.9203     63.02%
2693.44/2701.99	c      2702          82046       11803         1         -57.0000         -92.9191     63.02%
2698.83/2707.33	c      2707          82345       11826         1         -57.0000         -92.9184     63.01%
2705.00/2713.52	c      2714          82545       11838         1         -57.0000         -92.9170     63.01%
2710.38/2718.94	c      2719          82782       11853         1         -57.0000         -92.9147     63.01%
2716.08/2724.61	c      2725          82929       11860         1         -57.0000         -92.9147     63.01%
2721.06/2729.62	c      2730          83050       11879         1         -57.0000         -92.9140     63.01%
2726.04/2734.64	c      2735          83266       11895         1         -57.0000         -92.9131     63.01%
2731.12/2739.78	c      2740          83507       11922         1         -57.0000         -92.9106     63.00%
2736.81/2745.42	c      2745          83845       11948         1         -57.0000         -92.9090     63.00%
2742.19/2750.85	c      2751          83982       11965         1         -57.0000         -92.9073     63.00%
2747.48/2756.15	c      2756          84170       11971         1         -57.0000         -92.9072     63.00%
2752.96/2761.68	c      2762          84632       12003         1         -57.0000         -92.9064     62.99%
2758.64/2767.32	c      2767          84908       12057         1         -57.0000         -92.9042     62.99%
2764.43/2773.18	c      2773          85140       12103         1         -57.0000         -92.8991     62.98%
2770.11/2778.83	c      2779          85722       12141         1         -57.0000         -92.8981     62.98%
2775.30/2784.06	c      2784          86332       12183         1         -57.0000         -92.8939     62.97%
2780.67/2789.47	c      2789          86702       12233         1         -57.0000         -92.8922     62.97%
2786.76/2795.53	c      2796          87299       12288         1         -57.0000         -92.8906     62.97%
2792.24/2801.07	c      2801          88062       12329         1         -57.0000         -92.8892     62.96%
2797.82/2806.67	c      2807          88368       12361         1         -57.0000         -92.8882     62.96%
2802.82/2811.69	c      2812          88612       12387         1         -57.0000         -92.8863     62.96%
2809.00/2817.80	c      2818          88833       12410         1         -57.0000         -92.8862     62.96%
2814.08/2822.94	c      2823          89038       12419         1         -57.0000         -92.8858     62.96%
2819.56/2828.41	c      2828          89147       12436         1         -57.0000         -92.8838     62.95%
2824.64/2833.50	c      2834          89321       12476         1         -57.0000         -92.8830     62.95%
2829.73/2838.66	c      2839          89505       12498         1         -57.0000         -92.8810     62.95%
2835.51/2844.41	c      2844          89670       12521         1         -57.0000         -92.8803     62.95%
2840.89/2849.86	c      2850          89946       12555         1         -57.0000         -92.8800     62.95%
2847.09/2856.02	c      2856          90278       12591         1         -57.0000         -92.8794     62.95%
2852.17/2861.10	c      2861          90972       12627         1         -57.0000         -92.8776     62.94%
2857.64/2866.60	c      2867          91715       12650         1         -57.0000         -92.8775     62.94%
2863.23/2872.20	c      2872          92424       12663         1         -57.0000         -92.8773     62.94%
2868.21/2877.26	c      2877          93052       12715         1         -57.0000         -92.8738     62.94%
2873.50/2882.55	c      2883          93739       12774         1         -57.0000         -92.8710     62.93%
2878.69/2887.73	c      2888          94165       12802         1         -57.0000         -92.8686     62.93%
2883.87/2892.98	c      2893          94649       12832         1         -57.0000         -92.8652     62.92%
2889.15/2898.24	c      2898          95042       12877         1         -57.0000         -92.8616     62.92%
2894.73/2903.84	c      2904          95392       12921         1         -57.0000         -92.8585     62.91%
2899.82/2908.99	c      2909          96102       12971         1         -57.0000         -92.8565     62.91%
2905.10/2914.25	c      2914          96702       12999         1         -57.0000         -92.8546     62.90%
2910.29/2919.41	c      2919          96965       13032         1         -57.0000         -92.8534     62.90%
2915.78/2924.99	c      2925          97612       13069         1         -57.0000         -92.8509     62.90%
2920.86/2930.05	c      2930          98262       13089         1         -57.0000         -92.8506     62.90%
2926.04/2935.24	c      2935          98802       13137         1         -57.0000         -92.8480     62.89%
2931.03/2940.27	c      2940          99574       13171         1         -57.0000         -92.8469     62.89%
2936.61/2945.89	c      2946          99882       13211         1         -57.0000         -92.8458     62.89%
2941.99/2951.22	c      2951         100289       13262         1         -57.0000         -92.8430     62.88%
2946.97/2956.27	c      2956         100722       13295         1         -57.0000         -92.8416     62.88%
2952.76/2962.02	c      2962         101252       13343         1         -57.0000         -92.8370     62.87%
2958.14/2967.46	c      2967         101659       13396         1         -57.0000         -92.8342     62.87%
2963.22/2972.54	c      2973         102282       13451         1         -57.0000         -92.8311     62.86%
2968.82/2978.10	c      2978         102588       13481         1         -57.0000         -92.8292     62.86%
2974.10/2983.47	c      2983         102763       13508         1         -57.0000         -92.8277     62.86%
2979.38/2988.78	c      2989         103157       13554         1         -57.0000         -92.8255     62.85%
2984.77/2994.18	c      2994         103532       13595         1         -57.0000         -92.8229     62.85%
2989.85/2999.29	c      2999         104102       13639         1         -57.0000         -92.8214     62.84%
2995.63/3005.00	c      3005         104741       13686         1         -57.0000         -92.8193     62.84%
3000.71/3010.16	c      3010         105612       13725         1         -57.0000         -92.8156     62.83%
3006.00/3015.45	c      3015         106099       13766         1         -57.0000         -92.8140     62.83%
3011.87/3021.35	c      3021         106609       13834         1         -57.0000         -92.8096     62.82%
3016.97/3026.41	c      3026         107022       13899         1         -57.0000         -92.8059     62.82%
3022.05/3031.53	c      3032         107579       13952         1         -57.0000         -92.8049     62.82%
3027.34/3036.89	c      3037         107982       13991         1         -57.0000         -92.8019     62.81%
3032.82/3042.34	c      3042         108229       14022         1         -57.0000         -92.8014     62.81%
3038.61/3048.16	c      3048         108531       14044         1         -57.0000         -92.8007     62.81%
3043.69/3053.20	c      3053         108681       14064         1         -57.0000         -92.8000     62.81%
3048.77/3058.39	c      3058         108932       14099         1         -57.0000         -92.7983     62.80%
3054.65/3064.23	c      3064         109149       14158         1         -57.0000         -92.7967     62.80%
3059.74/3069.31	c      3069         109345       14184         1         -57.0000         -92.7967     62.80%
3065.62/3075.28	c      3075         109600       14211         1         -57.0000         -92.7962     62.80%
3071.90/3081.56	c      3082         109819       14250         1         -57.0000         -92.7957     62.80%
3077.49/3087.17	c      3087         109962       14277         1         -57.0000         -92.7945     62.80%
3082.96/3092.67	c      3093         110189       14304         1         -57.0000         -92.7944     62.80%
3088.75/3098.40	c      3098         110406       14329         1         -57.0000         -92.7927     62.79%
3093.84/3103.50	c      3104         110554       14355         1         -57.0000         -92.7918     62.79%
3099.92/3109.68	c      3110         110741       14372         1         -57.0000         -92.7909     62.79%
3105.20/3114.93	c      3115         110949       14390         1         -57.0000         -92.7901     62.79%
3110.78/3120.51	c      3121         111164       14419         1         -57.0000         -92.7897     62.79%
3116.76/3126.52	c      3127         111295       14448         1         -57.0000         -92.7886     62.79%
3122.05/3131.80	c      3132         111627       14458         1         -57.0000         -92.7885     62.79%
3127.93/3137.76	c      3138         111851       14474         1         -57.0000         -92.7875     62.79%
3133.41/3143.29	c      3143         112047       14498         1         -57.0000         -92.7857     62.78%
3139.20/3149.06	c      3149         112209       14520         1         -57.0000         -92.7845     62.78%
3144.38/3154.29	c      3154         112402       14533         1         -57.0000         -92.7837     62.78%
3149.57/3159.45	c      3159         112652       14547         1         -57.0000         -92.7834     62.78%
3155.44/3165.39	c      3165         112883       14564         1         -57.0000         -92.7834     62.78%
3160.93/3170.80	c      3171         113012       14577         1         -57.0000         -92.7832     62.78%
3166.91/3176.87	c      3177         113231       14594         1         -57.0000         -92.7824     62.78%
3172.20/3182.15	c      3182         113512       14635         1         -57.0000         -92.7806     62.77%
3177.98/3187.90	c      3188         113795       14662         1         -57.0000         -92.7788     62.77%
3183.56/3193.50	c      3194         114031       14686         1         -57.0000         -92.7775     62.77%
3189.54/3199.55	c      3200         114214       14695         1         -57.0000         -92.7773     62.77%
3195.32/3205.36	c      3205         114420       14709         1         -57.0000         -92.7764     62.77%
3201.41/3211.47	c      3211         114669       14736         1         -57.0000         -92.7756     62.76%
3206.59/3216.63	c      3217         115102       14779         1         -57.0000         -92.7732     62.76%
3211.57/3221.68	c      3222         115612       14845         1         -57.0000         -92.7717     62.76%
3216.66/3226.75	c      3227         115882       14891         1         -57.0000         -92.7698     62.75%
3221.65/3231.76	c      3232         116472       14947         1         -57.0000         -92.7665     62.75%
3227.53/3237.63	c      3238         117492       15003         1         -57.0000         -92.7641     62.74%
3233.51/3243.62	c      3244         118174       15035         1         -57.0000         -92.7631     62.74%
3238.49/3248.65	c      3249         118486       15073         1         -57.0000         -92.7621     62.74%
3243.78/3253.93	c      3254         118798       15083         1         -57.0000         -92.7616     62.74%
3248.97/3259.15	c      3259         118982       15107         1         -57.0000         -92.7592     62.74%
3254.04/3264.22	c      3264         119317       15124         1         -57.0000         -92.7583     62.73%
3259.43/3269.62	c      3270         119529       15128         1         -57.0000         -92.7570     62.73%
3264.52/3274.74	c      3275         119642       15155         1         -57.0000         -92.7556     62.73%
3269.50/3279.80	c      3280         120176       15201         1         -57.0000         -92.7538     62.73%
3275.48/3285.77	c      3286         120788       15235         1         -57.0000         -92.7508     62.72%
3281.16/3291.43	c      3291         121321       15286         1         -57.0000         -92.7470     62.71%
3286.35/3296.68	c      3297         122087       15322         1         -57.0000         -92.7456     62.71%
3292.13/3302.47	c      3302         122700       15359         1         -57.0000         -92.7445     62.71%
3297.32/3307.60	c      3308         123312       15401         1         -57.0000         -92.7425     62.71%
3302.71/3313.07	c      3313         123852       15443         1         -57.0000         -92.7414     62.70%
3308.38/3318.80	c      3319         124541       15478         1         -57.0000         -92.7394     62.70%
3313.77/3324.11	c      3324         125212       15523         1         -57.0000         -92.7359     62.69%
3319.25/3329.61	c      3330         125752       15577         1         -57.0000         -92.7331     62.69%
3324.93/3335.37	c      3335         126385       15624         1         -57.0000         -92.7314     62.69%
3330.02/3340.40	c      3340         127022       15673         1         -57.0000         -92.7288     62.68%
3335.31/3345.70	c      3346         127612       15713         1         -57.0000         -92.7277     62.68%
3340.49/3350.99	c      3351         128132       15735         1         -57.0000         -92.7250     62.68%
3346.27/3356.73	c      3357         128392       15747         1         -57.0000         -92.7245     62.67%
3352.45/3362.93	c      3363         128722       15797         1         -57.0000         -92.7228     62.67%
3358.74/3369.24	c      3369         128862       15819         1         -57.0000         -92.7218     62.67%
3364.12/3374.60	c      3375         128996       15829         1         -57.0000         -92.7213     62.67%
3369.40/3379.96	c      3380         129260       15857         1         -57.0000         -92.7208     62.67%
3374.69/3385.20	c      3385         129632       15895         1         -57.0000         -92.7192     62.67%
3379.87/3390.42	c      3390         129922       15927         1         -57.0000         -92.7169     62.66%
3385.95/3396.57	c      3397         130112       15957         1         -57.0000         -92.7164     62.66%
3391.93/3402.55	c      3403         130801       15998         1         -57.0000         -92.7150     62.66%
3397.21/3407.89	c      3408         131312       16047         1         -57.0000         -92.7130     62.65%
3402.30/3412.94	c      3413         131732       16073         1         -57.0000         -92.7118     62.65%
3408.49/3419.17	c      3419         132149       16126         1         -57.0000         -92.7097     62.65%
3413.57/3424.29	c      3424         132822       16165         1         -57.0000         -92.7086     62.65%
3418.95/3429.61	c      3430         133212       16215         1         -57.0000         -92.7066     62.64%
3424.63/3435.31	c      3435         133732       16263         1         -57.0000         -92.7055     62.64%
3429.72/3440.49	c      3440         134092       16313         1         -57.0000         -92.7025     62.64%
3435.00/3445.75	c      3446         134532       16379         1         -57.0000         -92.7005     62.63%
3440.58/3451.33	c      3451         135467       16418         1         -57.0000         -92.6990     62.63%
3445.57/3456.36	c      3456         135964       16445         1         -57.0000         -92.6986     62.63%
3450.56/3461.39	c      3461         136539       16494         1         -57.0000         -92.6972     62.63%
3456.24/3467.07	c      3467         137142       16549         1         -57.0000         -92.6959     62.62%
3461.32/3472.15	c      3472         137602       16615         1         -57.0000         -92.6938     62.62%
3466.81/3477.61	c      3478         138096       16663         1         -57.0000         -92.6920     62.62%
3472.79/3483.66	c      3484         138920       16711         1         -57.0000         -92.6901     62.61%
3478.28/3489.19	c      3489         139412       16765         1         -57.0000         -92.6875     62.61%
3484.26/3495.15	c      3495         140087       16810         1         -57.0000         -92.6859     62.61%
3489.64/3500.52	c      3501         140702       16835         1         -57.0000         -92.6850     62.61%
3496.02/3506.94	c      3507         141422       16885         1         -57.0000         -92.6839     62.60%
3501.91/3512.87	c      3513         142342       16945         1         -57.0000         -92.6827     62.60%
3506.99/3517.94	c      3518         143012       17003         1         -57.0000         -92.6793     62.60%
3512.18/3523.10	c      3523         143592       17053         1         -57.0000         -92.6773     62.59%
3517.96/3528.97	c      3529         144064       17103         1         -57.0000         -92.6758     62.59%
3523.74/3534.72	c      3535         144700       17159         1         -57.0000         -92.6735     62.59%
3529.23/3540.20	c      3540         145342       17249         1         -57.0000         -92.6701     62.58%
3535.11/3546.19	c      3546         146110       17313         1         -57.0000         -92.6687     62.58%
3540.29/3551.32	c      3551         146712       17381         1         -57.0000         -92.6632     62.57%
3545.98/3557.08	c      3557         147290       17435         1         -57.0000         -92.6607     62.56%
3551.75/3562.82	c      3563         148222       17471         1         -57.0000         -92.6602     62.56%
3556.75/3567.83	c      3568         148550       17505         1         -57.0000         -92.6596     62.56%
3562.63/3573.75	c      3574         149210       17581         1         -57.0000         -92.6580     62.56%
3567.71/3578.85	c      3579         149932       17643         1         -57.0000         -92.6538     62.55%
3573.19/3584.33	c      3584         150702       17715         1         -57.0000         -92.6513     62.55%
3578.68/3589.81	c      3590         151262       17777         1         -57.0000         -92.6493     62.54%
3583.66/3594.89	c      3595         151812       17841         1         -57.0000         -92.6479     62.54%
3588.85/3600.00	c      3600         152152       17895         0         -57.0000         -92.6470     62.54%
3589.35/3600.53	c SCIP Status        : c solving was interrupted [hard time limit reached]
3589.35/3600.53	c Total Time         : 3600.53
3589.35/3600.53	c   solving          : 3600.53
3589.35/3600.53	c   presolving       : 0.03 (included in solving)
3589.35/3600.53	c B&B Tree           :
3589.35/3600.53	c   nodes (total)    : 1
3589.35/3600.53	c Solution           :
3589.35/3600.53	c   Solutions found  : 7
3589.35/3600.53	c   Primal Bound     : -5.70000000000000e+01
3589.35/3600.53	c   Dual Bound       : -9.26470210149189e+01
3589.35/3600.53	c Gap                : 62.53863 %
3589.35/3600.53	c * Warning: final gap: 6.25386e-01 is greater than SCIPepsilon: 1.00000e-09
3589.35/3600.54	o -57
3589.35/3600.54	s SATISFIABLE
3589.35/3600.54	v -x337 -x271 -x243 -x325 -x375 -x334 -x247 -x395 -x360 -x303 -x396 -x330 x295 -x298 -x296 -x256 -x244 x394 -x313 -x328 -x326 -x258 
3589.35/3600.54	v -x377 x287 x227 -x249 -x251 -x289 -x263 -x381 -x308 -x302 -x286 -x388 -x226 -x348 -x354 -x364 -x230 -x301 x266 x314 x352 -x272 
3589.35/3600.54	v x365 -x223 -x312 x290 -x281 -x240 -x220 -x279 -x327 -x353 -x216 -x339 -x241 -x341 -x267 -x372 -x268 -x399 -x217 -x323 -x345 
3589.35/3600.54	v -x340 -x285 -x269 -x292 -x351 -x213 -x305 -x232 x333 -x382 -x342 -x306 -x336 x275 -x393 -x390 x273 -x233 -x284 -x212 -x347 
3589.35/3600.54	v -x283 x384 x355 -x239 -x215 -x319 x309 -x356 -x209 -x260 -x242 -x224 -x218 -x252 -x304 x282 -x277 -x254 x234 x386 -x207 x371 
3589.35/3600.54	v x288 -x311 x391 -x369 -x318 -x257 x317 -x206 x379 x359 x338 -x235 -x363 x349 -x324 x361 -x367 -x400 -x246 x205 x344 x321 -x293 
3589.35/3600.54	v -x259 -x208 x276 -x315 x357 x366 -x261 x307 -x329 x385 -x237 -x236 -x358 -x398 -x378 x253 -x397 -x362 x383 x387 x203 -x335 
3589.35/3600.54	v x310 -x274 -x270 x248 -x225 x204 -x214 x297 -x231 x211 -x392 x316 x370 -x373 -x202 x332 -x322 -x300 x280 -x245 x229 x219 x210 
3589.35/3600.54	v -x331 x368 x374 -x255 x250 x238 -x294 -x350 x380 -x343 -x201 -x264 -x222 -x221 -x228 -x346 -x278 -x265 -x299 x262 -x376 -x389 
3589.35/3600.54	v -x320 -x291 x200 x199 -x198 -x197 -x196 x195 -x194 x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 x182 x181 
3589.35/3600.54	v -x180 -x179 -x178 x177 x176 -x175 -x174 -x173 x172 -x171 -x170 x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 
3589.35/3600.54	v x158 -x157 -x156 -x155 x154 x153 -x152 -x151 x150 -x149 -x148 -x147 x146 x145 -x144 -x143 x142 x141 -x140 x139 -x138 -x137 
3589.35/3600.54	v x136 -x135 x134 -x133 -x132 x131 x130 -x129 -x128 x127 x126 x125 -x124 -x123 x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 
3589.35/3600.54	v -x114 x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
3589.35/3600.54	v x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 x78 -x77 -x76 -x75 -x74 -x73 x72 x71 -x70 x69 x68 -x67 -x66 x65 
3589.35/3600.54	v -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 x42 -x41 x40 -x39 
3589.35/3600.54	v -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 x22 x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 
3589.35/3600.54	v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1 

Verifier Data

OK	-57

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: 63931 MiB (49663 MiB free)
  memory of node 1: 64510 MiB (58019 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459971-1721943063/watcher-4459971-1721943063 -o /tmp/evaluation-result-4459971-1721943063/solver-4459971-1721943063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721943061-248738 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459971-1721943063.opb -qsol -t 3600 -sth 1 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=248905, runsolver pid=248902
Current StackSize limit: 8192 KiB


[startup+0.100926 s]*
/proc/loadavg: 1.12 1.13 1.18 5/267 248908
/proc/meminfo: memFree=110235680/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=124692 memory=39960 CPUtime=0.09 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 7401 0 0 0 8 1 0 0 20 0 3 0 30830443 127684608 9990 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 31173 9990 2910 3032 0 13545 0
[pid=248905/tid=248907] ppid=248902 vsize=124692 memory=4026561586 CPUtime=0.04 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 2502 0 0 0 4 0 0 0 20 0 3 0 30830448 127684608 9990 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=124692 memory=237146210664 CPUtime=0 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30830449 127684608 9990 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 124692 KiB
Current children cumulated memory: 39960 KiB

[startup+0.205928 s]*
/proc/loadavg: 1.12 1.13 1.18 5/267 248908
/proc/meminfo: memFree=110213504/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=133572 memory=56080 CPUtime=0.19 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 11441 0 0 0 18 1 0 0 20 0 3 0 30830443 136777728 14020 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 33393 14020 2910 3032 0 17557 0
[pid=248905/tid=248907] ppid=248902 vsize=133572 memory=4782652875487838339 CPUtime=0.14 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 6542 0 0 0 14 0 0 0 20 0 3 0 30830448 136777728 14020 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=133572 memory=1616758 CPUtime=0 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30830449 136777728 14020 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 133572 KiB
Current children cumulated memory: 56080 KiB

[startup+0.305926 s]*
/proc/loadavg: 1.12 1.13 1.18 5/267 248908
/proc/meminfo: memFree=110204180/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=134888 memory=58968 CPUtime=0.28 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 12535 0 0 0 27 1 0 0 20 0 3 0 30830443 138125312 14742 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 33722 14742 2910 3032 0 18293 0
[pid=248905/tid=248907] ppid=248902 vsize=134888 memory=-6728769726234934122 CPUtime=0.23 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 7636 0 0 0 23 0 0 0 20 0 3 0 30830448 138125312 14742 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=134888 memory=0 CPUtime=0 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30830449 138125312 14742 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 134888 KiB
Current children cumulated memory: 58968 KiB

[startup+0.700174 s]
/proc/loadavg: 1.12 1.13 1.18 5/267 248908
/proc/meminfo: memFree=110189924/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=146060 memory=72880 CPUtime=0.67 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 17286 0 0 0 65 2 0 0 20 0 3 0 30830443 149565440 18220 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 36515 18220 2910 3032 0 22329 0
[pid=248905/tid=248907] ppid=248902 vsize=146060 memory=0 CPUtime=0.62 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 12387 0 0 0 61 1 0 0 20 0 3 0 30830448 149565440 18220 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=146060 memory=0 CPUtime=0 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30830449 149565440 18220 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 146060 KiB
Current children cumulated memory: 72880 KiB

[startup+1.50018 s]
/proc/loadavg: 1.12 1.13 1.18 5/267 248908
/proc/meminfo: memFree=110159452/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=147492 memory=86476 CPUtime=1.47 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 27962 0 0 0 144 3 0 0 20 0 3 0 30830443 151031808 21619 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 36873 21619 2910 3032 0 25666 0
[pid=248905/tid=248907] ppid=248902 vsize=147492 memory=0 CPUtime=1.42 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 23063 0 0 0 140 2 0 0 20 0 3 0 30830448 151031808 21619 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=147492 memory=0 CPUtime=0 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30830449 151031808 21619 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 147492 KiB
Current children cumulated memory: 86476 KiB

[startup+3.10555 s]
/proc/loadavg: 1.35 1.18 1.20 5/267 248908
/proc/meminfo: memFree=110048164/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=212088 memory=117812 CPUtime=3.07 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 38537 0 0 0 302 5 0 0 20 0 3 0 30830443 217178112 29453 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 53022 29453 2910 3032 0 33725 0
[pid=248905/tid=248907] ppid=248902 vsize=212088 memory=0 CPUtime=3.02 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 33635 0 0 0 298 4 0 0 20 0 3 0 30830448 217178112 29453 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=212088 memory=3761078785205170165 CPUtime=0 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 30830449 217178112 29453 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 212088 KiB
Current children cumulated memory: 117812 KiB

[startup+6.30019 s]
/proc/loadavg: 1.35 1.18 1.20 5/267 248908
/proc/meminfo: memFree=109939168/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=212156 memory=162864 CPUtime=6.26 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 64343 0 0 0 618 8 0 0 20 0 3 0 30830443 217247744 40716 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 53039 40716 2910 3032 0 45328 0
[pid=248905/tid=248907] ppid=248902 vsize=212156 memory=0 CPUtime=6.2 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 59438 0 0 0 614 6 0 0 20 0 3 0 30830448 217247744 40716 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=212156 memory=11480 CPUtime=0 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 30830449 217247744 40716 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 212156 KiB
Current children cumulated memory: 162864 KiB

[startup+12.7002 s]
/proc/loadavg: 1.57 1.23 1.21 5/267 248910
/proc/meminfo: memFree=109867340/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=212288 memory=168392 CPUtime=12.64 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 94313 0 0 0 1254 10 0 0 20 0 3 0 30830443 217382912 42098 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 53072 42098 2910 3032 0 46714 0
[pid=248905/tid=248907] ppid=248902 vsize=212288 memory=11480 CPUtime=12.59 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 89397 0 0 0 1250 9 0 0 20 0 3 0 30830448 217382912 42098 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=212288 memory=61728 CPUtime=0 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 30830449 217382912 42098 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 212288 KiB
Current children cumulated memory: 168392 KiB

[startup+25.5002 s]
/proc/loadavg: 2.19 1.38 1.26 5/267 248911
/proc/meminfo: memFree=109805176/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=212364 memory=169588 CPUtime=25.4 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 108031 0 0 0 2529 11 0 0 20 0 3 0 30830443 217460736 42397 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 53091 42397 2958 3032 0 46891 0
[pid=248905/tid=248907] ppid=248902 vsize=212364 memory=169588 CPUtime=25.35 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 102935 0 0 0 2525 10 0 0 20 0 3 0 30830448 217460736 42397 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=212364 memory=11480 CPUtime=0 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 30830449 217460736 42397 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 212364 KiB
Current children cumulated memory: 169588 KiB

[startup+51.1056 s]
/proc/loadavg: 2.81 1.59 1.34 5/267 248916
/proc/meminfo: memFree=109733960/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=212364 memory=172664 CPUtime=50.93 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 132224 0 0 0 5080 13 0 0 20 0 3 0 30830443 217460736 43166 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 53091 43166 2958 3032 0 47651 0
[pid=248905/tid=248907] ppid=248902 vsize=212364 memory=11480 CPUtime=50.88 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 126867 0 0 0 5076 12 0 0 20 0 3 0 30830448 217460736 43166 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=212364 memory=169728 CPUtime=0 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 30830449 217460736 43166 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 212364 KiB
Current children cumulated memory: 172664 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 1.98 1.49 5/267 248926
/proc/meminfo: memFree=109578924/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=343436 memory=262704 CPUtime=101.96 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 230650 0 0 0 10174 22 0 0 20 0 3 0 30830443 351678464 65676 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 85859 65676 2974 3032 0 70139 0
[pid=248905/tid=248907] ppid=248902 vsize=343436 memory=249860 CPUtime=101.91 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 225048 0 0 0 10170 21 0 0 20 0 3 0 30830448 351678464 65676 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=343436 memory=11480 CPUtime=0 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 30830449 351678464 65676 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 343436 KiB
Current children cumulated memory: 262704 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 2.38 1.66 5/267 248937
/proc/meminfo: memFree=109551772/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=343436 memory=278784 CPUtime=161.77 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 256012 0 0 0 16153 24 0 0 20 0 3 0 30830443 351678464 69696 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 85859 69696 2974 3032 0 74434 0
[pid=248905/tid=248907] ppid=248902 vsize=343436 memory=278784 CPUtime=161.72 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 250275 0 0 0 16149 23 0 0 20 0 3 0 30830448 351678464 69696 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=343436 memory=61728 CPUtime=0 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 30830449 351678464 69696 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 343436 KiB

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

/proc/248905/statm: 200523 177048 2974 3032 0 181485 0
[pid=248905/tid=248907] ppid=248902 vsize=802092 memory=708192 CPUtime=3451.29 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 1479485 0 0 0 344971 158 0 0 20 0 3 0 30830448 821342208 177048 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=802092 memory=3474246141718654279 CPUtime=0.02 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 187 0 0 0 0 2 0 0 20 0 3 0 30830449 821342208 177048 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 3451.55 s
Current children cumulated vsize: 802092 KiB
Current children cumulated memory: 708192 KiB

[startup+3522.3 s]
/proc/loadavg: 3.15 3.25 3.17 4/256 251234
/proc/meminfo: memFree=109030392/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=802092 memory=708228 CPUtime=3511.38 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 1497048 0 0 0 350968 170 0 0 20 0 3 0 30830443 821342208 177057 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 200523 177057 2974 3032 0 181485 0
[pid=248905/tid=248907] ppid=248902 vsize=802092 memory=703280 CPUtime=3511.1 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 1490188 0 0 0 350951 159 0 0 20 0 3 0 30830448 821342208 177057 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=802092 memory=25868 CPUtime=0.02 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 189 0 0 0 0 2 0 0 20 0 3 0 30830449 821342208 177057 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 3511.38 s
Current children cumulated vsize: 802092 KiB
Current children cumulated memory: 708228 KiB

[startup+3582.3 s]
/proc/loadavg: 3.11 3.22 3.17 4/259 251304
/proc/meminfo: memFree=109027252/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=802092 memory=708264 CPUtime=3571.2 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 1509651 0 0 0 356948 172 0 0 20 0 3 0 30830443 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 200523 177066 2974 3032 0 181485 0
[pid=248905/tid=248907] ppid=248902 vsize=802092 memory=708264 CPUtime=3570.92 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 1502769 0 0 0 356931 161 0 0 20 0 3 0 30830448 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=802092 memory=708264 CPUtime=0.02 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 191 0 0 0 0 2 0 0 20 0 3 0 30830449 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 3571.2 s
Current children cumulated vsize: 802092 KiB
Current children cumulated memory: 708264 KiB

[startup+3600.55 s]
# the end of solver process 248905 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3587.67 s, system=1.73542 s

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

[startup+3584 s]*
/proc/loadavg: 3.10 3.21 3.17 4/259 251304
/proc/meminfo: memFree=109027220/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=802092 memory=708264 CPUtime=3572.9 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 1510516 0 0 0 357118 172 0 0 20 0 3 0 30830443 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 200523 177066 2974 3032 0 181485 0
[pid=248905/tid=248907] ppid=248902 vsize=802092 memory=6720662130125192807 CPUtime=3572.62 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 1503634 0 0 0 357101 161 0 0 20 0 3 0 30830448 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=802092 memory=-9054130140614608027 CPUtime=0.02 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 191 0 0 0 0 2 0 0 20 0 3 0 30830449 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 802092 KiB
Current children cumulated memory: 708264 KiB

[startup+3590.4 s]
/proc/loadavg: 3.09 3.21 3.17 4/259 251306
/proc/meminfo: memFree=109027096/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=802092 memory=708264 CPUtime=3579.28 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 1511824 0 0 0 357756 172 0 0 20 0 3 0 30830443 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 200523 177066 2974 3032 0 181485 0
[pid=248905/tid=248907] ppid=248902 vsize=802092 memory=12256 CPUtime=3579 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 1504934 0 0 0 357739 161 0 0 20 0 3 0 30830448 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=802092 memory=12256 CPUtime=0.02 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 191 0 0 0 0 2 0 0 20 0 3 0 30830449 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 3579.28 s
Current children cumulated vsize: 802092 KiB
Current children cumulated memory: 708264 KiB

[startup+3596.8 s]
/proc/loadavg: 3.08 3.20 3.17 4/259 251306
/proc/meminfo: memFree=109027120/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=802092 memory=708264 CPUtime=3585.66 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 1511879 0 0 0 358394 172 0 0 20 0 3 0 30830443 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 200523 177066 2974 3032 0 181485 0
[pid=248905/tid=248907] ppid=248902 vsize=802092 memory=12256 CPUtime=3585.39 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 1504989 0 0 0 358377 162 0 0 20 0 3 0 30830448 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=802092 memory=708264 CPUtime=0.02 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 191 0 0 0 0 2 0 0 20 0 3 0 30830449 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 3585.66 s
Current children cumulated vsize: 802092 KiB
Current children cumulated memory: 708264 KiB

[startup+3598.4 s]
/proc/loadavg: 3.16 3.22 3.17 4/259 251308
/proc/meminfo: memFree=109027092/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=802092 memory=708264 CPUtime=3587.25 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 1512025 0 0 0 358553 172 0 0 20 0 3 0 30830443 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 200523 177066 2974 3032 0 181485 0
[pid=248905/tid=248907] ppid=248902 vsize=802092 memory=708264 CPUtime=3586.98 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 1505135 0 0 0 358536 162 0 0 20 0 3 0 30830448 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=802092 memory=708264 CPUtime=0.02 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 191 0 0 0 0 2 0 0 20 0 3 0 30830449 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 3587.25 s
Current children cumulated vsize: 802092 KiB
Current children cumulated memory: 708264 KiB

[startup+3599.2 s]
/proc/loadavg: 3.16 3.22 3.17 4/257 251308
/proc/meminfo: memFree=109159384/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=802092 memory=708264 CPUtime=3588.05 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 1512028 0 0 0 358633 172 0 0 20 0 3 0 30830443 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 200523 177066 2974 3032 0 181485 0
[pid=248905/tid=248907] ppid=248902 vsize=802092 memory=61852 CPUtime=3587.78 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 1505138 0 0 0 358616 162 0 0 20 0 3 0 30830448 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=802092 memory=11480 CPUtime=0.02 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 191 0 0 0 0 2 0 0 20 0 3 0 30830449 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 3588.05 s
Current children cumulated vsize: 802092 KiB
Current children cumulated memory: 708264 KiB

[startup+3600 s]*
/proc/loadavg: 3.16 3.22 3.17 2/242 251371
/proc/meminfo: memFree=110014436/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=802092 memory=708264 CPUtime=3588.85 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 1512028 0 0 0 358713 172 0 0 20 0 3 0 30830443 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 200523 177066 2974 3032 0 181485 0
[pid=248905/tid=248907] ppid=248902 vsize=802092 memory=6720662130125192807 CPUtime=3588.58 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 1505138 0 0 0 358696 162 0 0 20 0 3 0 30830448 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=802092 memory=-7665546195823519101 CPUtime=0.02 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 191 0 0 0 0 2 0 0 20 0 3 0 30830449 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 3588.85 s
Current children cumulated vsize: 802092 KiB
Current children cumulated memory: 708264 KiB

[startup+3600.4 s]
/proc/loadavg: 3.16 3.22 3.17 2/242 251371
/proc/meminfo: memFree=110014436/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=802092 memory=708264 CPUtime=3589.25 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 1512822 0 0 0 358752 173 0 0 20 0 3 0 30830443 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 200523 177066 2974 3032 0 181485 0
[pid=248905/tid=248907] ppid=248902 vsize=802092 memory=708264 CPUtime=3588.97 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 1505931 0 0 0 358735 162 0 0 20 0 3 0 30830448 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=802092 memory=6720662130125192807 CPUtime=0.02 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 191 0 0 0 0 2 0 0 20 0 3 0 30830449 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 3589.25 s
Current children cumulated vsize: 802092 KiB
Current children cumulated memory: 708264 KiB

[startup+3600.5 s]
/proc/loadavg: 3.16 3.22 3.17 2/242 251371
/proc/meminfo: memFree=110014436/131524600 swapFree=131054736/131071996
[pid=248905] ppid=248902 vsize=802092 memory=708264 CPUtime=3589.35 cores=0,2
/proc/248905/stat : 248905 (fscip) S 248902 248905 246692 0 -1 1077936128 1512845 0 0 0 358762 173 0 0 20 0 3 0 30830443 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
/proc/248905/statm: 200523 177066 2974 3032 0 181485 0
[pid=248905/tid=248907] ppid=248902 vsize=802092 memory=708228 CPUtime=3589.07 cores=0,2
/proc/248905/task/248907/stat : 248907 (fscip) R 248902 248905 246692 0 -1 4194368 1505954 0 0 0 358745 162 0 0 20 0 3 0 30830448 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
[pid=248905/tid=248908] ppid=248902 vsize=802092 memory=708264 CPUtime=0.02 cores=0,2
/proc/248905/task/248908/stat : 248908 (fscip) S 248902 248905 246692 0 -1 1077936192 191 0 0 0 0 2 0 0 20 0 3 0 30830449 821342208 177066 134679101440 4194304 16613245 140720587607168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 46628864 140720587613204 140720587613320 140720587613320 140720587620336 0
Current children cumulated CPU time: 3589.35 s
Current children cumulated vsize: 802092 KiB
Current children cumulated memory: 708264 KiB

Child status: 0

Real time (s): 3600.55
CPU time (s): 3589.4
CPU user time (s): 3587.67
CPU system time (s): 1.73542
CPU usage (%): 99.6905
Max. virtual memory (cumulated for all children) (KiB): 802092
Max. memory (cumulated for all children) (KiB): 708264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.67
system time used= 1.73542
maximum resident set size= 708264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1513201
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= 11973
involuntary context switches= 25106


# summary of solver processes directly reported to runsolver:
#   pid: 248905
#   total CPU time (s): 3589.4
#   total CPU user time (s): 3587.67
#   total CPU system time (s): 1.73542

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70226 second user time and 16.2178 second system time

The end

Launcher Data

Begin job on nodeC034 at 2024-07-25 23:31:03
IDJOB=4459971
IDBENCH=148699
IDSOLVER=3064
FILE ID=nodeC034/4459971-1721943063
RUNJOBID= nodeC034-1721943061-248738
SLURM_JOB_ID= 8247254
Free space on /tmp= 890000 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_2.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459971-1721943063/watcher-4459971-1721943063 -o /tmp/evaluation-result-4459971-1721943063/solver-4459971-1721943063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721943061-248738 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4459971-1721943063.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 2ee40362659bac8ce3ae96da1e16af6a
RANDOM SEED=1022309866

nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3664.267
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3686.156
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
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		: 3670.262
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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.398
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
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		: 3668.204
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3686.134
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
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.465
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.247
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        110271132 kB
MemAvailable:   129329484 kB
Buffers:          332884 kB
Cached:         19484456 kB
SwapCached:          112 kB
Active:          1822644 kB
Inactive:       18714908 kB
Active(anon):       1936 kB
Inactive(anon):   760852 kB
Active(file):    1820708 kB
Inactive(file): 17954056 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054736 kB
Dirty:            114124 kB
Writeback:             0 kB
AnonPages:        719468 kB
Mapped:           129380 kB
Shmem:             42580 kB
KReclaimable:     246472 kB
Slab:             362468 kB
SReclaimable:     246472 kB
SUnreclaim:       115996 kB
KernelStack:        4304 kB
PageTables:        10864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     907888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            15552 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      357076 kB
DirectMap2M:    48699392 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC034 at 2024-07-26 00:31:03