Trace number 4448150

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02? 3592.02 3604.99

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
MD5SUMab4f361084eaa55350d5ce36089ad752
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark79.3495
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables701
Total number of constraints2802
Number of constraints which are clauses2802
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.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.03	c Default LC presolving (default).
0.00/0.03	c ** Before presolving: virtualMemUsedAtLc = 28295168, getVmSize() = 28295168, SCIPgetMemUsed() = 5086954, SCIPgetMemTotal() = 6568202, SCIPgetMemExternEstim() = 3364460
0.00/0.03	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.09	c ** Estimated virtualMemUsedAtSolver = 21766144, getVmSize() = 37003264, SCIPgetMemUsed() = 9166304, SCIPgetMemTotal() = 14185200, SCIPgetMemExternEstim() = 3364460
0.00/0.09	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.09	c Original Problem   :
0.00/0.09	c   Problem name     : instance-4448150-1721363843
0.00/0.09	c   Variables        : 701 (701 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.09	c   Constraints      : 2802
0.00/0.09	c   Objective sense  : minimize
0.00/0.09	c Presolved Problem  :
0.00/0.09	c   Variables        : 700 (700 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.09	c   Constraints      : 1400
0.00/0.09	c Constraints        : Number
0.00/0.09	c   linear           : 1400 
0.00/0.09	c ** Instance transfer method used: 0
0.00/0.10	c ** ParaScipInstance copy does not increase the number of variables. **
0.10/0.12	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.12	c                                Nodes    Active                                            
0.10/0.12	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
5.16/5.26	c         5           1829        1361         1                -           0.0000          -
10.24/10.34	c        10           5967        3790         1                -           0.0000          -
15.23/15.39	c        15          11642        6501         1                -           0.0000          -
20.31/20.43	c        20          18593        9438         1                -           0.0000          -
25.30/25.48	c        25          26476       12700         1                -           0.0000          -
30.38/30.53	c        31          34421       16168         1                -           0.0000          -
35.36/35.58	c        36          42039       19778         1                -           0.0000          -
40.44/40.63	c        41          49853       22704         1                -           0.0000          -
45.43/45.68	c        46          57555       25697         1                -           0.0000          -
50.51/50.73	c        51          65309       28428         1                -           0.0000          -
55.59/55.81	c        56          72870       31134         1                -           0.0000          -
60.58/60.86	c        61          80680       33584         1                -           0.0000          -
65.66/65.91	c        66          88318       36567         1                -           0.0000          -
70.64/70.96	c        71          96270       39782         1                -           0.0000          -
75.72/76.01	c        76         104099       41618         1                -           0.0000          -
80.71/81.06	c        81         110118       43616         1                -           0.0000          -
85.79/86.12	c        86         115555       47005         1                -           0.0000          -
90.77/91.17	c        91         121285       51798         1                -           0.0000          -
95.84/96.22	c        96         126904       56538         1                -           0.0000          -
100.82/101.27	c       101         133076       61432         1                -           0.0000          -
105.90/106.32	c       106         139302       66331         1                -           0.0000          -
110.88/111.37	c       111         145903       71265         1                -           0.0000          -
115.95/116.42	c       116         152583       76113         1                -           0.0000          -
120.94/121.47	c       121         159076       81053         1                -           0.0000          -
126.02/126.52	c       127         165757       85875         1                -           0.0000          -
130.99/131.57	c       132         172304       90561         1                -           0.0000          -
136.07/136.62	c       137         179485       95616         1                -           0.0000          -
141.05/141.67	c       142         186428      100450         1                -           0.0000          -
146.13/146.72	c       147         193254      105284         1                -           0.0000          -
151.10/151.77	c       152         199819      110118         1                -           0.0000          -
156.19/156.82	c       157         206794      114597         1                -           0.0000          -
161.17/161.87	c       162         213644      118938         1                -           0.0000          -
166.25/166.92	c       167         220652      123354         1                -           0.0000          -
171.22/171.97	c       172         227758      127634         1                -           0.0000          -
176.31/177.02	c       177         234302      132209         1                -           0.0000          -
181.30/182.07	c       182         240865      136835         1                -           0.0000          -
186.37/187.12	c       187         247665      141252         1                -           0.0000          -
191.36/192.17	c       192         254622      145649         1                -           0.0000          -
196.43/197.22	c       197         261357      149510         1                -           0.0000          -
201.41/202.27	c       202         268151      153592         1                -           0.0000          -
206.50/207.32	c       207         274856      157538         1                -           0.0000          -
211.48/212.37	c       212         281625      162076         1                -           0.0000          -
216.56/217.42	c       217         288216      166573         1                -           0.0000          -
221.54/222.47	c       222         295265      170717         1                -           0.0000          -
226.61/227.52	c       228         302317      174908         1                -           0.0000          -
231.60/232.57	c       233         309344      179057         1                -           0.0000          -
236.68/237.62	c       238         316544      183550         1                -           0.0000          -
241.67/242.67	c       243         323399      187720         1                -           0.0000          -
246.75/247.72	c       248         330358      191757         1                -           0.0000          -
251.73/252.77	c       253         338292      195658         1                -           0.0000          -
256.81/257.82	c       258         345071      199818         1                -           0.0000          -
261.79/262.87	c       263         352128      203735         1                -           0.0000          -
266.87/267.92	c       268         359097      208159         1                -           0.0000          -
271.86/272.97	c       273         365842      212453         1                -           0.0000          -
276.94/278.02	c       278         372820      216772         1                -           0.0000          -
281.93/283.07	c       283         379843      221008         1                -           0.0000          -
287.00/288.12	c       288         386793      225397         1                -           0.0000          -
291.98/293.17	c       293         393850      229386         1                -           0.0000          -
297.06/298.22	c       298         400867      233453         1                -           0.0000          -
302.03/303.27	c       303         407708      237705         1                -           0.0000          -
307.11/308.32	c       308         415091      242404         1                -           0.0000          -
312.09/313.37	c       313         422134      246420         1                -           0.0000          -
317.18/318.42	c       318         429200      250747         1                -           0.0000          -
322.15/323.47	c       323         436373      254963         1                -           0.0000          -
327.24/328.52	c       329         443369      259122         1                -           0.0000          -
332.21/333.57	c       334         450260      263749         1                -           0.0000          -
337.30/338.62	c       339         457063      268101         1                -           0.0000          -
342.28/343.67	c       344         464152      272341         1                -           0.0000          -
347.36/348.72	c       349         470995      276968         1                -           0.0000          -
352.34/353.77	c       354         477960      280950         1                -           0.0000          -
357.42/358.82	c       359         484914      285334         1                -           0.0000          -
362.40/363.87	c       364         491941      289597         1                -           0.0000          -
367.49/368.92	c       369         499242      293246         1                -           0.0000          -
372.46/373.97	c       374         506320      297298         1                -           0.0000          -
377.55/379.02	c       379         513044      301666         1                -           0.0000          -
382.54/384.07	c       384         520290      306094         1                -           0.0000          -
387.62/389.12	c       389         527925      309800         1                -           0.0000          -
392.60/394.17	c       394         534990      313997         1                -           0.0000          -
397.66/399.22	c       399         541978      318094         1                -           0.0000          -
402.63/404.27	c       404         548970      322074         1                -           0.0000          -
407.72/409.32	c       409         556074      326185         1                -           0.0000          -
412.69/414.37	c       414         563203      330203         1                -           0.0000          -
417.78/419.42	c       419         570410      334318         1                -           0.0000          -
422.75/424.47	c       424         577473      338518         1                -           0.0000          -
427.84/429.52	c       430         584647      343122         1                -           0.0000          -
432.82/434.57	c       435         592608      348314         1                -           0.0000          -
437.90/439.62	c       440         600289      353328         1                -           0.0000          -
442.88/444.67	c       445         607950      356961         1                -           0.0000          -
447.96/449.72	c       450         615731      360758         1                -           0.0000          -
452.95/454.77	c       455         623181      364623         1                -           0.0000          -
458.03/459.82	c       460         630438      368732         1                -           0.0000          -
463.01/464.87	c       465         637553      372732         1                -           0.0000          -
468.10/469.92	c       470         644851      376753         1                -           0.0000          -
473.08/474.97	c       475         651871      380983         1                -           0.0000          -
478.17/480.02	c       480         658978      384919         1                -           0.0000          -
483.14/485.07	c       485         665976      388845         1                -           0.0000          -
488.23/490.12	c       490         673263      392543         1                -           0.0000          -
493.22/495.17	c       495         679673      396787         1                -           0.0000          -
498.29/500.22	c       500         686644      401526         1                -           0.0000          -
503.27/505.27	c       505         693444      406252         1                -           0.0000          -
508.35/510.32	c       510         700398      410849         1                -           0.0000          -
513.34/515.36	c       515         707387      415680         1                -           0.0000          -
518.42/520.41	c       520         714595      420259         1                -           0.0000          -
523.40/525.46	c       525         721808      424622         1                -           0.0000          -
528.49/530.51	c       531         728621      428978         1                -           0.0000          -
533.47/535.56	c       536         735621      433320         1                -           0.0000          -
538.55/540.61	c       541         742932      437081         1                -           0.0000          -
543.54/545.66	c       546         750011      441465         1                -           0.0000          -
548.62/550.71	c       551         757509      445122         1                -           0.0000          -
553.60/555.76	c       556         764368      449535         1                -           0.0000          -
558.68/560.81	c       561         771454      453976         1                -           0.0000          -
563.66/565.86	c       566         778767      457814         1                -           0.0000          -
568.75/570.91	c       571         785999      461961         1                -           0.0000          -
573.73/575.96	c       576         793531      465879         1                -           0.0000          -
578.71/581.01	c       581         800851      469681         1                -           0.0000          -
583.80/586.07	c       586         807986      473517         1                -           0.0000          -
588.78/591.11	c       591         815823      476699         1                -           0.0000          -
593.87/596.16	c       596         823117      480711         1                -           0.0000          -
598.94/601.21	c       601         830209      484863         1                -           0.0000          -
603.92/606.26	c       606         837417      488643         1                -           0.0000          -
609.01/611.31	c       611         844768      492140         1                -           0.0000          -
613.99/616.36	c       616         852067      496134         1                -           0.0000          -
619.07/621.41	c       621         859419      500062         1                -           0.0000          -
624.05/626.46	c       626         866482      503913         1                -           0.0000          -
629.14/631.51	c       632         873685      508157         1                -           0.0000          -
634.12/636.56	c       637         881344      511496         1                -           0.0000          -
639.21/641.61	c       642         888964      515228         1                -           0.0000          -
644.19/646.66	c       647         896248      518859         1                -           0.0000          -
649.27/651.71	c       652         903373      522804         1                -           0.0000          -
654.25/656.76	c       657         910665      526466         1                -           0.0000          -
659.34/661.81	c       662         917991      530086         1                -           0.0000          -
664.32/666.86	c       667         925221      533434         1                -           0.0000          -
669.40/671.91	c       672         932424      537093         1                -           0.0000          -
674.39/676.96	c       677         939273      541398         1                -           0.0000          -
679.37/682.01	c       682         946690      545357         1                -           0.0000          -
684.46/687.06	c       687         954046      549007         1                -           0.0000          -
689.44/692.11	c       692         961092      552868         1                -           0.0000          -
694.53/697.16	c       697         968793      556351         1                -           0.0000          -
699.60/702.21	c       702         975742      559802         1                -           0.0000          -
704.58/707.26	c       707         983461      563076         1                -           0.0000          -
709.67/712.31	c       712         991722      566564         1                -           0.0000          -
714.65/717.36	c       717         999137      569696         1                -           0.0000          -
719.73/722.41	c       722        1006394      574022         1                -           0.0000          -
724.71/727.46	c       727        1013643      577985         1                -           0.0000          -
729.80/732.51	c       733        1020856      581959         1                -           0.0000          -
734.78/737.56	c       738        1028019      585809         1                -           0.0000          -
739.86/742.61	c       743        1035300      589309         1                -           0.0000          -
744.85/747.66	c       748        1042608      592901         1                -           0.0000          -
749.93/752.71	c       753        1049782      596497         1                -           0.0000          -
754.91/757.76	c       758        1056886      600824         1                -           0.0000          -
760.00/762.81	c       763        1063861      605156         1                -           0.0000          -
764.98/767.86	c       768        1070935      609528         1                -           0.0000          -
770.07/772.91	c       773        1077934      613740         1                -           0.0000          -
775.05/777.96	c       778        1084951      617771         1                -           0.0000          -
780.13/783.01	c       783        1092306      621472         1                -           0.0000          -
785.12/788.06	c       788        1099531      625012         1                -           0.0000          -
790.09/793.11	c       793        1106823      629031         1                -           0.0000          -
795.18/798.16	c       798        1114033      633149         1                -           0.0000          -
800.25/803.21	c       803        1121138      637307         1                -           0.0000          -
805.23/808.26	c       808        1128363      640975         1                -           0.0000          -
810.32/813.31	c       813        1135526      644505         1                -           0.0000          -
815.30/818.36	c       818        1142889      648167         1                -           0.0000          -
820.38/823.41	c       823        1150229      651969         1                -           0.0000          -
825.37/828.46	c       828        1157938      655279         1                -           0.0000          -
830.45/833.51	c       834        1165510      658869         1                -           0.0000          -
835.44/838.56	c       839        1172971      662069         1                -           0.0000          -
840.52/843.61	c       844        1180495      665133         1                -           0.0000          -
845.50/848.67	c       849        1188176      668780         1                -           0.0000          -
850.58/853.72	c       854        1196039      672134         1                -           0.0000          -
855.57/858.77	c       859        1203661      675565         1                -           0.0000          -
860.65/863.82	c       864        1211454      678542         1                -           0.0000          -
865.63/868.87	c       869        1219000      682083         1                -           0.0000          -
870.72/873.92	c       874        1226201      685817         1                -           0.0000          -
875.70/878.97	c       879        1233539      689214         1                -           0.0000          -
880.80/884.02	c       884        1240952      692769         1                -           0.0000          -
885.78/889.07	c       889        1248147      696249         1                -           0.0000          -
890.86/894.12	c       894        1255486      699981         1                -           0.0000          -
895.85/899.17	c       899        1262852      703709         1                -           0.0000          -
900.91/904.22	c       904        1270168      707209         1                -           0.0000          -
905.90/909.27	c       909        1277929      710496         1                -           0.0000          -
910.98/914.32	c       914        1285299      714297         1                -           0.0000          -
915.97/919.37	c       919        1292613      717741         1                -           0.0000          -
921.05/924.42	c       924        1299900      721420         1                -           0.0000          -
926.03/929.47	c       929        1307529      724603         1                -           0.0000          -
931.12/934.52	c       935        1314938      727752         1                -           0.0000          -
936.10/939.57	c       940        1322244      731540         1                -           0.0000          -
941.18/944.62	c       945        1329828      734658         1                -           0.0000          -
946.16/949.67	c       950        1337792      737600         1                -           0.0000          -
951.25/954.72	c       955        1345113      740551         1                -           0.0000          -
956.23/959.77	c       960        1353700      743510         1                -           0.0000          -
961.31/964.82	c       965        1361786      746843         1                -           0.0000          -
966.30/969.87	c       970        1369189      750098         1                -           0.0000          -
971.39/974.92	c       975        1376791      752982         1                -           0.0000          -
976.36/979.97	c       980        1384379      756184         1                -           0.0000          -
981.45/985.02	c       985        1391743      759543         1                -           0.0000          -
986.43/990.08	c       990        1399257      762824         1                -           0.0000          -
991.51/995.13	c       995        1407097      766789         1                -           0.0000          -
996.51/1000.18	c      1000        1414719      769673         1                -           0.0000          -
1001.58/1005.23	c      1005        1422112      772988         1                -           0.0000          -
1006.55/1010.28	c      1010        1428720      777364         1                -           0.0000          -
1011.64/1015.33	c      1015        1436040      781604         1                -           0.0000          -
1016.62/1020.38	c      1020        1443220      785643         1                -           0.0000          -
1021.71/1025.43	c      1025        1450102      789524         1                -           0.0000          -
1026.69/1030.48	c      1030        1457099      793523         1                -           0.0000          -
1031.77/1035.53	c      1036        1464200      797569         1                -           0.0000          -
1036.75/1040.58	c      1041        1471217      801696         1                -           0.0000          -
1041.84/1045.63	c      1046        1478375      805581         1                -           0.0000          -
1046.82/1050.68	c      1051        1485542      809369         1                -           0.0000          -
1051.90/1055.73	c      1056        1492723      813208         1                -           0.0000          -
1056.88/1060.78	c      1061        1499985      816737         1                -           0.0000          -
1061.96/1065.84	c      1066        1507311      819672         1                -           0.0000          -
1066.93/1070.89	c      1071        1514740      822651         1                -           0.0000          -
1072.01/1075.94	c      1076        1522489      825591         1                -           0.0000          -
1076.99/1080.99	c      1081        1530785      828194         1                -           0.0000          -
1082.08/1086.04	c      1086        1538260      830950         1                -           0.0000          -
1087.06/1091.09	c      1091        1545508      834326         1                -           0.0000          -
1092.14/1096.14	c      1096        1552886      838014         1                -           0.0000          -
1097.13/1101.19	c      1101        1560108      841341         1                -           0.0000          -
1102.19/1106.24	c      1106        1567991      844084         1                -           0.0000          -
1107.18/1111.29	c      1111        1575474      847330         1                -           0.0000          -
1112.26/1116.34	c      1116        1583819      850654         1                -           0.0000          -
1117.34/1121.40	c      1121        1591930      852709         1                -           0.0000          -
1122.33/1126.46	c      1126        1599376      856080         1                -           0.0000          -
1127.41/1131.51	c      1132        1606844      859920         1                -           0.0000          -
1132.39/1136.57	c      1137        1614106      863575         1                -           0.0000          -
1137.48/1141.62	c      1142        1621039      867688         1                -           0.0000          -
1142.45/1146.67	c      1147        1628332      871330         1                -           0.0000          -
1147.53/1151.72	c      1152        1635758      874608         1                -           0.0000          -
1152.52/1156.77	c      1157        1642703      878733         1                -           0.0000          -
1157.59/1161.82	c      1162        1649583      882722         1                -           0.0000          -
1162.58/1166.87	c      1167        1656648      886669         1                -           0.0000          -
1167.65/1171.92	c      1172        1663743      890946         1                -           0.0000          -
1172.63/1176.97	c      1177        1670827      895017         1                -           0.0000          -
1177.72/1182.02	c      1182        1677986      898835         1                -           0.0000          -
1182.70/1187.07	c      1187        1685332      902261         1                -           0.0000          -
1187.78/1192.12	c      1192        1693010      905166         1                -           0.0000          -
1192.77/1197.17	c      1197        1700578      908559         1                -           0.0000          -
1197.84/1202.22	c      1202        1708303      911366         1                -           0.0000          -
1202.82/1207.27	c      1207        1715704      914618         1                -           0.0000          -
1207.90/1212.32	c      1212        1723199      917875         1                -           0.0000          -
1212.89/1217.37	c      1217        1730540      921219         1                -           0.0000          -
1217.97/1222.42	c      1222        1738188      924584         1                -           0.0000          -
1222.96/1227.47	c      1227        1745605      927849         1                -           0.0000          -
1228.03/1232.52	c      1233        1752862      931692         1                -           0.0000          -
1233.02/1237.57	c      1238        1760232      934869         1                -           0.0000          -
1238.10/1242.62	c      1243        1767948      938093         1                -           0.0000          -
1243.08/1247.67	c      1248        1775261      941073         1                -           0.0000          -
1248.17/1252.72	c      1253        1782866      944411         1                -           0.0000          -
1253.15/1257.77	c      1258        1790317      947680         1                -           0.0000          -
1258.24/1262.82	c      1263        1797900      950880         1                -           0.0000          -
1263.22/1267.88	c      1268        1805315      954133         1                -           0.0000          -
1268.30/1272.92	c      1273        1812453      957951         1                -           0.0000          -
1273.28/1277.97	c      1278        1820104      960946         1                -           0.0000          -
1278.37/1283.02	c      1283        1827205      963808         1                -           0.0000          -
1283.36/1288.07	c      1288        1834700      967246         1                -           0.0000          -
1288.44/1293.12	c      1293        1841902      970573         1                -           0.0000          -
1293.42/1298.17	c      1298        1848888      974121         1                -           0.0000          -
1298.49/1303.22	c      1303        1855938      978326         1                -           0.0000          -
1303.48/1308.27	c      1308        1862907      982607         1                -           0.0000          -
1308.56/1313.32	c      1313        1869655      986910         1                -           0.0000          -
1313.55/1318.37	c      1318        1876656      991347         1                -           0.0000          -
1318.62/1323.42	c      1323        1883682      995552         1                -           0.0000          -
1323.61/1328.47	c      1328        1890683      999583         1                -           0.0000          -
1328.69/1333.52	c      1334        1897739     1003808         1                -           0.0000          -
1333.67/1338.57	c      1339        1904808     1007674         1                -           0.0000          -
1338.76/1343.63	c      1344        1911886     1011461         1                -           0.0000          -
1343.74/1348.68	c      1349        1919028     1015215         1                -           0.0000          -
1348.83/1353.73	c      1354        1926090     1019351         1                -           0.0000          -
1353.81/1358.78	c      1359        1933137     1022943         1                -           0.0000          -
1358.89/1363.83	c      1364        1940269     1026843         1                -           0.0000          -
1363.88/1368.88	c      1369        1947343     1030681         1                -           0.0000          -
1368.96/1373.93	c      1374        1954140     1034608         1                -           0.0000          -
1373.94/1378.98	c      1379        1961238     1038600         1                -           0.0000          -
1379.04/1384.03	c      1384        1968371     1042370         1                -           0.0000          -
1384.02/1389.08	c      1389        1975459     1045950         1                -           0.0000          -
1389.11/1394.13	c      1394        1982296     1049662         1                -           0.0000          -
1394.09/1399.18	c      1399        1989229     1053994         1                -           0.0000          -
1399.16/1404.23	c      1404        1996604     1057431         1                -           0.0000          -
1404.14/1409.28	c      1409        2003858     1060820         1                -           0.0000          -
1409.22/1414.33	c      1414        2011143     1063985         1                -           0.0000          -
1414.21/1419.38	c      1419        2018544     1067355         1                -           0.0000          -
1419.29/1424.43	c      1424        2026036     1070392         1                -           0.0000          -
1424.28/1429.48	c      1429        2033614     1073634         1                -           0.0000          -
1429.36/1434.53	c      1435        2041217     1076783         1                -           0.0000          -
1434.34/1439.58	c      1440        2048680     1080102         1                -           0.0000          -
1439.42/1444.63	c      1445        2056116     1083639         1                -           0.0000          -
1444.40/1449.68	c      1450        2063603     1087221         1                -           0.0000          -
1449.48/1454.73	c      1455        2070963     1090453         1                -           0.0000          -
1454.47/1459.78	c      1460        2078360     1093964         1                -           0.0000          -
1459.56/1464.83	c      1465        2085899     1097235         1                -           0.0000          -
1464.54/1469.88	c      1470        2093371     1100532         1                -           0.0000          -
1469.62/1474.93	c      1475        2101037     1104131         1                -           0.0000          -
1474.61/1479.98	c      1480        2108767     1107382         1                -           0.0000          -
1479.69/1485.03	c      1485        2116461     1110362         1                -           0.0000          -
1484.67/1490.08	c      1490        2123762     1113995         1                -           0.0000          -
1489.75/1495.13	c      1495        2131278     1117460         1                -           0.0000          -
1494.74/1500.18	c      1500        2138819     1120735         1                -           0.0000          -
1499.81/1505.23	c      1505        2146118     1124466         1                -           0.0000          -
1504.80/1510.28	c      1510        2153603     1127598         1                -           0.0000          -
1509.88/1515.33	c      1515        2161066     1130568         1                -           0.0000          -
1514.86/1520.38	c      1520        2168414     1134029         1                -           0.0000          -
1519.94/1525.43	c      1525        2175770     1137456         1                -           0.0000          -
1524.92/1530.48	c      1530        2183343     1140364         1                -           0.0000          -
1530.01/1535.53	c      1536        2190681     1143519         1                -           0.0000          -
1534.99/1540.58	c      1541        2197915     1146636         1                -           0.0000          -
1540.07/1545.63	c      1546        2205493     1149831         1                -           0.0000          -
1545.06/1550.68	c      1551        2212923     1152787         1                -           0.0000          -
1550.14/1555.73	c      1556        2220217     1156114         1                -           0.0000          -
1555.12/1560.78	c      1561        2227910     1159452         1                -           0.0000          -
1560.21/1565.83	c      1566        2235171     1163279         1                -           0.0000          -
1565.19/1570.88	c      1571        2242551     1166547         1                -           0.0000          -
1570.27/1575.94	c      1576        2249540     1170945         1                -           0.0000          -
1575.26/1580.99	c      1581        2256617     1174999         1                -           0.0000          -
1580.35/1586.04	c      1586        2263674     1179002         1                -           0.0000          -
1585.33/1591.09	c      1591        2270915     1182976         1                -           0.0000          -
1590.42/1596.14	c      1596        2277901     1186723         1                -           0.0000          -
1595.40/1601.19	c      1601        2284949     1190671         1                -           0.0000          -
1600.47/1606.24	c      1606        2291876     1194810         1                -           0.0000          -
1605.45/1611.29	c      1611        2298792     1198825         1                -           0.0000          -
1610.54/1616.34	c      1616        2305858     1202896         1                -           0.0000          -
1615.52/1621.39	c      1621        2312992     1207005         1                -           0.0000          -
1620.61/1626.44	c      1626        2320063     1210846         1                -           0.0000          -
1625.59/1631.49	c      1631        2327116     1214469         1                -           0.0000          -
1630.68/1636.54	c      1637        2334164     1218268         1                -           0.0000          -
1635.66/1641.59	c      1642        2341291     1221800         1                -           0.0000          -
1640.74/1646.64	c      1647        2348544     1225176         1                -           0.0000          -
1645.72/1651.69	c      1652        2355938     1228389         1                -           0.0000          -
1650.80/1656.74	c      1657        2363173     1231550         1                -           0.0000          -
1655.88/1661.80	c      1662        2370500     1234924         1                -           0.0000          -
1660.87/1666.85	c      1667        2377474     1238796         1                -           0.0000          -
1665.95/1671.90	c      1672        2384840     1241933         1                -           0.0000          -
1670.94/1676.95	c      1677        2391933     1245544         1                -           0.0000          -
1675.92/1682.01	c      1682        2399080     1249055         1                -           0.0000          -
1681.01/1687.06	c      1687        2405892     1253246         1                -           0.0000          -
1685.99/1692.11	c      1692        2412785     1257416         1                -           0.0000          -
1691.08/1697.16	c      1697        2419714     1261865         1                -           0.0000          -
1696.14/1702.21	c      1702        2426743     1265593         1                -           0.0000          -
1701.13/1707.26	c      1707        2433632     1269397         1                -           0.0000          -
1706.21/1712.31	c      1712        2440758     1272368         1                -           0.0000          -
1711.19/1717.36	c      1717        2448112     1275857         1                -           0.0000          -
1716.28/1722.41	c      1722        2455386     1278968         1                -           0.0000          -
1721.26/1727.46	c      1727        2463033     1282365         1                -           0.0000          -
1726.34/1732.51	c      1733        2470396     1285402         1                -           0.0000          -
1731.33/1737.56	c      1738        2477869     1288850         1                -           0.0000          -
1736.40/1742.61	c      1743        2485151     1291553         1                -           0.0000          -
1741.39/1747.66	c      1748        2492356     1295005         1                -           0.0000          -
1746.46/1752.71	c      1753        2499786     1298080         1                -           0.0000          -
1751.44/1757.76	c      1758        2507064     1301462         1                -           0.0000          -
1756.52/1762.81	c      1763        2514406     1304937         1                -           0.0000          -
1761.50/1767.86	c      1768        2521685     1308009         1                -           0.0000          -
1766.58/1772.91	c      1773        2529058     1311159         1                -           0.0000          -
1771.56/1777.96	c      1778        2536322     1314552         1                -           0.0000          -
1776.53/1783.01	c      1783        2543522     1317983         1                -           0.0000          -
1781.62/1788.06	c      1788        2550619     1321143         1                -           0.0000          -
1786.61/1793.11	c      1793        2558380     1324147         1                -           0.0000          -
1791.69/1798.16	c      1798        2565621     1326676         1                -           0.0000          -
1796.76/1803.21	c      1803        2573552     1330204         1                -           0.0000          -
1801.74/1808.26	c      1808        2580920     1333147         1                -           0.0000          -
1806.83/1813.31	c      1813        2588552     1336406         1                -           0.0000          -
1811.81/1818.36	c      1818        2595607     1339844         1                -           0.0000          -
1816.89/1823.41	c      1823        2602665     1343735         1                -           0.0000          -
1821.87/1828.46	c      1828        2610084     1346673         1                -           0.0000          -
1826.96/1833.51	c      1834        2617341     1349755         1                -           0.0000          -
1831.94/1838.56	c      1839        2624907     1352400         1                -           0.0000          -
1837.03/1843.61	c      1844        2632411     1355388         1                -           0.0000          -
1842.01/1848.66	c      1849        2639703     1358412         1                -           0.0000          -
1847.09/1853.71	c      1854        2647202     1361312         1                -           0.0000          -
1852.07/1858.76	c      1859        2654589     1364286         1                -           0.0000          -
1857.16/1863.81	c      1864        2662022     1367745         1                -           0.0000          -
1862.14/1868.86	c      1869        2669082     1371598         1                -           0.0000          -
1867.22/1873.91	c      1874        2676268     1374936         1                -           0.0000          -
1872.20/1878.96	c      1879        2683643     1377673         1                -           0.0000          -
1877.18/1884.01	c      1884        2690812     1380975         1                -           0.0000          -
1882.27/1889.06	c      1889        2697952     1383976         1                -           0.0000          -
1887.36/1894.11	c      1894        2705311     1387141         1                -           0.0000          -
1892.34/1899.16	c      1899        2712771     1390231         1                -           0.0000          -
1897.40/1904.21	c      1904        2720145     1393369         1                -           0.0000          -
1902.39/1909.26	c      1909        2727632     1396206         1                -           0.0000          -
1907.47/1914.31	c      1914        2734929     1399542         1                -           0.0000          -
1912.45/1919.36	c      1919        2742472     1403112         1                -           0.0000          -
1917.53/1924.41	c      1924        2749906     1406023         1                -           0.0000          -
1922.51/1929.46	c      1929        2757162     1409413         1                -           0.0000          -
1927.58/1934.51	c      1935        2764381     1413130         1                -           0.0000          -
1932.56/1939.56	c      1940        2771681     1415720         1                -           0.0000          -
1937.65/1944.61	c      1945        2779377     1419315         1                -           0.0000          -
1942.63/1949.66	c      1950        2787261     1422595         1                -           0.0000          -
1947.70/1954.71	c      1955        2794715     1426261         1                -           0.0000          -
1952.68/1959.76	c      1960        2802904     1428933         1                -           0.0000          -
1957.76/1964.81	c      1965        2811074     1431487         1                -           0.0000          -
1962.74/1969.86	c      1970        2819033     1433236         1                -           0.0000          -
1967.82/1974.91	c      1975        2826376     1435776         1                -           0.0000          -
1972.80/1979.96	c      1980        2833871     1438726         1                -           0.0000          -
1977.77/1985.01	c      1985        2840984     1441543         1                -           0.0000          -
1982.86/1990.06	c      1990        2848618     1444567         1                -           0.0000          -
1987.84/1995.11	c      1995        2855767     1447348         1                -           0.0000          -
1992.93/2000.16	c      2000        2862869     1450381         1                -           0.0000          -
1998.00/2005.21	c      2005        2870090     1453236         1                -           0.0000          -
2002.99/2010.26	c      2010        2877599     1456210         1                -           0.0000          -
2008.07/2015.31	c      2015        2885002     1459195         1                -           0.0000          -
2013.05/2020.36	c      2020        2892591     1461590         1                -           0.0000          -
2018.13/2025.41	c      2025        2899665     1464846         1                -           0.0000          -
2023.12/2030.46	c      2030        2906742     1468618         1                -           0.0000          -
2028.20/2035.51	c      2036        2913917     1471769         1                -           0.0000          -
2033.17/2040.56	c      2041        2921233     1475063         1                -           0.0000          -
2038.26/2045.61	c      2046        2928690     1477818         1                -           0.0000          -
2043.23/2050.65	c      2051        2935953     1481635         1                -           0.0000          -
2048.32/2055.70	c      2056        2943225     1484727         1                -           0.0000          -
2053.29/2060.75	c      2061        2950878     1487492         1                -           0.0000          -
2058.37/2065.80	c      2066        2958189     1490832         1                -           0.0000          -
2063.35/2070.85	c      2071        2966161     1494817         1                -           0.0000          -
2068.43/2075.90	c      2076        2973811     1498253         1                -           0.0000          -
2073.41/2080.95	c      2081        2981505     1501173         1                -           0.0000          -
2078.39/2086.01	c      2086        2988901     1504219         1                -           0.0000          -
2083.47/2091.05	c      2091        2996025     1507987         1                -           0.0000          -
2088.46/2096.10	c      2096        3003267     1511684         1                -           0.0000          -
2093.53/2101.15	c      2101        3011102     1514327         1                -           0.0000          -
2098.60/2106.20	c      2106        3018157     1517259         1                -           0.0000          -
2103.58/2111.25	c      2111        3025247     1520544         1                -           0.0000          -
2108.66/2116.30	c      2116        3032472     1523672         1                -           0.0000          -
2113.65/2121.35	c      2121        3039819     1526555         1                -           0.0000          -
2118.74/2126.40	c      2126        3047344     1529865         1                -           0.0000          -
2123.71/2131.47	c      2131        3054557     1532810         1                -           0.0000          -
2128.79/2136.52	c      2137        3061832     1536339         1                -           0.0000          -
2133.78/2141.57	c      2142        3069220     1539525         1                -           0.0000          -
2138.85/2146.62	c      2147        3076523     1542612         1                -           0.0000          -
2143.84/2151.67	c      2152        3083757     1545692         1                -           0.0000          -
2148.91/2156.72	c      2157        3091135     1548764         1                -           0.0000          -
2153.90/2161.77	c      2162        3098700     1551688         1                -           0.0000          -
2158.97/2166.82	c      2167        3105908     1554409         1                -           0.0000          -
2163.96/2171.87	c      2172        3112971     1557509         1                -           0.0000          -
2169.04/2176.92	c      2177        3120042     1561163         1                -           0.0000          -
2174.02/2181.97	c      2182        3127167     1564255         1                -           0.0000          -
2179.11/2187.02	c      2187        3134421     1567641         1                -           0.0000          -
2184.09/2192.07	c      2192        3141731     1570469         1                -           0.0000          -
2189.18/2197.12	c      2197        3149167     1573460         1                -           0.0000          -
2194.16/2202.17	c      2202        3156600     1576557         1                -           0.0000          -
2199.23/2207.22	c      2207        3163759     1579694         1                -           0.0000          -
2204.21/2212.27	c      2212        3171196     1582992         1                -           0.0000          -
2209.29/2217.32	c      2217        3178450     1585955         1                -           0.0000          -
2214.28/2222.37	c      2222        3185992     1588471         1                -           0.0000          -
2219.36/2227.42	c      2227        3193196     1591745         1                -           0.0000          -
2224.35/2232.47	c      2232        3200597     1594892         1                -           0.0000          -
2229.42/2237.52	c      2238        3208010     1597802         1                -           0.0000          -
2234.40/2242.57	c      2243        3215335     1601032         1                -           0.0000          -
2239.49/2247.62	c      2248        3222521     1604955         1                -           0.0000          -
2244.47/2252.67	c      2253        3229728     1608732         1                -           0.0000          -
2249.55/2257.72	c      2258        3237041     1612431         1                -           0.0000          -
2254.54/2262.77	c      2263        3244142     1615950         1                -           0.0000          -
2259.62/2267.82	c      2268        3251291     1619900         1                -           0.0000          -
2264.60/2272.87	c      2273        3258488     1623590         1                -           0.0000          -
2269.68/2277.92	c      2278        3265676     1626876         1                -           0.0000          -
2274.67/2282.97	c      2283        3272873     1630190         1                -           0.0000          -
2279.75/2288.02	c      2288        3280084     1633550         1                -           0.0000          -
2284.73/2293.07	c      2293        3287341     1636757         1                -           0.0000          -
2289.81/2298.12	c      2298        3294751     1639709         1                -           0.0000          -
2294.80/2303.17	c      2303        3301729     1642716         1                -           0.0000          -
2299.86/2308.23	c      2308        3309157     1645775         1                -           0.0000          -
2304.85/2313.28	c      2313        3316524     1648860         1                -           0.0000          -
2309.93/2318.33	c      2318        3323838     1651782         1                -           0.0000          -
2314.91/2323.38	c      2323        3330964     1655059         1                -           0.0000          -
2319.99/2328.43	c      2328        3338465     1658370         1                -           0.0000          -
2324.98/2333.48	c      2333        3345590     1661342         1                -           0.0000          -
2330.06/2338.53	c      2339        3352838     1664853         1                -           0.0000          -
2335.04/2343.58	c      2344        3360214     1667816         1                -           0.0000          -
2340.12/2348.63	c      2349        3367763     1670561         1                -           0.0000          -
2345.11/2353.68	c      2354        3374936     1673619         1                -           0.0000          -
2350.18/2358.73	c      2359        3382221     1677060         1                -           0.0000          -
2355.18/2363.78	c      2364        3389505     1680052         1                -           0.0000          -
2360.26/2368.83	c      2369        3396610     1683314         1                -           0.0000          -
2365.23/2373.88	c      2374        3403792     1686460         1                -           0.0000          -
2370.32/2378.93	c      2379        3410901     1689622         1                -           0.0000          -
2375.31/2383.98	c      2384        3417901     1693293         1                -           0.0000          -
2380.39/2389.03	c      2389        3424925     1696626         1                -           0.0000          -
2385.37/2394.08	c      2394        3432463     1699407         1                -           0.0000          -
2390.46/2399.13	c      2399        3439776     1702132         1                -           0.0000          -
2395.44/2404.18	c      2404        3446744     1705509         1                -           0.0000          -
2400.51/2409.23	c      2409        3453920     1708460         1                -           0.0000          -
2405.49/2414.28	c      2414        3461215     1711409         1                -           0.0000          -
2410.58/2419.33	c      2419        3468972     1714294         1                -           0.0000          -
2415.55/2424.38	c      2424        3476186     1717581         1                -           0.0000          -
2420.64/2429.43	c      2429        3483542     1720895         1                -           0.0000          -
2425.62/2434.48	c      2434        3491156     1724010         1                -           0.0000          -
2430.70/2439.53	c      2440        3499332     1726328         1                -           0.0000          -
2435.69/2444.58	c      2445        3507173     1729805         1                -           0.0000          -
2440.77/2449.63	c      2450        3515249     1733666         1                -           0.0000          -
2445.75/2454.68	c      2455        3523205     1736983         1                -           0.0000          -
2450.83/2459.73	c      2460        3530785     1740162         1                -           0.0000          -
2455.81/2464.79	c      2465        3538280     1742801         1                -           0.0000          -
2460.90/2469.84	c      2470        3545554     1745808         1                -           0.0000          -
2465.88/2474.89	c      2475        3552655     1749361         1                -           0.0000          -
2470.96/2479.94	c      2480        3559891     1752212         1                -           0.0000          -
2475.94/2484.99	c      2485        3567419     1755086         1                -           0.0000          -
2481.03/2490.04	c      2490        3574883     1757961         1                -           0.0000          -
2486.01/2495.09	c      2495        3582687     1761263         1                -           0.0000          -
2491.10/2500.14	c      2500        3590561     1764949         1                -           0.0000          -
2496.08/2505.19	c      2505        3598284     1768389         1                -           0.0000          -
2501.15/2510.24	c      2510        3605879     1771431         1                -           0.0000          -
2506.13/2515.29	c      2515        3613660     1775272         1                -           0.0000          -
2511.21/2520.34	c      2520        3621582     1778612         1                -           0.0000          -
2516.19/2525.39	c      2525        3629280     1781626         1                -           0.0000          -
2521.28/2530.44	c      2530        3636946     1785172         1                -           0.0000          -
2526.27/2535.49	c      2535        3644563     1788562         1                -           0.0000          -
2531.34/2540.54	c      2541        3652320     1791635         1                -           0.0000          -
2536.32/2545.59	c      2546        3660033     1794677         1                -           0.0000          -
2541.41/2550.64	c      2551        3667386     1797688         1                -           0.0000          -
2546.39/2555.69	c      2556        3674657     1800695         1                -           0.0000          -
2551.47/2560.74	c      2561        3682262     1803086         1                -           0.0000          -
2556.46/2565.79	c      2566        3689098     1806039         1                -           0.0000          -
2561.54/2570.84	c      2571        3696226     1808847         1                -           0.0000          -
2566.53/2575.89	c      2576        3703318     1811866         1                -           0.0000          -
2571.60/2580.94	c      2581        3710342     1815156         1                -           0.0000          -
2576.59/2585.99	c      2586        3717741     1817997         1                -           0.0000          -
2581.67/2591.04	c      2591        3725133     1820594         1                -           0.0000          -
2586.66/2596.09	c      2596        3732562     1823379         1                -           0.0000          -
2591.74/2601.14	c      2601        3740060     1826265         1                -           0.0000          -
2596.73/2606.19	c      2606        3747191     1829203         1                -           0.0000          -
2601.79/2611.24	c      2611        3754274     1832590         1                -           0.0000          -
2606.77/2616.29	c      2616        3761450     1835495         1                -           0.0000          -
2611.85/2621.34	c      2621        3769265     1837868         1                -           0.0000          -
2616.83/2626.40	c      2626        3777141     1840351         1                -           0.0000          -
2621.91/2631.44	c      2631        3784339     1842961         1                -           0.0000          -
2626.89/2636.49	c      2636        3791905     1845707         1                -           0.0000          -
2631.96/2641.54	c      2642        3798951     1849350         1                -           0.0000          -
2636.95/2646.59	c      2647        3806016     1852931         1                -           0.0000          -
2642.03/2651.64	c      2652        3813051     1856500         1                -           0.0000          -
2647.00/2656.69	c      2657        3820546     1860363         1                -           0.0000          -
2652.09/2661.74	c      2662        3827834     1863488         1                -           0.0000          -
2657.07/2666.79	c      2667        3834948     1866876         1                -           0.0000          -
2662.15/2671.84	c      2672        3842247     1870372         1                -           0.0000          -
2667.14/2676.89	c      2677        3849611     1873494         1                -           0.0000          -
2672.22/2681.94	c      2682        3856747     1876571         1                -           0.0000          -
2677.20/2686.99	c      2687        3864836     1879210         1                -           0.0000          -
2682.28/2692.04	c      2692        3872912     1881123         1                -           0.0000          -
2687.27/2697.09	c      2697        3880166     1883667         1                -           0.0000          -
2692.35/2702.14	c      2702        3887156     1887210         1                -           0.0000          -
2697.33/2707.19	c      2707        3894672     1890228         1                -           0.0000          -
2702.40/2712.24	c      2712        3901055     1893481         1                -           0.0000          -
2707.39/2717.29	c      2717        3908320     1896199         1                -           0.0000          -
2712.46/2722.34	c      2722        3915516     1899594         1                -           0.0000          -
2717.44/2727.39	c      2727        3922756     1902866         1                -           0.0000          -
2722.53/2732.44	c      2732        3929740     1905799         1                -           0.0000          -
2727.50/2737.49	c      2737        3937001     1908792         1                -           0.0000          -
2732.59/2742.54	c      2743        3944013     1912657         1                -           0.0000          -
2737.57/2747.59	c      2748        3951250     1916504         1                -           0.0000          -
2742.66/2752.64	c      2753        3958478     1919389         1                -           0.0000          -
2747.64/2757.69	c      2758        3965620     1922719         1                -           0.0000          -
2752.72/2762.74	c      2763        3973134     1925234         1                -           0.0000          -
2757.70/2767.79	c      2768        3980527     1928120         1                -           0.0000          -
2762.79/2772.84	c      2773        3987604     1930828         1                -           0.0000          -
2767.77/2777.89	c      2778        3994794     1933932         1                -           0.0000          -
2772.85/2782.94	c      2783        4002089     1937142         1                -           0.0000          -
2777.83/2787.99	c      2788        4009241     1939630         1                -           0.0000          -
2782.93/2793.04	c      2793        4016483     1942684         1                -           0.0000          -
2787.90/2798.09	c      2798        4023805     1945779         1                -           0.0000          -
2792.98/2803.14	c      2803        4031344     1948614         1                -           0.0000          -
2797.97/2808.19	c      2808        4038631     1951866         1                -           0.0000          -
2803.04/2813.24	c      2813        4046294     1954385         1                -           0.0000          -
2808.03/2818.29	c      2818        4053370     1957726         1                -           0.0000          -
2813.10/2823.34	c      2823        4060786     1960937         1                -           0.0000          -
2818.09/2828.39	c      2828        4068181     1963984         1                -           0.0000          -
2823.17/2833.44	c      2833        4075401     1966932         1                -           0.0000          -
2828.16/2838.49	c      2838        4082877     1970116         1                -           0.0000          -
2833.24/2843.54	c      2844        4089965     1973416         1                -           0.0000          -
2838.23/2848.59	c      2849        4097279     1976428         1                -           0.0000          -
2843.30/2853.64	c      2854        4104416     1979511         1                -           0.0000          -
2848.28/2858.69	c      2859        4111881     1982291         1                -           0.0000          -
2853.37/2863.74	c      2864        4119038     1985735         1                -           0.0000          -
2858.35/2868.79	c      2869        4126065     1988581         1                -           0.0000          -
2863.43/2873.85	c      2874        4133272     1991809         1                -           0.0000          -
2868.41/2878.89	c      2879        4140470     1995237         1                -           0.0000          -
2873.49/2883.94	c      2884        4147938     1997719         1                -           0.0000          -
2878.48/2888.99	c      2889        4155072     2000960         1                -           0.0000          -
2883.57/2894.04	c      2894        4162053     2003904         1                -           0.0000          -
2888.55/2899.09	c      2899        4169154     2007036         1                -           0.0000          -
2893.62/2904.14	c      2904        4176521     2010406         1                -           0.0000          -
2898.61/2909.19	c      2909        4183944     2013749         1                -           0.0000          -
2903.68/2914.24	c      2914        4191190     2016821         1                -           0.0000          -
2908.67/2919.29	c      2919        4198262     2020001         1                -           0.0000          -
2913.75/2924.34	c      2924        4205591     2023024         1                -           0.0000          -
2918.73/2929.39	c      2929        4212654     2026113         1                -           0.0000          -
2923.81/2934.44	c      2934        4220340     2028556         1                -           0.0000          -
2928.79/2939.49	c      2939        4227503     2031584         1                -           0.0000          -
2933.87/2944.54	c      2945        4234845     2034502         1                -           0.0000          -
2938.86/2949.59	c      2950        4242178     2037285         1                -           0.0000          -
2943.94/2954.64	c      2955        4249283     2040475         1                -           0.0000          -
2948.92/2959.69	c      2960        4256491     2043829         1                -           0.0000          -
2954.00/2964.74	c      2965        4263559     2047263         1                -           0.0000          -
2958.98/2969.79	c      2970        4270818     2050295         1                -           0.0000          -
2964.06/2974.84	c      2975        4278019     2053385         1                -           0.0000          -
2969.05/2979.89	c      2980        4284995     2056570         1                -           0.0000          -
2974.13/2984.94	c      2985        4292451     2059558         1                -           0.0000          -
2979.12/2989.99	c      2990        4299806     2062245         1                -           0.0000          -
2984.20/2995.04	c      2995        4306958     2065336         1                -           0.0000          -
2989.19/3000.09	c      3000        4314337     2068474         1                -           0.0000          -
2994.27/3005.14	c      3005        4321921     2070939         1                -           0.0000          -
2999.24/3010.19	c      3010        4329364     2073975         1                -           0.0000          -
3004.31/3015.24	c      3015        4336335     2076924         1                -           0.0000          -
3009.30/3020.29	c      3020        4343195     2081322         1                -           0.0000          -
3014.38/3025.34	c      3025        4350192     2085329         1                -           0.0000          -
3019.36/3030.39	c      3030        4357084     2089534         1                -           0.0000          -
3024.44/3035.44	c      3035        4363801     2093692         1                -           0.0000          -
3029.42/3040.49	c      3040        4370502     2097878         1                -           0.0000          -
3034.51/3045.54	c      3046        4377537     2101850         1                -           0.0000          -
3039.49/3050.59	c      3051        4384377     2105610         1                -           0.0000          -
3044.57/3055.64	c      3056        4391236     2109469         1                -           0.0000          -
3049.56/3060.69	c      3061        4398119     2113330         1                -           0.0000          -
3054.64/3065.74	c      3066        4405143     2117279         1                -           0.0000          -
3059.62/3070.79	c      3071        4412222     2120804         1                -           0.0000          -
3064.71/3075.84	c      3076        4419061     2124529         1                -           0.0000          -
3069.69/3080.89	c      3081        4426093     2128243         1                -           0.0000          -
3074.77/3085.94	c      3086        4433217     2131866         1                -           0.0000          -
3079.75/3090.99	c      3091        4440033     2135384         1                -           0.0000          -
3084.84/3096.04	c      3096        4446732     2138231         1                -           0.0000          -
3089.82/3101.09	c      3101        4453636     2142087         1                -           0.0000          -
3094.90/3106.14	c      3106        4460518     2145359         1                -           0.0000          -
3099.97/3111.20	c      3111        4467174     2148971         1                -           0.0000          -
3104.96/3116.24	c      3116        4474050     2152305         1                -           0.0000          -
3109.94/3121.29	c      3121        4480779     2156035         1                -           0.0000          -
3115.02/3126.34	c      3126        4487721     2159267         1                -           0.0000          -
3120.00/3131.39	c      3131        4494497     2162535         1                -           0.0000          -
3125.09/3136.44	c      3136        4501345     2165990         1                -           0.0000          -
3130.07/3141.49	c      3141        4508087     2169179         1                -           0.0000          -
3135.16/3146.54	c      3147        4514835     2172320         1                -           0.0000          -
3140.14/3151.59	c      3152        4521520     2175832         1                -           0.0000          -
3145.22/3156.64	c      3157        4528133     2179201         1                -           0.0000          -
3150.20/3161.69	c      3162        4534753     2182066         1                -           0.0000          -
3155.29/3166.74	c      3167        4541408     2185198         1                -           0.0000          -
3160.27/3171.79	c      3172        4548000     2188949         1                -           0.0000          -
3165.36/3176.84	c      3177        4554701     2192375         1                -           0.0000          -
3170.34/3181.89	c      3182        4561689     2195760         1                -           0.0000          -
3175.42/3186.94	c      3187        4568478     2199201         1                -           0.0000          -
3180.40/3191.99	c      3192        4575162     2202357         1                -           0.0000          -
3185.49/3197.04	c      3197        4581639     2205473         1                -           0.0000          -
3190.47/3202.09	c      3202        4588369     2208794         1                -           0.0000          -
3195.56/3207.14	c      3207        4595382     2212067         1                -           0.0000          -
3200.54/3212.19	c      3212        4603182     2215787         1                -           0.0000          -
3205.60/3217.24	c      3217        4610589     2218908         1                -           0.0000          -
3210.59/3222.29	c      3222        4617692     2221951         1                -           0.0000          -
3215.67/3227.34	c      3227        4624833     2224991         1                -           0.0000          -
3220.65/3232.39	c      3232        4631883     2228006         1                -           0.0000          -
3225.74/3237.44	c      3237        4639045     2230678         1                -           0.0000          -
3230.72/3242.49	c      3242        4646633     2234036         1                -           0.0000          -
3235.80/3247.54	c      3248        4654597     2236433         1                -           0.0000          -
3240.78/3252.59	c      3253        4661860     2239186         1                -           0.0000          -
3245.86/3257.64	c      3258        4668824     2242376         1                -           0.0000          -
3250.84/3262.69	c      3263        4675813     2245892         1                -           0.0000          -
3255.92/3267.74	c      3268        4682451     2249948         1                -           0.0000          -
3260.90/3272.79	c      3273        4689152     2254003         1                -           0.0000          -
3265.98/3277.84	c      3278        4695990     2258142         1                -           0.0000          -
3270.96/3282.89	c      3283        4702897     2261970         1                -           0.0000          -
3276.04/3287.94	c      3288        4709721     2265584         1                -           0.0000          -
3281.02/3292.99	c      3293        4716541     2269175         1                -           0.0000          -
3286.11/3298.04	c      3298        4723606     2272491         1                -           0.0000          -
3291.09/3303.09	c      3303        4730561     2276320         1                -           0.0000          -
3296.17/3308.14	c      3308        4737636     2279574         1                -           0.0000          -
3301.15/3313.19	c      3313        4744620     2282507         1                -           0.0000          -
3306.22/3318.24	c      3318        4751506     2286172         1                -           0.0000          -
3311.30/3323.31	c      3323        4758437     2289454         1                -           0.0000          -
3316.29/3328.36	c      3328        4765071     2292297         1                -           0.0000          -
3321.37/3333.41	c      3333        4771998     2295799         1                -           0.0000          -
3326.36/3338.46	c      3338        4778967     2299112         1                -           0.0000          -
3331.43/3343.51	c      3344        4785683     2302510         1                -           0.0000          -
3336.42/3348.56	c      3349        4793314     2305794         1                -           0.0000          -
3341.50/3353.61	c      3354        4800499     2308694         1                -           0.0000          -
3346.48/3358.66	c      3359        4807521     2311427         1                -           0.0000          -
3351.56/3363.71	c      3364        4814739     2313788         1                -           0.0000          -
3356.55/3368.76	c      3369        4822051     2316953         1                -           0.0000          -
3361.63/3373.81	c      3374        4829469     2320031         1                -           0.0000          -
3366.61/3378.86	c      3379        4836676     2322625         1                -           0.0000          -
3371.70/3383.91	c      3384        4843835     2325663         1                -           0.0000          -
3376.68/3388.96	c      3389        4851031     2328335         1                -           0.0000          -
3381.66/3394.01	c      3394        4858014     2331364         1                -           0.0000          -
3386.75/3399.06	c      3399        4865260     2334345         1                -           0.0000          -
3391.74/3404.11	c      3404        4872354     2337553         1                -           0.0000          -
3396.82/3409.16	c      3409        4879532     2340351         1                -           0.0000          -
3401.88/3414.21	c      3414        4886689     2343064         1                -           0.0000          -
3406.87/3419.26	c      3419        4893741     2346109         1                -           0.0000          -
3411.95/3424.31	c      3424        4900904     2349685         1                -           0.0000          -
3416.93/3429.36	c      3429        4907937     2353527         1                -           0.0000          -
3422.02/3434.41	c      3434        4914959     2356755         1                -           0.0000          -
3427.00/3439.46	c      3439        4922013     2359425         1                -           0.0000          -
3432.09/3444.51	c      3445        4928791     2362910         1                -           0.0000          -
3437.06/3449.56	c      3450        4935860     2366396         1                -           0.0000          -
3442.15/3454.61	c      3455        4943048     2369948         1                -           0.0000          -
3447.14/3459.66	c      3460        4949967     2372518         1                -           0.0000          -
3452.22/3464.71	c      3465        4956899     2375685         1                -           0.0000          -
3457.20/3469.76	c      3470        4963848     2378912         1                -           0.0000          -
3462.28/3474.81	c      3475        4970904     2382579         1                -           0.0000          -
3467.26/3479.86	c      3480        4977874     2385554         1                -           0.0000          -
3472.35/3484.91	c      3485        4984925     2388812         1                -           0.0000          -
3477.33/3489.96	c      3490        4992128     2391657         1                -           0.0000          -
3482.31/3495.01	c      3495        4999189     2395308         1                -           0.0000          -
3487.41/3500.06	c      3500        5006555     2398348         1                -           0.0000          -
3492.39/3505.11	c      3505        5013667     2401817         1                -           0.0000          -
3497.47/3510.16	c      3510        5020675     2405302         1                -           0.0000          -
3502.54/3515.21	c      3515        5027744     2408352         1                -           0.0000          -
3507.52/3520.26	c      3520        5034788     2411739         1                -           0.0000          -
3512.61/3525.31	c      3525        5041950     2414391         1                -           0.0000          -
3517.59/3530.36	c      3530        5049484     2416986         1                -           0.0000          -
3522.67/3535.41	c      3535        5056503     2419987         1                -           0.0000          -
3527.66/3540.46	c      3540        5064269     2423493         1                -           0.0000          -
3532.74/3545.51	c      3546        5072073     2426747         1                -           0.0000          -
3537.72/3550.56	c      3551        5080006     2430013         1                -           0.0000          -
3542.80/3555.61	c      3556        5087343     2432473         1                -           0.0000          -
3547.79/3560.66	c      3561        5094146     2435355         1                -           0.0000          -
3552.87/3565.71	c      3566        5101575     2438242         1                -           0.0000          -
3557.85/3570.76	c      3571        5108698     2440514         1                -           0.0000          -
3562.94/3575.81	c      3576        5115653     2443346         1                -           0.0000          -
3567.92/3580.86	c      3581        5122796     2446335         1                -           0.0000          -
3573.00/3585.91	c      3586        5129970     2449126         1                -           0.0000          -
3577.99/3590.96	c      3591        5137145     2452662         1                -           0.0000          -
3582.96/3596.01	c      3596        5144092     2455594         1                -           0.0000          -
3591.84/3604.88	c SCIP Status        : c solving was interrupted [hard time limit reached]
3591.84/3604.88	c Total Time         : 3604.8600
3591.84/3604.88	c   solving          : 3604.8600
3591.84/3604.88	c   presolving       : 0.0604 (included in solving)
3591.84/3604.88	c B&B Tree           :
3591.84/3604.88	c   nodes (total)    : 1
3591.84/3604.88	c Solution           :
3591.84/3604.88	c   Solutions found  : 0
3591.84/3604.88	c   Primal Bound     :          -
3591.84/3604.88	c   Dual Bound       : +0.00000000000000e+00
3591.84/3604.88	c Gap                :          -
3591.84/3604.88	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62824 MiB free)
  memory of node 1: 64510 MiB (63088 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=988485, runsolver pid=988475
Current StackSize limit: 8192 KiB


[startup+0.100102 s]*
/proc/loadavg: 3.59 4.01 4.09 7/251 988496
/proc/meminfo: memFree=128874692/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=111504 memory=26404 CPUtime=0.1 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 4631 0 0 0 9 1 0 0 20 0 2 0 188543914 114180096 6601 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 27876 6601 2766 3032 0 8143 0
[pid=988485/tid=988496] ppid=988475 vsize=111504 memory=4026531971 CPUtime=0 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 250 0 0 0 0 0 0 0 20 0 2 0 188543923 114180096 6601 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111504 KiB
Current children cumulated memory: 26404 KiB

[startup+0.216098 s]*
/proc/loadavg: 3.59 4.01 4.09 8/254 988499
/proc/meminfo: memFree=128837652/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=120544 memory=36208 CPUtime=0.21 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 7010 0 0 0 19 2 0 0 20 0 3 0 188543914 123437056 9052 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 30136 9052 2846 3032 0 12844 0
[pid=988485/tid=988496] ppid=988475 vsize=120544 memory=664970851429515395 CPUtime=0.11 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 2615 0 0 0 10 1 0 0 20 0 3 0 188543923 123437056 9052 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=120544 memory=671 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188543926 123437056 9052 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 120544 KiB
Current children cumulated memory: 36208 KiB

[startup+0.315376 s]*
/proc/loadavg: 3.59 4.01 4.09 7/254 988499
/proc/meminfo: memFree=128828724/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=120544 memory=41524 CPUtime=0.3 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 8285 0 0 0 28 2 0 0 20 0 3 0 188543914 123437056 10381 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 30136 10381 2926 3032 0 14170 0
[pid=988485/tid=988496] ppid=988475 vsize=120544 memory=-6225773925555682153 CPUtime=0.2 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3894 0 0 0 19 1 0 0 20 0 3 0 188543923 123437056 10447 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=120544 memory=0 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188543926 123437056 10447 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 120544 KiB
Current children cumulated memory: 41524 KiB

[startup+0.700396 s]
/proc/loadavg: 3.59 4.01 4.09 8/254 988499
/proc/meminfo: memFree=128805764/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=120544 memory=44692 CPUtime=0.68 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 9015 0 0 0 65 3 0 0 20 0 3 0 188543914 123437056 11173 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 30136 11173 2926 3032 0 15225 0
[pid=988485/tid=988496] ppid=988475 vsize=120544 memory=0 CPUtime=0.57 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 4620 0 0 0 56 1 0 0 20 0 3 0 188543923 123437056 11173 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=120544 memory=0 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188543926 123437056 11173 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 120544 KiB
Current children cumulated memory: 44692 KiB

[startup+1.50042 s]
/proc/loadavg: 3.59 4.01 4.09 7/254 988499
/proc/meminfo: memFree=128787552/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=121484 memory=58884 CPUtime=1.47 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 17868 0 0 0 143 4 0 0 20 0 3 0 188543914 124399616 14721 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 30371 14721 2926 3032 0 18737 0
[pid=988485/tid=988496] ppid=988475 vsize=121484 memory=0 CPUtime=1.37 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 13445 0 0 0 134 3 0 0 20 0 3 0 188543923 124399616 14721 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=121484 memory=0 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 188543926 124399616 14721 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 121484 KiB
Current children cumulated memory: 58884 KiB

[startup+3.11437 s]
/proc/loadavg: 3.63 4.01 4.09 6/254 988549
/proc/meminfo: memFree=128752332/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=121484 memory=62908 CPUtime=3.08 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 19233 0 0 0 304 4 0 0 20 0 3 0 188543914 124399616 15727 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 30371 15727 2926 3032 0 19659 0
[pid=988485/tid=988496] ppid=988475 vsize=121484 memory=0 CPUtime=2.98 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 14809 0 0 0 295 3 0 0 20 0 3 0 188543923 124399616 15727 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=121484 memory=44956 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 188543926 124399616 15727 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121484 KiB
Current children cumulated memory: 62908 KiB

[startup+6.30037 s]
/proc/loadavg: 3.63 4.01 4.09 6/254 988549
/proc/meminfo: memFree=128723984/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=121484 memory=74228 CPUtime=6.26 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 29283 0 0 0 621 5 0 0 20 0 3 0 188543914 124399616 18557 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 30371 18557 2926 3032 0 22585 0
[pid=988485/tid=988496] ppid=988475 vsize=121484 memory=0 CPUtime=6.16 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 24838 0 0 0 612 4 0 0 20 0 3 0 188543923 124399616 18557 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=121484 memory=64684 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 188543926 124399616 18557 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 121484 KiB
Current children cumulated memory: 74228 KiB

[startup+12.7004 s]
/proc/loadavg: 3.66 4.01 4.09 6/254 988645
/proc/meminfo: memFree=128729940/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=121484 memory=76956 CPUtime=12.64 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 45728 0 0 0 1257 7 0 0 20 0 3 0 188543914 124399616 19239 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 30371 19239 2974 3032 0 23065 0
[pid=988485/tid=988496] ppid=988475 vsize=121484 memory=75244 CPUtime=12.53 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 41242 0 0 0 1247 6 0 0 20 0 3 0 188543923 124399616 19239 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=121484 memory=0 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 188543926 124399616 19239 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 121484 KiB
Current children cumulated memory: 76956 KiB

[startup+25.5004 s]
/proc/loadavg: 3.73 4.01 4.09 6/254 988648
/proc/meminfo: memFree=128659864/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=121484 memory=87956 CPUtime=25.4 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 68543 0 0 0 2528 12 0 0 20 0 3 0 188543914 124399616 21989 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 30371 21989 2974 3032 0 26076 0
[pid=988485/tid=988496] ppid=988475 vsize=121484 memory=11464 CPUtime=25.28 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 64006 0 0 0 2518 10 0 0 20 0 3 0 188543923 124399616 21989 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=121484 memory=2632 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 188543926 124399616 21989 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 121484 KiB
Current children cumulated memory: 87956 KiB

[startup+51.1134 s]
/proc/loadavg: 3.89 4.02 4.09 6/254 988651
/proc/meminfo: memFree=128559240/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=187020 memory=102204 CPUtime=50.92 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 107149 0 0 0 5071 21 0 0 20 0 3 0 188543914 191508480 25551 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 46755 25551 2974 3032 0 30651 0
[pid=988485/tid=988496] ppid=988475 vsize=187020 memory=97488 CPUtime=50.81 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 102537 0 0 0 5061 20 0 0 20 0 3 0 188543923 191508480 25551 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=187020 memory=96328 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 188543926 191508480 25551 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 187020 KiB
Current children cumulated memory: 102204 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.05 4.09 6/254 988659
/proc/meminfo: memFree=128349664/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=188048 memory=147700 CPUtime=101.91 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 156463 0 0 0 10156 35 0 0 20 0 3 0 188543914 192561152 36925 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 47012 36925 2974 3032 0 40601 0
[pid=988485/tid=988496] ppid=988475 vsize=188048 memory=144228 CPUtime=101.8 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 151787 0 0 0 10146 34 0 0 20 0 3 0 188543923 192561152 36925 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=188048 memory=5291976281725439264 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 188543926 192561152 36925 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 188048 KiB
Current children cumulated memory: 147700 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.07 4.10 6/254 988717
/proc/meminfo: memFree=128259968/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=319120 memory=224444 CPUtime=161.66 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 202522 0 0 0 16112 54 0 0 20 0 3 0 188543914 326778880 56111 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 79780 56111 2974 3032 0 59822 0
[pid=988485/tid=988496] ppid=988475 vsize=319120 memory=180704 CPUtime=161.55 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 197812 0 0 0 16102 53 0 0 20 0 3 0 188543923 326778880 56111 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=319120 memory=44240 CPUtime=0 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 188543926 326778880 56111 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 319120 KiB
Current children cumulated memory: 224444 KiB


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

Current children cumulated memory: 3181996 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.12 6/251 990494
/proc/meminfo: memFree=114501536/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3301576 memory=3235336 CPUtime=3449.83 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3080510 0 0 0 343880 1103 0 0 20 0 3 0 188543914 3380813824 808834 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 825394 808834 2990 3032 0 818089 0
[pid=988485/tid=988496] ppid=988475 vsize=3301576 memory=3122952 CPUtime=3449.39 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3075232 0 0 0 343845 1094 0 0 20 0 3 0 188543923 3380813824 808834 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3301576 memory=16116 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 131 0 0 0 1 4 0 0 20 0 3 0 188543926 3380813824 808834 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3449.83 s
Current children cumulated vsize: 3301576 KiB
Current children cumulated memory: 3235336 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.12 6/249 990506
/proc/meminfo: memFree=114262504/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3370196 memory=3284788 CPUtime=3509.62 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3129861 0 0 0 349840 1122 0 0 20 0 3 0 188543914 3451080704 821197 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 842549 821197 2990 3032 0 830413 0
[pid=988485/tid=988496] ppid=988475 vsize=3370196 memory=3231324 CPUtime=3509.17 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3124572 0 0 0 349805 1112 0 0 20 0 3 0 188543923 3451080704 821197 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3370196 memory=3283332 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 133 0 0 0 1 4 0 0 20 0 3 0 188543926 3451080704 821197 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3509.62 s
Current children cumulated vsize: 3370196 KiB
Current children cumulated memory: 3284788 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.11 6/249 990516
/proc/meminfo: memFree=114025600/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3438816 memory=3332008 CPUtime=3569.42 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3180803 0 0 0 355798 1144 0 0 20 0 3 0 188543914 3521347584 833002 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 859704 833002 2990 3032 0 841604 0
[pid=988485/tid=988496] ppid=988475 vsize=3438816 memory=3329896 CPUtime=3568.96 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3175503 0 0 0 355762 1134 0 0 20 0 3 0 188543923 3521347584 833002 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3438816 memory=12776 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 188543926 3521347584 833002 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3569.42 s
Current children cumulated vsize: 3438816 KiB
Current children cumulated memory: 3332008 KiB

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

# cumulated CPU time of all completed processes:  user=3580.23 s, system=11.7947 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.13 4.11 6/249 990518
/proc/meminfo: memFree=114018088/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3438816 memory=3333032 CPUtime=3571.12 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3183051 0 0 0 355968 1144 0 0 20 0 3 0 188543914 3521347584 833258 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 859704 833258 2990 3032 0 841860 0
[pid=988485/tid=988496] ppid=988475 vsize=3438816 memory=279558348814960 CPUtime=3570.67 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3177751 0 0 0 355933 1134 0 0 20 0 3 0 188543923 3521347584 833258 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3438816 memory=-8549727008118850967 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 188543926 3521347584 833258 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3571.12 s
Current children cumulated vsize: 3438816 KiB
Current children cumulated memory: 3333032 KiB

[startup+3596.8 s]
/proc/loadavg: 4.09 4.12 4.11 6/249 990519
/proc/meminfo: memFree=113970264/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3439844 memory=3344520 CPUtime=3583.85 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3189473 0 0 0 357237 1148 0 0 20 0 3 0 188543914 3522400256 836130 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 859961 836130 2990 3032 0 844757 0
[pid=988485/tid=988496] ppid=988475 vsize=3439844 memory=16116 CPUtime=3583.41 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3184173 0 0 0 357202 1139 0 0 20 0 3 0 188543923 3522400256 836130 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3439844 memory=3329896 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 188543926 3522400256 836130 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3583.85 s
Current children cumulated vsize: 3439844 KiB
Current children cumulated memory: 3344520 KiB

[startup+3600 s]*
/proc/loadavg: 4.16 4.14 4.12 6/249 990519
/proc/meminfo: memFree=113953476/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3439844 memory=3345040 CPUtime=3587.06 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3194711 0 0 0 357556 1150 0 0 20 0 3 0 188543914 3522400256 836260 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 859961 836260 2990 3032 0 844853 0
[pid=988485/tid=988496] ppid=988475 vsize=3439844 memory=6720661034874978925 CPUtime=3586.6 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3190475 0 0 0 357520 1140 0 0 20 0 3 0 188543923 3522400256 836260 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3439844 memory=-8549727008118850967 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 188543926 3522400256 836260 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3587.06 s
Current children cumulated vsize: 3439844 KiB
Current children cumulated memory: 3345040 KiB

[startup+3603.2 s]
/proc/loadavg: 4.16 4.14 4.12 6/249 990521
/proc/meminfo: memFree=113955940/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3434776 memory=3340100 CPUtime=3590.23 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3470861 0 0 0 357857 1166 0 0 20 0 3 0 188543914 3517210624 835025 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 858694 835025 2990 3032 0 843586 0
[pid=988485/tid=988496] ppid=988475 vsize=3434776 memory=1832 CPUtime=3589.79 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3465559 0 0 0 357822 1157 0 0 20 0 3 0 188543923 3517210624 835025 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3434776 memory=3344964 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 188543926 3517210624 835025 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3590.23 s
Current children cumulated vsize: 3434776 KiB
Current children cumulated memory: 3340100 KiB

[startup+3604 s]*
/proc/loadavg: 4.15 4.13 4.12 6/249 990521
/proc/meminfo: memFree=113957876/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3432720 memory=3338044 CPUtime=3591.05 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3476659 0 0 0 357938 1167 0 0 20 0 3 0 188543914 3515105280 834511 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 858180 834511 2990 3032 0 843072 0
[pid=988485/tid=988496] ppid=988475 vsize=3432720 memory=6720661034874978925 CPUtime=3590.59 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3471382 0 0 0 357902 1157 0 0 20 0 3 0 188543923 3515105280 834511 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3432720 memory=-8549727008118850967 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 188543926 3515105280 834511 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3591.05 s
Current children cumulated vsize: 3432720 KiB
Current children cumulated memory: 3338044 KiB

[startup+3604.4 s]
/proc/loadavg: 4.15 4.13 4.12 6/249 990521
/proc/meminfo: memFree=113957876/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3430664 memory=3335988 CPUtime=3591.43 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3479787 0 0 0 357976 1167 0 0 20 0 3 0 188543914 3512999936 833997 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 857666 833997 2990 3032 0 842558 0
[pid=988485/tid=988496] ppid=988475 vsize=3430664 memory=6720665458640962158 CPUtime=3590.99 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3474485 0 0 0 357941 1158 0 0 20 0 3 0 188543923 3512999936 833997 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3430664 memory=16116 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 188543926 3512999936 833997 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3591.43 s
Current children cumulated vsize: 3430664 KiB
Current children cumulated memory: 3335988 KiB

[startup+3604.8 s]
/proc/loadavg: 4.15 4.13 4.12 6/249 990521
/proc/meminfo: memFree=113957876/131655788 swapFree=131071996/131071996
[pid=988485] ppid=988475 vsize=3414216 memory=3319544 CPUtime=3591.84 cores=1,3
/proc/988485/stat : 988485 (fscip) S 988475 988485 988413 0 -1 1077936128 3480879 0 0 0 358016 1168 0 0 20 0 3 0 188543914 3496157184 829886 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
/proc/988485/statm: 853554 829886 2990 3032 0 838446 0
[pid=988485/tid=988496] ppid=988475 vsize=3414216 memory=11464 CPUtime=3591.38 cores=1,3
/proc/988485/task/988496/stat : 988496 (fscip) R 988475 988485 988413 0 -1 4194368 3475577 0 0 0 357980 1158 0 0 20 0 3 0 188543923 3496157184 829886 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
[pid=988485/tid=988498] ppid=988475 vsize=3414216 memory=44240 CPUtime=0.05 cores=1,3
/proc/988485/task/988498/stat : 988498 (fscip) S 988475 988485 988413 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 188543926 3496157184 829886 134679101440 4194304 16613245 140723229909472 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 37392384 140723229918228 140723229918344 140723229918344 140723229925360 0
Current children cumulated CPU time: 3591.84 s
Current children cumulated vsize: 3414216 KiB
Current children cumulated memory: 3319544 KiB

[startup+3604.91 s]*
/proc/loadavg: 4.15 4.13 4.12 5/247 990521
/proc/meminfo: memFree=114664212/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3604.99
CPU time (s): 3592.02
CPU user time (s): 3580.23
CPU system time (s): 11.7947
CPU usage (%): 99.6403
Max. virtual memory (cumulated for all children) (KiB): 3439844
Max. memory (cumulated for all children) (KiB): 3345040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.23
system time used= 11.7947
maximum resident set size= 3345040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3482303
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= 11065
involuntary context switches= 4808


# summary of solver processes directly reported to runsolver:
#   pid: 988485
#   total CPU time (s): 3592.02
#   total CPU user time (s): 3580.23
#   total CPU system time (s): 11.7947

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8191 second user time and 37.7128 second system time

The end

Launcher Data

Begin job on nodeC009 at 2024-07-19 06:37:35
IDJOB=4448150
IDBENCH=160366
IDSOLVER=3064
FILE ID=nodeC009/4448150-1721363843
RUNJOBID= nodeC009-1721363855-988425
SLURM_JOB_ID= 7542791
Free space on /tmp= 723768 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x70split.cnf-plain.pb.metafix.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-4448150-1721363843/watcher-4448150-1721363843 -o /tmp/evaluation-result-4448150-1721363843/solver-4448150-1721363843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721363855-988425 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4448150-1721363843.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= ab4f361084eaa55350d5ce36089ad752
RANDOM SEED=64936885

nodeC009.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	: 0xb00001f
cpu MHz		: 1269.880
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.34
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	: 0xb00001f
cpu MHz		: 1213.689
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.27
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	: 0xb00001f
cpu MHz		: 1206.785
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.34
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	: 0xb00001f
cpu MHz		: 1237.026
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.27
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	: 0xb00001f
cpu MHz		: 1202.653
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.34
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	: 0xb00001f
cpu MHz		: 1247.940
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.27
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	: 0xb00001f
cpu MHz		: 1255.045
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.34
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	: 0xb00001f
cpu MHz		: 1225.832
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128936564 kB
MemAvailable:   129920940 kB
Buffers:          546764 kB
Cached:          1274400 kB
SwapCached:            0 kB
Active:          1075128 kB
Inactive:        1096496 kB
Active(anon):       1344 kB
Inactive(anon):   386864 kB
Active(file):    1073784 kB
Inactive(file):   709632 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            113236 kB
Writeback:            16 kB
AnonPages:        350516 kB
Mapped:           106196 kB
Shmem:             37700 kB
KReclaimable:      81980 kB
Slab:             181752 kB
SReclaimable:      81980 kB
SUnreclaim:        99772 kB
KernelStack:        3664 kB
PageTables:         9464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     660552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59360 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 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:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723660 MiB
End job on nodeC009 at 2024-07-19 07:37:40