Trace number 4434585

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-02? 3591.49 3602.29

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb
MD5SUM1ab00a09bce4fe90071f9bd51d0e1c65
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1081565440
Best CPU time to get the best result obtained on this benchmark3600.22
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7287
Total number of constraints529
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)420
Number of constraints which are nor clauses,nor cardinality constraints109
Minimum length of a constraint3
Maximum length of a constraint6062
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 83886080000000
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 400587756783443
Number of bits of the biggest sum of numbers49
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.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.10/0.11	c Default LC presolving (default).
0.10/0.11	c ** Before presolving: virtualMemUsedAtLc = 51924992, getVmSize() = 51924992, SCIPgetMemUsed() = 23271170, SCIPgetMemTotal() = 30101330, SCIPgetMemExternEstim() = 9249032
0.10/0.11	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.88/1.91	c ** Estimated virtualMemUsedAtSolver = 92693217, getVmSize() = 153296896, SCIPgetMemUsed() = 85853322, SCIPgetMemTotal() = 129790794, SCIPgetMemExternEstim() = 9249032
1.88/1.91	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.88/1.91	c Original Problem   :
1.88/1.91	c   Problem name     : instance-4434585-1721061278
1.88/1.91	c   Variables        : 7287 (7287 binary, 0 integer, 0 implicit integer, 0 continuous)
1.88/1.91	c   Constraints      : 529
1.88/1.91	c   Objective sense  : minimize
1.88/1.91	c Presolved Problem  :
1.88/1.91	c   Variables        : 6504 (6504 binary, 0 integer, 0 implicit integer, 0 continuous)
1.88/1.91	c   Constraints      : 649
1.88/1.91	c Constraints        : Number
1.88/1.91	c   setppc           : 517 
1.88/1.91	c   linear           : 83 
1.88/1.91	c   logicor          : 49 
1.88/1.91	c ** Instance transfer method used: 0
1.88/1.93	c ** ParaScipInstance copy does not increase the number of variables. **
1.88/1.98	c LC is working with racing ramp-up and with rebuilding tree after racing.
1.88/1.98	c                                Nodes    Active                                            
1.88/1.98	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
5.27/5.34	c         5              9           8         1                -  1076029647.1789          -
10.65/10.71	c        11             65          43         1                -  1076029647.1789          -
15.73/15.89	c        16            184         124         1                -  1076029647.1789          -
20.82/21.01	c        21            308         232         1                -  1076029647.1789          -
25.99/26.18	c        26            501         407         1                -  1076029647.1789          -
31.26/31.43	c        31            667         561         1                -  1076029647.1789          -
36.45/36.65	c        37            856         731         1                -  1076029647.1789          -
41.72/42.01	c        42           1003         850         1                -  1076029647.1789          -
46.92/47.18	c        47           1056           8         1                -  1076029647.1789          -
52.89/53.15	c        53           1085          37         1                -  1076029647.1789          -
58.36/58.66	c        59           1130          82         1                -  1076029647.1789          -
63.76/64.05	c        64           1207         151         1                -  1076029647.1789          -
69.12/69.40	c        69           1303         241         1                -  1076029647.1789          -
74.40/74.76	c        75           1386         322         1                -  1076029647.1789          -
79.88/80.23	c        80           1483         415         1                -  1076029647.1789          -
85.06/85.45	c        85           1667         585         1                -  1076029647.1789          -
90.14/90.59	c        91           1792         696         1                -  1076029647.1789          -
95.43/95.81	c        96           2033         913         1                -  1076029647.1789          -
100.51/100.92	c       101           2264        1122         1                -  1076029647.1789          -
105.79/106.29	c       106           2473        1311         1                -  1076029647.1789          -
110.97/111.41	c       111           2656        1466         1                -  1076029647.1789          -
116.15/116.67	c       117           2842        1626         1                -  1076029647.1789          -
121.43/121.93	c       122           2994        1738         1                -  1076029647.1789          -
126.63/127.12	c       127           3219        1945         1                -  1076029647.1789          -
131.60/132.18	c       132           3475        2175         1                -  1076029647.1789          -
136.67/137.29	c       137           3762        2440         1                -  1076029647.1789          -
141.75/142.38	c       142           4005        2657         1                -  1076029647.1789          -
147.13/147.71	c       148           4158        2794         1                -  1076029647.1789          -
152.32/152.91	c       153           4314        2940         1                -  1076029647.1789          -
157.51/158.15	c       158           4550        3146         1                -  1076029647.1789          -
162.68/163.38	c       163           4839        3391         1                -  1076029647.1789          -
167.76/168.47	c       168           5110        3592         1                -  1076029647.1789          -
172.94/173.60	c       174           5401        3835         1                -  1076029647.1789          -
184.81/185.54	c       186           5668        4058         1                -  1076029647.1789          -
189.98/190.71	c       191           5962        4272         1                -  1076029647.1789          -
195.07/195.82	c       196           6157        4405         1                -  1076029647.1789          -
213.92/214.78	c       215           6372        4558         1                -  1076029647.1789          -
229.19/230.05	c       230           6500        4644         1                -  1076029647.1789          -
234.27/235.14	c       235           6789        4887         1                -  1076029647.1789          -
239.35/240.29	c       240           7029        5073         1                -  1076029647.1789          -
244.53/245.44	c       245           7335        5315         1                -  1076029647.1789          -
249.61/250.54	c       251           7611        5555         1                -  1076029647.1789          -
254.99/255.99	c       256           7914        5808         1                -  1076029647.1789          -
260.28/261.23	c       261           8215        6031         1                -  1076029647.1789          -
265.56/266.51	c       267           8520        6254         1                -  1076029647.1789          -
270.64/271.60	c       272           8897        6537         1                -  1076029647.1789          -
275.92/276.95	c       277           9208        6774         1                -  1076029647.1789          -
283.20/284.27	c       284           9255        6809         1                -  1076029647.1789          -
288.78/289.81	c       290           9427        6943         1                -  1076029647.1789          -
293.98/295.06	c       295           9817        7201         1                -  1076029647.1789          -
299.25/300.38	c       300          10168        7468         1                -  1076029647.1789          -
304.43/305.55	c       306          10413        7625         1                -  1076029647.1789          -
309.52/310.66	c       311          10737        7849         1                -  1076029647.1789          -
314.70/315.87	c       316          10988        8020         1                -  1076029647.1789          -
320.38/321.57	c       322          11263        8250         1                -  1076029647.1789          -
326.76/327.95	c       328          11511        8454         1                -  1076029647.1789          -
331.95/333.19	c       333          11798        8655         1                -  1076029647.1789          -
339.02/340.25	c       340          11972        8779         1                -  1076029647.1789          -
344.81/346.08	c       346          12169        8926         1                -  1076029647.1789          -
350.08/351.32	c       351          12293        8998         1                -  1076029647.1789          -
356.06/357.34	c       357          12483        9128         1                -  1076029647.1789          -
361.64/362.98	c       363          12636        9245         1                -  1076029647.1789          -
366.83/368.16	c       368          12929        9490         1                -  1076029647.1789          -
372.00/373.36	c       373          13097        9622         1                -  1076029647.1789          -
377.58/378.96	c       379          13255        9734         1                -  1076029647.1789          -
382.77/384.14	c       384          13464        9887         1                -  1076029647.1789          -
388.05/389.40	c       389          13517        9900         1                -  1076029647.1789          -
393.23/394.60	c       395          13701       10024         1                -  1076029647.1789          -
399.11/400.59	c       401          13817       10080         1                -  1076029647.1789          -
405.29/406.75	c       407          13923       10134         1                -  1076029647.1789          -
410.38/411.84	c       412          14111       10260         1                -  1076029647.1789          -
416.15/417.66	c       418          14257       10344         1                -  1076029647.1789          -
422.44/423.90	c       424          14330       10401         1                -  1076029647.1789          -
428.02/429.52	c       430          14472       10505         1                -  1076029647.1789          -
433.20/434.75	c       435          14662       10623         1                -  1076029647.1789          -
438.88/440.49	c       440          14680       10627         1                -  1076029647.1789          -
445.77/447.37	c       447          14798       10719         1                -  1076029647.1789          -
451.36/452.95	c       453          14862       10767         1                -  1076029647.1789          -
456.84/458.45	c       458          15001       10848         1                -  1076029647.1789          -
461.93/463.51	c       464          15152       10949         1                -  1076029647.1789          -
467.42/469.01	c       469          15282       11027         1                -  1076029647.1789          -
473.19/474.85	c       475          15428       11119         1                -  1076029647.1789          -
478.66/480.36	c       480          15659       11300         1                -  1076029647.1789          -
484.15/485.87	c       486          15790       11403         1                -  1076029647.1789          -
489.34/491.02	c       491          16046       11623         1                -  1076029647.1789          -
494.81/496.50	c       497          16255       11794         1                -  1076029647.1789          -
500.09/501.86	c       502          16461       11921         1                -  1076029647.1789          -
505.77/507.59	c       508          16608       12004         1                -  1076029647.1789          -
510.85/512.67	c       513          16915       12218         1                -  1076029647.1789          -
516.13/518.01	c       518          17220       12443         1                -  1076029647.1789          -
521.61/523.40	c       523          17513       12638         1                -  1076029647.1789          -
527.38/529.21	c       529          17784       12859         1                -  1076029647.1789          -
532.77/534.60	c       535          17978       13007         1                -  1076029647.1789          -
538.35/540.27	c       540          18162       13147         1                -  1076029647.1789          -
543.53/545.40	c       545          18355       13285         1                -  1076029647.1789          -
548.92/550.83	c       551          18596       13438         1                -  1076029647.1789          -
554.11/556.03	c       556          18723       13525         1                -  1076029647.1789          -
559.28/561.29	c       561          18917       13667         1                -  1076029647.1789          -
564.67/566.60	c       567          19147       13834         1                -  1076029647.1789          -
571.55/573.51	c       574          19239       13892         1                -  1076029647.1789          -
576.74/578.77	c       579          19246       13899         1                -  1076029647.1789          -
583.72/585.76	c       586          19249       13902         1                -  1076029647.1789          -
591.41/593.49	c       594          19254       13903         1                -  1076029647.1789          -
597.78/599.89	c       600          19330       13955         1                -  1076029647.1789          -
602.98/605.10	c       605          19516       14079         1                -  1076029647.1789          -
608.85/610.97	c       611          19672       14188         1                -  1076029647.1789          -
613.94/616.05	c       616          19927       14391         1                -  1076029647.1789          -
619.61/621.79	c       622          20085       14477         1                -  1076029647.1789          -
625.00/627.16	c       627          20219       14547         1                -  1076029647.1789          -
630.27/632.40	c       632          20419       14699         1                -  1076029647.1789          -
635.36/637.59	c       638          20494       14750         1                -  1076029647.1789          -
641.14/643.34	c       643          20773       14971         1                -  1076029647.1789          -
646.32/648.56	c       649          20997       15147         1                -  1076029647.1789          -
651.82/654.06	c       654          21151       15260         1                -  1076029647.1789          -
657.48/659.78	c       660          21350       15415         1                -  1076029647.1789          -
663.27/665.57	c       666          21577       15561         1                -  1076029647.1789          -
668.76/671.06	c       671          21773       15685         1                -  1076029647.1789          -
674.53/676.80	c       677          21888       15760         1                -  1076029647.1789          -
680.11/682.42	c       682          22064       15888         1                -  1076029647.1789          -
685.99/688.32	c       688          22308       16064         1                -  1076029647.1789          -
691.68/694.06	c       694          22485       16171         1                -  1076029647.1789          -
696.95/699.36	c       699          22682       16304         1                -  1076029647.1789          -
705.53/708.01	c       708          22806       16392         1                -  1076029647.1789          -
710.90/713.33	c       713          22906       16442         1                -  1076029647.1789          -
716.18/718.69	c       719          23080       16572         1                -  1076029647.1789          -
724.15/726.65	c       727          23274       16710         1                -  1076029647.1789          -
731.24/733.73	c       734          23277       16713         1                -  1076029647.1789          -
736.52/739.05	c       739          23431       16797         1                -  1076029647.1789          -
742.09/744.60	c       745          23623       16945         1                -  1076029647.1789          -
747.68/750.28	c       750          23714       16994         1                -  1076029647.1789          -
756.65/759.22	c       759          23797       17045         1                -  1076029647.1789          -
764.54/767.14	c       767          23799       17047         1                -  1076029647.1789          -
770.72/773.30	c       773          23802       17050         1                -  1076029647.1789          -
779.30/781.93	c       782          23807       17053         1                -  1076029647.1789          -
784.49/787.18	c       787          23964       17163         1                -  1076029647.1789          -
790.07/792.74	c       793          24051       17214         1                -  1076029647.1789          -
795.15/797.86	c       798          24178       17267         1                -  1076029647.1789          -
801.23/803.97	c       804          24374       17406         1                -  1076029647.1789          -
808.61/811.34	c       811          24399       17427         1                -  1076029647.1789          -
814.79/817.57	c       818          24401       17429         1                -  1076029647.1789          -
820.29/823.04	c       823          24403       17429         1                -  1076029647.1789          -
831.85/834.69	c       835          24485       17489         1                -  1076029647.1789          -
839.24/842.04	c       842          24487       17489         1                -  1076029647.1789          -
844.33/847.17	c       847          24569       17562         1                -  1076029647.1789          -
849.50/852.34	c       852          24660       17633         1                -  1076029647.1789          -
854.88/857.77	c       858          24788       17701         1                -  1076029647.1789          -
861.36/864.23	c       864          24919       17784         1                -  1076029647.1789          -
867.05/869.97	c       870          24982       17827         1                -  1076029647.1789          -
873.04/875.98	c       876          24985       17830         1                -  1076029647.1789          -
883.71/886.69	c       887          24986       17831         1                -  1076029647.1789          -
891.59/894.53	c       895          24993       17834         1                -  1076029647.1789          -
899.08/902.05	c       902          24995       17836         1                -  1076029647.1789          -
906.85/909.86	c       910          24998       17837         1                -  1076029647.1789          -
913.25/916.20	c       916          25002       17837         1                -  1076029647.1789          -
918.43/921.41	c       921          25191       17956         1                -  1076029647.1789          -
924.61/927.67	c       928          25195       17958         1                -  1076029647.1789          -
930.59/933.62	c       934          25310       18041         1                -  1076029647.1789          -
935.78/938.87	c       939          25606       18279         1                -  1076029647.1789          -
940.86/943.96	c       944          25743       18392         1                -  1076029647.1789          -
946.13/949.28	c       949          26062       18656         1                -  1076029647.1789          -
951.22/954.37	c       954          26157       18725         1                -  1076029647.1789          -
957.11/960.22	c       960          26399       18922         1                -  1076029647.1789          -
962.79/965.98	c       966          26406       18927         1                -  1076029647.1789          -
968.58/971.72	c       972          26415       18926         1                -  1076029647.1789          -
975.46/978.65	c       979          26420       18929         1                -  1076029647.1789          -
981.24/984.46	c       984          26505       18990         1                -  1076029647.1789          -
986.63/989.87	c       990          26746       19171         1                -  1076029647.1789          -
992.11/995.31	c       995          26950       19331         1                -  1076029647.1789          -
997.40/1000.60	c      1001          26967       19340         1                -  1076029647.1789          -
1002.78/1006.03	c      1006          27075       19398         1                -  1076029647.1789          -
1007.96/1011.22	c      1011          27283       19546         1                -  1076029647.1789          -
1013.03/1016.38	c      1016          27526       19717         1                -  1076029647.1789          -
1018.42/1021.72	c      1022          27752       19881         1                -  1076029647.1789          -
1025.00/1028.33	c      1028          27833       19918         1                -  1076029647.1789          -
1031.38/1034.79	c      1035          27982       20035         1                -  1076029647.1789          -
1037.56/1040.95	c      1041          27988       20041         1                -  1076029647.1789          -
1045.05/1048.47	c      1048          27991       20042         1                -  1076029647.1789          -
1050.13/1053.50	c      1054          27994       20043         1                -  1076029647.1789          -
1057.32/1060.79	c      1061          28000       20045         1                -  1076029647.1789          -
1065.10/1068.57	c      1069          28001       20046         1                -  1076029647.1789          -
1072.59/1076.08	c      1076          28002       20047         1                -  1076029647.1789          -
1080.06/1083.53	c      1084          28231       20229         1                -  1076029647.1789          -
1085.23/1088.78	c      1089          28373       20309         1                -  1076029647.1789          -
1090.42/1093.96	c      1094          28629       20509         1                -  1076029647.1789          -
1095.61/1099.18	c      1099          28865       20689         1                -  1076029647.1789          -
1101.08/1104.61	c      1105          29075       20825         1                -  1076029647.1789          -
1106.87/1110.41	c      1110          29259       20943         1                -  1076029647.1789          -
1112.05/1115.60	c      1116          29321       20991         1                -  1076029647.1789          -
1118.33/1121.98	c      1122          29371       21013         1                -  1076029647.1789          -
1125.01/1128.61	c      1129          29457       21081         1                -  1076029647.1789          -
1130.80/1134.45	c      1134          29459       21083         1                -  1076029647.1789          -
1136.09/1139.73	c      1140          29462       21086         1                -  1076029647.1789          -
1141.67/1145.34	c      1145          29465       21087         1                -  1076029647.1789          -
1146.86/1150.54	c      1151          29468       21090         1                -  1076029647.1789          -
1153.05/1156.76	c      1157          29470       21090         1                -  1076029647.1789          -
1159.73/1163.45	c      1163          29472       21092         1                -  1076029647.1789          -
1165.11/1168.84	c      1169          29623       21197         1                -  1076029647.1789          -
1170.69/1174.41	c      1174          29773       21312         1                -  1076029647.1789          -
1175.77/1179.57	c      1180          30034       21501         1                -  1076029647.1789          -
1182.65/1186.49	c      1186          30142       21569         1                -  1076029647.1789          -
1200.50/1204.34	c      1204          30143       21570         1                -  1076029647.1789          -
1205.88/1209.70	c      1210          30326       21687         1                -  1076029647.1789          -
1211.17/1215.05	c      1215          30566       21877         1                -  1076029647.1789          -
1217.15/1221.10	c      1221          30676       21945         1                -  1076029647.1789          -
1222.32/1226.26	c      1226          30847       22086         1                -  1076029647.1789          -
1242.77/1246.72	c      1247          30849       22088         1                -  1076029647.1789          -
1247.95/1252.01	c      1252          30850       22089         1                -  1076029647.1789          -
1254.05/1258.03	c      1258          30855       22092         1                -  1076029647.1789          -
1259.72/1263.74	c      1264          30860       22095         1                -  1076029647.1789          -
1268.12/1272.11	c      1272          30866       22095         1                -  1076029647.1789          -
1273.49/1277.51	c      1278          30876       22097         1                -  1076029647.1789          -
1281.08/1285.15	c      1285          31040       22220         1                -  1076029647.1789          -
1286.35/1290.45	c      1290          31200       22349         1                -  1076029647.1789          -
1291.52/1295.67	c      1296          31442       22534         1                -  1076029647.1789          -
1296.91/1301.08	c      1301          31642       22686         1                -  1076029647.1789          -
1302.78/1306.91	c      1307          31889       22881         1                -  1076029647.1789          -
1307.88/1312.06	c      1312          32143       23053         1                -  1076029647.1789          -
1313.65/1317.85	c      1318          32304       23160         1                -  1076029647.1789          -
1318.72/1322.93	c      1323          32521       23314         1                -  1076029647.1789          -
1324.10/1328.36	c      1328          32752       23459         1                -  1076029647.1789          -
1329.39/1333.66	c      1334          32986       23611         1                -  1076029647.1789          -
1334.57/1338.84	c      1339          33248       23782         1                -  1076029647.1789          -
1341.15/1345.40	c      1345          33469       23929         1                -  1076029647.1789          -
1346.43/1350.76	c      1351          33676       24069         1                -  1076029647.1789          -
1351.73/1356.01	c      1356          33805       24156         1                -  1076029647.1789          -
1357.20/1361.56	c      1362          33932       24241         1                -  1076029647.1789          -
1363.58/1367.95	c      1368          34106       24353         1                -  1076029647.1789          -
1368.86/1373.29	c      1373          34332       24502         1                -  1076029647.1789          -
1374.83/1379.20	c      1379          34537       24646         1                -  1076029647.1789          -
1380.73/1385.19	c      1385          34652       24717         1                -  1076029647.1789          -
1386.11/1390.59	c      1391          34719       24762         1                -  1076029647.1789          -
1391.29/1395.75	c      1396          34910       24887         1                -  1076029647.1789          -
1397.27/1401.71	c      1402          35079       25000         1                -  1076029647.1789          -
1402.76/1407.20	c      1407          35086       25003         1                -  1076029647.1789          -
1411.83/1416.32	c      1416          35091       25004         1                -  1076029647.1789          -
1416.92/1421.40	c      1421          35141       25034         1                -  1076029647.1789          -
1422.31/1426.83	c      1427          35350       25195         1                -  1076029647.1789          -
1427.99/1432.54	c      1433          35476       25275         1                -  1076029647.1789          -
1434.37/1438.90	c      1439          35479       25276         1                -  1076029647.1789          -
1440.26/1444.87	c      1445          35650       25399         1                -  1076029647.1789          -
1445.45/1450.02	c      1450          35786       25507         1                -  1076029647.1789          -
1451.83/1456.46	c      1456          35789       25508         1                -  1076029647.1789          -
1457.42/1462.03	c      1462          35849       25552         1                -  1076029647.1789          -
1464.89/1469.50	c      1470          36001       25656         1                -  1076029647.1789          -
1470.68/1475.39	c      1475          36078       25713         1                -  1076029647.1789          -
1476.37/1481.01	c      1481          36241       25824         1                -  1076029647.1789          -
1482.74/1487.40	c      1487          36322       25879         1                -  1076029647.1789          -
1488.03/1492.77	c      1493          36327       25882         1                -  1076029647.1789          -
1494.51/1499.29	c      1499          36386       25927         1                -  1076029647.1789          -
1501.10/1505.88	c      1506          36394       25933         1                -  1076029647.1789          -
1508.78/1513.57	c      1514          36402       25937         1                -  1076029647.1789          -
1514.38/1519.16	c      1519          36405       25938         1                -  1076029647.1789          -
1520.46/1525.22	c      1525          36410       25939         1                -  1076029647.1789          -
1531.94/1536.71	c      1537          36489       25992         1                -  1076029647.1789          -
1539.72/1544.52	c      1545          36490       25993         1                -  1076029647.1789          -
1544.71/1549.56	c      1550          36552       26039         1                -  1076029647.1789          -
1550.60/1555.41	c      1555          36557       26044         1                -  1076029647.1789          -
1556.08/1560.98	c      1561          36561       26048         1                -  1076029647.1789          -
1562.77/1567.69	c      1568          36566       26049         1                -  1076029647.1789          -
1568.46/1573.38	c      1573          36570       26051         1                -  1076029647.1789          -
1573.54/1578.44	c      1578          36645       26106         1                -  1076029647.1789          -
1578.72/1583.62	c      1584          36651       26110         1                -  1076029647.1789          -
1585.01/1589.98	c      1590          36656       26113         1                -  1076029647.1789          -
1590.99/1595.90	c      1596          36809       26220         1                -  1076029647.1789          -
1596.38/1601.35	c      1601          36914       26287         1                -  1076029647.1789          -
1601.56/1606.55	c      1607          37153       26446         1                -  1076029647.1789          -
1606.75/1611.79	c      1612          37390       26629         1                -  1076029647.1789          -
1611.93/1616.95	c      1617          37691       26856         1                -  1076029647.1789          -
1617.30/1622.33	c      1622          37952       27045         1                -  1076029647.1789          -
1623.59/1628.69	c      1629          37987       27072         1                -  1076029647.1789          -
1631.27/1636.34	c      1636          37993       27076         1                -  1076029647.1789          -
1636.36/1641.46	c      1641          38303       27298         1                -  1076029647.1789          -
1641.64/1646.79	c      1647          38479       27400         1                -  1076029647.1789          -
1647.22/1652.33	c      1652          38728       27571         1                -  1076029647.1789          -
1652.50/1657.68	c      1658          38886       27674         1                -  1076029647.1789          -
1659.68/1664.86	c      1665          39113       27840         1                -  1076029647.1789          -
1666.47/1671.67	c      1672          39120       27841         1                -  1076029647.1789          -
1673.26/1678.41	c      1678          39129       27848         1                -  1076029647.1789          -
1680.44/1685.61	c      1686          39131       27848         1                -  1076029647.1789          -
1687.53/1692.72	c      1693          39136       27851         1                -  1076029647.1789          -
1694.61/1699.81	c      1700          39140       27853         1                -  1076029647.1789          -
1700.10/1705.35	c      1705          39241       27914         1                -  1076029647.1789          -
1705.27/1710.54	c      1711          39531       28099         1                -  1076029647.1789          -
1710.46/1715.79	c      1716          39707       28205         1                -  1076029647.1789          -
1715.76/1721.06	c      1721          39966       28398         1                -  1076029647.1789          -
1721.23/1726.59	c      1727          40180       28506         1                -  1076029647.1789          -
1727.61/1732.96	c      1733          40523       28731         1                -  1076029647.1789          -
1733.80/1739.16	c      1739          40531       28735         1                -  1076029647.1789          -
1738.87/1744.21	c      1744          40812       28944         1                -  1076029647.1789          -
1743.96/1749.32	c      1749          41021       29087         1                -  1076029647.1789          -
1751.84/1757.22	c      1757          41033       29097         1                -  1076029647.1789          -
1759.12/1764.58	c      1765          41036       29100         1                -  1076029647.1789          -
1766.10/1771.59	c      1772          41047       29109         1                -  1076029647.1789          -
1773.60/1779.08	c      1779          41052       29110         1                -  1076029647.1789          -
1785.57/1791.10	c      1791          41056       29114         1                -  1076029647.1789          -
1793.74/1799.21	c      1799          41064       29116         1                -  1076029647.1789          -
1801.63/1807.12	c      1807          41068       29118         1                -  1076029647.1789          -
1809.00/1814.55	c      1815          41072       29118         1                -  1076029647.1789          -
1821.27/1826.83	c      1827          41079       29121         1                -  1076029647.1789          -
1826.47/1832.08	c      1832          41282       29254         1                -  1076029647.1789          -
1832.33/1837.97	c      1838          41470       29374         1                -  1076029647.1789          -
1838.21/1843.84	c      1844          41722       29563         1                -  1076029647.1789          -
1843.60/1849.25	c      1849          41967       29737         1                -  1076029647.1789          -
1849.78/1855.45	c      1855          42091       29831         1                -  1076029647.1789          -
1855.07/1860.77	c      1861          42096       29834         1                -  1076029647.1789          -
1860.47/1866.17	c      1866          42186       29892         1                -  1076029647.1789          -
1865.73/1871.48	c      1871          42356       30008         1                -  1076029647.1789          -
1871.11/1876.82	c      1877          42626       30191         1                -  1076029647.1789          -
1876.60/1882.37	c      1882          42776       30301         1                -  1076029647.1789          -
1881.88/1887.62	c      1888          42954       30419         1                -  1076029647.1789          -
1887.47/1893.20	c      1893          43196       30602         1                -  1076029647.1789          -
1893.36/1899.13	c      1899          43257       30637         1                -  1076029647.1789          -
1899.24/1905.04	c      1905          43263       30641         1                -  1076029647.1789          -
1904.62/1910.42	c      1910          43266       30640         1                -  1076029647.1789          -
1909.61/1915.46	c      1915          43269       30641         1                -  1076029647.1789          -
1915.31/1921.19	c      1921          43334       30688         1                -  1076029647.1789          -
1920.77/1926.64	c      1927          43531       30801         1                -  1076029647.1789          -
1926.57/1932.46	c      1932          43703       30933         1                -  1076029647.1789          -
1932.05/1937.94	c      1938          43866       31032         1                -  1076029647.1789          -
1937.33/1943.28	c      1943          44052       31162         1                -  1076029647.1789          -
1942.61/1948.51	c      1949          44235       31291         1                -  1076029647.1789          -
1947.68/1953.67	c      1954          44416       31424         1                -  1076029647.1789          -
1953.37/1959.39	c      1959          44527       31485         1                -  1076029647.1789          -
1958.74/1964.76	c      1965          44713       31611         1                -  1076029647.1789          -
1964.91/1970.93	c      1971          44862       31696         1                -  1076029647.1789          -
1970.11/1976.18	c      1976          45094       31860         1                -  1076029647.1789          -
1975.37/1981.40	c      1981          45330       32037         1                -  1076029647.1789          -
1980.76/1986.81	c      1987          45464       32119         1                -  1076029647.1789          -
1986.05/1992.20	c      1992          45616       32211         1                -  1076029647.1789          -
1991.11/1997.27	c      1997          45961       32437         1                -  1076029647.1789          -
1996.28/2002.41	c      2002          46166       32558         1                -  1076029647.1789          -
2001.87/2008.02	c      2008          46418       32731         1                -  1076029647.1789          -
2006.95/2013.17	c      2013          46592       32827         1                -  1076029647.1789          -
2012.22/2018.43	c      2018          46801       32976         1                -  1076029647.1789          -
2017.50/2023.72	c      2024          46998       33087         1                -  1076029647.1789          -
2022.68/2028.92	c      2029          47246       33267         1                -  1076029647.1789          -
2034.03/2040.37	c      2040          47466       33436         1                -  1076029647.1789          -
2040.42/2046.77	c      2047          47468       33438         1                -  1076029647.1789          -
2046.01/2052.36	c      2052          47470       33440         1                -  1076029647.1789          -
2051.49/2057.89	c      2058          47472       33442         1                -  1076029647.1789          -
2059.17/2065.53	c      2066          47476       33446         1                -  1076029647.1789          -
2066.76/2073.19	c      2073          47478       33446         1                -  1076029647.1789          -
2072.53/2078.96	c      2079          47481       33447         1                -  1076029647.1789          -
2084.90/2091.39	c      2091          47484       33448         1                -  1076029647.1789          -
2097.26/2103.75	c      2104          47486       33448         1                -  1076029647.1789          -
2103.55/2110.03	c      2110          47490       33448         1                -  1076029647.1789          -
2110.22/2116.72	c      2117          47497       33451         1                -  1076029647.1789          -
2119.89/2126.48	c      2126          47500       33454         1                -  1076029647.1789          -
2125.97/2132.50	c      2132          47736       33604         1                -  1076029647.1789          -
2130.95/2137.58	c      2138          47938       33729         1                -  1076029647.1789          -
2136.13/2142.71	c      2143          48135       33824         1                -  1076029647.1789          -
2141.31/2147.92	c      2148          48254       33889         1                -  1076029647.1789          -
2146.59/2153.22	c      2153          48304       33927         1                -  1076029647.1789          -
2153.97/2160.68	c      2161          48338       33955         1                -  1076029647.1789          -
2162.15/2168.86	c      2169          48344       33957         1                -  1076029647.1789          -
2170.33/2177.07	c      2177          48349       33960         1                -  1076029647.1789          -
2177.70/2184.42	c      2184          48356       33961         1                -  1076029647.1789          -
2186.87/2193.67	c      2194          48364       33963         1                -  1076029647.1789          -
2194.45/2201.26	c      2201          48373       33966         1                -  1076029647.1789          -
2202.93/2209.73	c      2210          48376       33967         1                -  1076029647.1789          -
2212.21/2219.04	c      2219          48378       33969         1                -  1076029647.1789          -
2220.57/2227.47	c      2227          48380       33969         1                -  1076029647.1789          -
2229.75/2236.68	c      2237          48383       33972         1                -  1076029647.1789          -
2237.73/2244.60	c      2245          48387       33974         1                -  1076029647.1789          -
2245.90/2252.89	c      2253          48389       33974         1                -  1076029647.1789          -
2254.68/2261.68	c      2262          48396       33979         1                -  1076029647.1789          -
2263.07/2270.08	c      2270          48405       33984         1                -  1076029647.1789          -
2270.74/2277.74	c      2278          48408       33987         1                -  1076029647.1789          -
2277.42/2284.41	c      2284          48417       33990         1                -  1076029647.1789          -
2282.79/2289.80	c      2290          48571       34074         1                -  1076029647.1789          -
2288.47/2295.59	c      2296          48648       34139         1                -  1076029647.1789          -
2293.86/2300.91	c      2301          48855       34290         1                -  1076029647.1789          -
2299.23/2306.39	c      2306          48972       34363         1                -  1076029647.1789          -
2306.80/2314.01	c      2314          49170       34508         1                -  1076029647.1789          -
2313.17/2320.31	c      2320          49174       34512         1                -  1076029647.1789          -
2318.67/2325.83	c      2326          49177       34513         1                -  1076029647.1789          -
2323.97/2331.12	c      2331          49371       34637         1                -  1076029647.1789          -
2330.23/2337.45	c      2337          49475       34689         1                -  1076029647.1789          -
2336.02/2343.21	c      2343          49480       34688         1                -  1076029647.1789          -
2343.20/2350.40	c      2350          49488       34690         1                -  1076029647.1789          -
2350.08/2357.31	c      2357          49608       34756         1                -  1076029647.1789          -
2355.37/2362.64	c      2363          49866       34935         1                -  1076029647.1789          -
2361.05/2368.31	c      2368          50045       35060         1                -  1076029647.1789          -
2366.53/2373.87	c      2374          50230       35179         1                -  1076029647.1789          -
2373.01/2380.33	c      2380          50387       35274         1                -  1076029647.1789          -
2378.50/2385.86	c      2386          50395       35278         1                -  1076029647.1789          -
2384.18/2391.51	c      2392          50404       35281         1                -  1076029647.1789          -
2389.46/2396.89	c      2397          50688       35493         1                -  1076029647.1789          -
2395.04/2402.48	c      2402          50915       35651         1                -  1076029647.1789          -
2402.82/2410.24	c      2410          51050       35755         1                -  1076029647.1789          -
2408.40/2415.85	c      2416          51272       35912         1                -  1076029647.1789          -
2413.79/2421.22	c      2421          51486       36049         1                -  1076029647.1789          -
2419.37/2426.86	c      2427          51599       36112         1                -  1076029647.1789          -
2425.76/2433.24	c      2433          51604       36115         1                -  1076029647.1789          -
2433.65/2441.18	c      2441          51609       36116         1                -  1076029647.1789          -
2438.72/2446.20	c      2446          51676       36165         1                -  1076029647.1789          -
2446.91/2454.40	c      2454          51710       36181         1                -  1076029647.1789          -
2452.30/2459.88	c      2460          51712       36181         1                -  1076029647.1789          -
2458.07/2465.68	c      2466          51869       36282         1                -  1076029647.1789          -
2466.15/2473.72	c      2474          51918       36325         1                -  1076029647.1789          -
2471.33/2478.99	c      2479          52011       36384         1                -  1076029647.1789          -
2478.13/2485.76	c      2486          52013       36384         1                -  1076029647.1789          -
2483.80/2491.48	c      2491          52307       36614         1                -  1076029647.1789          -
2489.40/2497.05	c      2497          52534       36745         1                -  1076029647.1789          -
2495.67/2503.30	c      2503          52640       36815         1                -  1076029647.1789          -
2502.65/2510.31	c      2510          52840       36939         1                -  1076029647.1789          -
2508.45/2516.19	c      2516          52866       36953         1                -  1076029647.1789          -
2513.51/2521.25	c      2521          53167       37192         1                -  1076029647.1789          -
2529.18/2536.90	c      2537          53168       37193         1                -  1076029647.1789          -
2534.87/2542.67	c      2543          53178       37195         1                -  1076029647.1789          -
2539.95/2547.78	c      2548          53379       37298         1                -  1076029647.1789          -
2545.43/2553.27	c      2553          53595       37443         1                -  1076029647.1789          -
2550.61/2558.47	c      2558          53874       37626         1                -  1076029647.1789          -
2555.69/2563.54	c      2564          53971       37683         1                -  1076029647.1789          -
2563.30/2571.18	c      2571          53974       37684         1                -  1076029647.1789          -
2570.86/2578.74	c      2579          53977       37685         1                -  1076029647.1789          -
2576.64/2584.55	c      2585          54182       37808         1                -  1076029647.1789          -
2584.23/2592.15	c      2592          54233       37841         1                -  1076029647.1789          -
2591.00/2598.91	c      2599          54236       37842         1                -  1076029647.1789          -
2597.49/2605.45	c      2605          54241       37845         1                -  1076029647.1789          -
2604.87/2612.82	c      2613          54252       37848         1                -  1076029647.1789          -
2611.85/2619.82	c      2620          54253       37847         1                -  1076029647.1789          -
2618.54/2626.57	c      2627          54260       37850         1                -  1076029647.1789          -
2625.13/2633.15	c      2633          54262       37850         1                -  1076029647.1789          -
2631.70/2639.76	c      2640          54263       37849         1                -  1076029647.1789          -
2642.08/2650.14	c      2650          54264       37848         1                -  1076029647.1789          -
2647.06/2655.19	c      2655          54614       38122         1                -  1076029647.1789          -
2652.82/2661.01	c      2661          54797       38253         1                -  1076029647.1789          -
2658.01/2666.19	c      2666          55027       38417         1                -  1076029647.1789          -
2663.28/2671.47	c      2671          55231       38559         1                -  1076029647.1789          -
2669.87/2678.06	c      2678          55371       38656         1                -  1076029647.1789          -
2679.85/2688.06	c      2688          55374       38657         1                -  1076029647.1789          -
2685.42/2693.63	c      2694          55433       38700         1                -  1076029647.1789          -
2690.71/2698.96	c      2699          55634       38837         1                -  1076029647.1789          -
2696.29/2704.56	c      2705          55785       38870         1                -  1076029647.1789          -
2701.47/2709.71	c      2710          56045       39069         1                -  1076029647.1789          -
2706.55/2714.88	c      2715          56270       39246         1                -  1076029647.1789          -
2711.64/2719.97	c      2720          56614       39480         1                -  1076029647.1789          -
2716.73/2725.10	c      2725          56861       39669         1                -  1076029647.1789          -
2722.00/2730.37	c      2730          57120       39862         1                -  1076029647.1789          -
2727.18/2735.56	c      2736          57309       39975         1                -  1076029647.1789          -
2732.56/2740.90	c      2741          57465       40043         1                -  1076029647.1789          -
2738.25/2746.68	c      2747          57647       40154         1                -  1076029647.1789          -
2743.43/2751.82	c      2752          57920       40329         1                -  1076029647.1789          -
2749.10/2757.56	c      2758          58080       40417         1                -  1076029647.1789          -
2754.49/2762.94	c      2763          58281       40560         1                -  1076029647.1789          -
2760.07/2768.56	c      2769          58551       40732         1                -  1076029647.1789          -
2766.56/2775.07	c      2775          58680       40805         1                -  1076029647.1789          -
2771.93/2780.46	c      2780          58795       40864         1                -  1076029647.1789          -
2776.92/2785.48	c      2785          58799       40868         1                -  1076029647.1789          -
2782.80/2791.35	c      2791          58861       40922         1                -  1076029647.1789          -
2797.37/2805.93	c      2806          58872       40923         1                -  1076029647.1789          -
2803.15/2811.72	c      2812          59031       41044         1                -  1076029647.1789          -
2809.14/2817.79	c      2818          59132       41109         1                -  1076029647.1789          -
2814.43/2823.10	c      2823          59261       41204         1                -  1076029647.1789          -
2819.81/2828.49	c      2828          59284       41211         1                -  1076029647.1789          -
2825.19/2833.80	c      2834          59287       41212         1                -  1076029647.1789          -
2830.68/2839.32	c      2839          59448       41342         1                -  1076029647.1789          -
2836.38/2845.09	c      2845          59454       41346         1                -  1076029647.1789          -
2843.55/2852.24	c      2852          59462       41350         1                -  1076029647.1789          -
2848.93/2857.61	c      2858          59625       41469         1                -  1076029647.1789          -
2854.32/2863.07	c      2863          59876       41630         1                -  1076029647.1789          -
2860.60/2869.35	c      2869          59884       41632         1                -  1076029647.1789          -
2866.39/2875.16	c      2875          59891       41637         1                -  1076029647.1789          -
2872.97/2881.74	c      2882          59897       41639         1                -  1076029647.1789          -
2879.15/2887.96	c      2888          59900       41640         1                -  1076029647.1789          -
2884.83/2893.60	c      2894          60083       41771         1                -  1076029647.1789          -
2890.71/2899.54	c      2900          60253       41884         1                -  1076029647.1789          -
2896.60/2905.49	c      2905          60320       41935         1                -  1076029647.1789          -
2901.98/2910.80	c      2911          60325       41936         1                -  1076029647.1789          -
2911.46/2920.34	c      2920          60326       41937         1                -  1076029647.1789          -
2917.73/2926.64	c      2927          60481       42054         1                -  1076029647.1789          -
2922.82/2931.79	c      2932          60595       42146         1                -  1076029647.1789          -
2928.70/2937.60	c      2938          60853       42340         1                -  1076029647.1789          -
2933.78/2942.79	c      2943          61134       42542         1                -  1076029647.1789          -
2939.86/2948.83	c      2949          61393       42719         1                -  1076029647.1789          -
2945.25/2954.21	c      2954          61395       42719         1                -  1076029647.1789          -
2950.43/2959.41	c      2959          61508       42794         1                -  1076029647.1789          -
2955.61/2964.68	c      2965          61692       42904         1                -  1076029647.1789          -
2961.40/2970.43	c      2970          61936       43080         1                -  1076029647.1789          -
2967.38/2976.48	c      2976          62099       43187         1                -  1076029647.1789          -
2972.98/2982.10	c      2982          62323       43366         1                -  1076029647.1789          -
2978.25/2987.33	c      2987          62506       43497         1                -  1076029647.1789          -
2984.14/2993.28	c      2993          62522       43507         1                -  1076029647.1789          -
2989.42/2998.58	c      2999          62527       43512         1                -  1076029647.1789          -
2994.51/3003.67	c      3004          62532       43515         1                -  1076029647.1789          -
3000.50/3009.64	c      3010          62535       43518         1                -  1076029647.1789          -
3007.99/3017.12	c      3017          62537       43520         1                -  1076029647.1789          -
3014.17/3023.38	c      3023          62541       43522         1                -  1076029647.1789          -
3021.05/3030.27	c      3030          62545       43524         1                -  1076029647.1789          -
3026.95/3036.15	c      3036          62549       43524         1                -  1076029647.1789          -
3032.52/3041.70	c      3042          62553       43524         1                -  1076029647.1789          -
3037.70/3046.91	c      3047          62787       43692         1                -  1076029647.1789          -
3042.80/3052.10	c      3052          63031       43870         1                -  1076029647.1789          -
3048.57/3057.86	c      3058          63207       43967         1                -  1076029647.1789          -
3053.94/3063.23	c      3063          63382       44084         1                -  1076029647.1789          -
3059.03/3068.39	c      3068          63772       44376         1                -  1076029647.1789          -
3064.31/3073.62	c      3074          64008       44525         1                -  1076029647.1789          -
3069.81/3079.19	c      3079          64228       44675         1                -  1076029647.1789          -
3075.08/3084.48	c      3084          64413       44800         1                -  1076029647.1789          -
3080.26/3089.66	c      3090          64670       44994         1                -  1076029647.1789          -
3085.65/3095.05	c      3095          64858       45112         1                -  1076029647.1789          -
3091.12/3100.51	c      3101          64998       45190         1                -  1076029647.1789          -
3096.73/3106.15	c      3106          65127       45279         1                -  1076029647.1789          -
3104.20/3113.60	c      3114          65132       45280         1                -  1076029647.1789          -
3110.08/3119.53	c      3120          65137       45281         1                -  1076029647.1789          -
3117.36/3126.86	c      3127          65143       45287         1                -  1076029647.1789          -
3122.44/3131.97	c      3132          65436       45493         1                -  1076029647.1789          -
3127.73/3137.26	c      3137          65609       45584         1                -  1076029647.1789          -
3133.31/3142.85	c      3143          65843       45733         1                -  1076029647.1789          -
3138.51/3148.06	c      3148          66102       45882         1                -  1076029647.1789          -
3143.67/3153.29	c      3153          66377       46072         1                -  1076029647.1789          -
3149.16/3158.77	c      3159          66544       46153         1                -  1076029647.1789          -
3154.24/3163.89	c      3164          66745       46282         1                -  1076029647.1789          -
3159.54/3169.18	c      3169          66927       46403         1                -  1076029647.1789          -
3164.91/3174.52	c      3175          67036       46466         1                -  1076029647.1789          -
3170.10/3179.77	c      3180          67185       46551         1                -  1076029647.1789          -
3175.39/3185.10	c      3185          67439       46726         1                -  1076029647.1789          -
3181.56/3191.26	c      3191          67553       46804         1                -  1076029647.1789          -
3188.14/3197.85	c      3198          67654       46875         1                -  1076029647.1789          -
3193.53/3203.29	c      3203          67814       46967         1                -  1076029647.1789          -
3198.81/3208.56	c      3209          68059       47158         1                -  1076029647.1789          -
3203.89/3213.65	c      3214          68150       47211         1                -  1076029647.1789          -
3209.39/3219.18	c      3219          68331       47347         1                -  1076029647.1789          -
3214.56/3224.30	c      3224          68581       47513         1                -  1076029647.1789          -
3219.84/3229.60	c      3230          68788       47648         1                -  1076029647.1789          -
3225.02/3234.84	c      3235          69021       47827         1                -  1076029647.1789          -
3230.41/3240.27	c      3240          69294       48060         1                -  1076029647.1789          -
3235.89/3245.79	c      3246          69512       48219         1                -  1076029647.1789          -
3241.18/3251.08	c      3251          69714       48389         1                -  1076029647.1789          -
3246.45/3256.35	c      3256          69954       48581         1                -  1076029647.1789          -
3251.45/3261.38	c      3261          70013       48612         1                -  1076029647.1789          -
3257.13/3267.01	c      3267          70217       48766         1                -  1076029647.1789          -
3262.31/3272.29	c      3272          70405       48881         1                -  1076029647.1789          -
3267.59/3277.57	c      3278          70623       49033         1                -  1076029647.1789          -
3272.87/3282.86	c      3283          70851       49171         1                -  1076029647.1789          -
3278.86/3288.88	c      3289          71023       49290         1                -  1076029647.1789          -
3284.06/3294.09	c      3294          71173       49410         1                -  1076029647.1789          -
3289.53/3299.55	c      3300          71372       49533         1                -  1076029647.1789          -
3295.12/3305.11	c      3305          71597       49662         1                -  1076029647.1789          -
3301.10/3311.16	c      3311          71602       49667         1                -  1076029647.1789          -
3310.87/3320.93	c      3321          71604       49667         1                -  1076029647.1789          -
3317.75/3327.87	c      3328          71729       49728         1                -  1076029647.1789          -
3323.23/3333.38	c      3333          71908       49847         1                -  1076029647.1789          -
3328.31/3338.46	c      3338          72105       49982         1                -  1076029647.1789          -
3333.79/3343.93	c      3344          72358       50156         1                -  1076029647.1789          -
3338.89/3349.01	c      3349          72684       50405         1                -  1076029647.1789          -
3344.06/3354.21	c      3354          72936       50581         1                -  1076029647.1789          -
3349.44/3359.61	c      3360          73145       50716         1                -  1076029647.1789          -
3355.02/3365.25	c      3365          73232       50779         1                -  1076029647.1789          -
3362.31/3372.59	c      3373          73235       50782         1                -  1076029647.1789          -
3367.50/3377.76	c      3378          73238       50785         1                -  1076029647.1789          -
3372.80/3383.02	c      3383          73241       50786         1                -  1076029647.1789          -
3379.27/3389.59	c      3390          73244       50785         1                -  1076029647.1789          -
3384.87/3395.19	c      3395          73355       50876         1                -  1076029647.1789          -
3393.24/3403.56	c      3404          73357       50878         1                -  1076029647.1789          -
3401.02/3411.30	c      3411          73360       50877         1                -  1076029647.1789          -
3408.60/3418.93	c      3419          73365       50878         1                -  1076029647.1789          -
3416.28/3426.64	c      3427          73372       50885         1                -  1076029647.1789          -
3425.06/3435.45	c      3435          73373       50886         1                -  1076029647.1789          -
3432.54/3442.92	c      3443          73379       50888         1                -  1076029647.1789          -
3439.64/3450.08	c      3450          73385       50892         1                -  1076029647.1789          -
3446.01/3456.46	c      3456          73391       50896         1                -  1076029647.1789          -
3452.89/3463.32	c      3463          73394       50897         1                -  1076029647.1789          -
3459.59/3470.04	c      3470          73401       50902         1                -  1076029647.1789          -
3466.36/3476.89	c      3477          73405       50906         1                -  1076029647.1789          -
3471.66/3482.11	c      3482          73584       51017         1                -  1076029647.1789          -
3478.92/3489.49	c      3490          73717       51132         1                -  1076029647.1789          -
3484.31/3494.85	c      3495          73719       51132         1                -  1076029647.1789          -
3492.79/3503.31	c      3503          73724       51135         1                -  1076029647.1789          -
3497.78/3508.39	c      3508          73806       51189         1                -  1076029647.1789          -
3502.96/3513.50	c      3514          73973       51270         1                -  1076029647.1789          -
3508.35/3518.92	c      3519          74190       51445         1                -  1076029647.1789          -
3513.62/3524.29	c      3524          74368       51547         1                -  1076029647.1789          -
3518.71/3529.34	c      3529          74534       51665         1                -  1076029647.1789          -
3523.89/3534.59	c      3535          74539       51670         1                -  1076029647.1789          -
3529.08/3539.71	c      3540          74543       51674         1                -  1076029647.1789          -
3534.27/3544.98	c      3545          74748       51819         1                -  1076029647.1789          -
3539.56/3550.28	c      3550          74778       51841         1                -  1076029647.1789          -
3544.83/3555.50	c      3556          75000       52009         1                -  1076029647.1789          -
3550.12/3560.88	c      3561          75151       52092         1                -  1076029647.1789          -
3556.10/3566.85	c      3567          75425       52318         1                -  1076029647.1789          -
3561.18/3571.92	c      3572          75578       52417         1                -  1076029647.1789          -
3566.28/3577.10	c      3577          75798       52563         1                -  1076029647.1789          -
3571.65/3582.43	c      3582          76022       52707         1                -  1076029647.1789          -
3576.84/3587.63	c      3588          76168       52783         1                -  1076029647.1789          -
3586.01/3596.87	c      3597          76263       52846         1                -  1076029647.1789          -
3591.40/3602.23	c SCIP Status        : c solving was interrupted [hard time limit reached]
3591.40/3602.23	c Total Time         : 3602.2200
3591.40/3602.23	c   solving          : 3602.2200
3591.40/3602.23	c   presolving       : 1.7949 (included in solving)
3591.40/3602.23	c B&B Tree           :
3591.40/3602.23	c   nodes (total)    : 1
3591.40/3602.23	c Solution           :
3591.40/3602.23	c   Solutions found  : 0
3591.40/3602.23	c   Primal Bound     :          -
3591.40/3602.23	c   Dual Bound       : +1.07602964717885e+09
3591.40/3602.23	c Gap                :          -
3591.40/3602.26	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 (63076 MiB free)
  memory of node 1: 64510 MiB (62120 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100102 s]*
/proc/loadavg: 3.33 4.03 4.14 5/248 812060
/proc/meminfo: memFree=128168812/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=50064 memory=39368 CPUtime=0.1 cores=0,2
/proc/812059/stat : 812059 (fscip) R 812056 812059 811937 0 -1 4194304 7567 0 0 0 8 2 0 0 20 0 1 0 158285898 51265536 9842 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 12516 9842 2558 3032 0 8916 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50064 KiB
Current children cumulated memory: 39368 KiB

[startup+0.213746 s]*
/proc/loadavg: 3.33 4.03 4.14 5/248 812060
/proc/meminfo: memFree=128167080/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=53420 memory=41720 CPUtime=0.22 cores=0,2
/proc/812059/stat : 812059 (fscip) R 812056 812059 811937 0 -1 4194304 8081 0 0 0 19 3 0 0 20 0 1 0 158285898 54702080 10430 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 13355 10430 2622 3032 0 9755 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 41720 KiB

[startup+0.313326 s]*
/proc/loadavg: 3.33 4.03 4.14 5/248 812060
/proc/meminfo: memFree=128121496/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=65204 memory=49636 CPUtime=0.31 cores=0,2
/proc/812059/stat : 812059 (fscip) R 812056 812059 811937 0 -1 4194304 10095 0 0 0 28 3 0 0 20 0 1 0 158285898 66768896 12409 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 16301 12409 2638 3032 0 12701 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 65204 KiB
Current children cumulated memory: 49636 KiB

[startup+0.700358 s]
/proc/loadavg: 3.33 4.03 4.14 6/248 812060
/proc/meminfo: memFree=128108568/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=73512 memory=59584 CPUtime=0.69 cores=0,2
/proc/812059/stat : 812059 (fscip) R 812056 812059 811937 0 -1 4194304 15163 0 0 0 64 5 0 0 20 0 1 0 158285898 75276288 14896 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 18378 14896 2750 3032 0 14778 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 73512 KiB
Current children cumulated memory: 59584 KiB

[startup+1.50034 s]
/proc/loadavg: 3.33 4.03 4.14 5/248 812060
/proc/meminfo: memFree=128098012/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=86800 memory=71180 CPUtime=1.48 cores=0,2
/proc/812059/stat : 812059 (fscip) R 812056 812059 811937 0 -1 4194304 17650 0 0 0 143 5 0 0 20 0 1 0 158285898 88883200 17795 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 21700 17795 2750 3032 0 18100 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 86800 KiB
Current children cumulated memory: 71180 KiB

[startup+3.11266 s]
/proc/loadavg: 3.47 4.04 4.15 5/252 812064
/proc/meminfo: memFree=127588264/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=315744 memory=224652 CPUtime=3.08 cores=0,2
/proc/812059/stat : 812059 (fscip) S 812056 812059 811937 0 -1 1077936128 68224 0 0 0 296 12 0 0 20 0 3 0 158285898 323321856 56163 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 78936 56163 2894 3032 0 67699 0
[pid=812059/tid=812062] ppid=812056 vsize=315744 memory=198340509722 CPUtime=1.16 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 36081 0 0 0 112 4 0 0 20 0 3 0 158286089 323321856 56163 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=315744 memory=0 CPUtime=0 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 158286097 323321856 56163 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 315744 KiB
Current children cumulated memory: 224652 KiB

[startup+6.30038 s]
/proc/loadavg: 3.47 4.04 4.15 5/252 812066
/proc/meminfo: memFree=127405976/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=385976 memory=295200 CPUtime=6.27 cores=0,2
/proc/812059/stat : 812059 (fscip) S 812056 812059 811937 0 -1 1077936128 92794 0 0 0 611 16 0 0 20 0 3 0 158285898 395239424 73800 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 96494 73800 2926 3032 0 89317 0
[pid=812059/tid=812062] ppid=812056 vsize=385976 memory=0 CPUtime=4.34 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 60621 0 0 0 426 8 0 0 20 0 3 0 158286089 395239424 73800 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=385976 memory=0 CPUtime=0 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 158286097 395239424 73800 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 385976 KiB
Current children cumulated memory: 295200 KiB

[startup+12.7004 s]
/proc/loadavg: 3.51 4.04 4.15 5/252 812066
/proc/meminfo: memFree=127319120/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=385976 memory=300744 CPUtime=12.64 cores=0,2
/proc/812059/stat : 812059 (fscip) S 812056 812059 811937 0 -1 1077936128 135892 0 0 0 1246 18 0 0 20 0 3 0 158285898 395239424 75186 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 96494 75186 2974 3032 0 89317 0
[pid=812059/tid=812062] ppid=812056 vsize=385976 memory=0 CPUtime=10.71 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 103668 0 0 0 1061 10 0 0 20 0 3 0 158286089 395239424 75186 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=385976 memory=300744 CPUtime=0 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 158286097 395239424 75186 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 385976 KiB
Current children cumulated memory: 300744 KiB

[startup+25.5004 s]
/proc/loadavg: 3.62 4.04 4.14 5/252 812070
/proc/meminfo: memFree=127210280/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=451512 memory=352248 CPUtime=25.38 cores=0,2
/proc/812059/stat : 812059 (fscip) S 812056 812059 811937 0 -1 1077936128 250431 0 0 0 2512 26 0 0 20 0 3 0 158285898 462348288 88062 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 112878 88062 2974 3032 0 100264 0
[pid=812059/tid=812062] ppid=812056 vsize=451512 memory=12440 CPUtime=23.46 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 218139 0 0 0 2328 18 0 0 20 0 3 0 158286089 462348288 88062 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=451512 memory=351680 CPUtime=0 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 158286097 462348288 88062 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 451512 KiB
Current children cumulated memory: 352248 KiB

[startup+51.1128 s]
/proc/loadavg: 3.95 4.08 4.16 5/252 812073
/proc/meminfo: memFree=127104076/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=512352 memory=404772 CPUtime=50.9 cores=0,2
/proc/812059/stat : 812059 (fscip) S 812056 812059 811937 0 -1 1077936128 384661 0 0 0 5054 36 0 0 20 0 3 0 158285898 524648448 101193 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 128088 101193 2974 3032 0 113058 0
[pid=812059/tid=812062] ppid=812056 vsize=512352 memory=404772 CPUtime=48.97 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 352265 0 0 0 4869 28 0 0 20 0 3 0 158286089 524648448 101193 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=512352 memory=403216 CPUtime=0 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 158286097 524648448 101193 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 512352 KiB
Current children cumulated memory: 404772 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.15 5/250 812083
/proc/meminfo: memFree=126983184/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=512352 memory=432956 CPUtime=101.9 cores=0,2
/proc/812059/stat : 812059 (fscip) S 812056 812059 811937 0 -1 1077936128 548869 0 0 0 10142 48 0 0 20 0 3 0 158285898 524648448 108239 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 128088 108239 2974 3032 0 119442 0
[pid=812059/tid=812062] ppid=812056 vsize=512352 memory=140323292602993 CPUtime=99.97 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 516348 0 0 0 9957 40 0 0 20 0 3 0 158286089 524648448 108239 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=512352 memory=432940 CPUtime=0 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 158286097 524648448 108239 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 512352 KiB
Current children cumulated memory: 432956 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.15 5/250 812093
/proc/meminfo: memFree=126896360/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=577888 memory=491180 CPUtime=161.68 cores=0,2
/proc/812059/stat : 812059 (fscip) S 812056 812059 811937 0 -1 1077936128 703273 0 0 0 16106 62 0 0 20 0 3 0 158285898 591757312 122795 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 144472 122795 2990 3032 0 134530 0
[pid=812059/tid=812062] ppid=812056 vsize=577888 memory=491152 CPUtime=159.74 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 670684 0 0 0 15921 53 0 0 20 0 3 0 158286089 591757312 122795 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=577888 memory=491152 CPUtime=0 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 158286097 591757312 122795 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 577888 KiB
Current children cumulated memory: 491180 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.15 5/250 812104
/proc/meminfo: memFree=126856480/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=577888 memory=493452 CPUtime=221.5 cores=0,2
/proc/812059/stat : 812059 (fscip) S 812056 812059 811937 0 -1 1077936128 774236 0 0 0 22083 67 0 0 20 0 3 0 158285898 591757312 123363 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 144472 123363 2990 3032 0 134530 0
[pid=812059/tid=812062] ppid=812056 vsize=577888 memory=12676 CPUtime=219.55 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 741583 0 0 0 21897 58 0 0 20 0 3 0 158286089 591757312 123363 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=577888 memory=493452 CPUtime=0 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 158286097 591757312 123363 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 577888 KiB
Current children cumulated memory: 493452 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.14 5/250 812116
/proc/meminfo: memFree=126768332/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=643424 memory=539800 CPUtime=281.3 cores=0,2

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

/proc/812059/statm: 373848 356681 2990 3032 0 361333 0
[pid=812059/tid=812062] ppid=812056 vsize=1495392 memory=1414540 CPUtime=3389.86 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 2410079 0 0 0 338742 244 0 0 20 0 3 0 158286089 1531281408 356681 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=1495392 memory=1426724 CPUtime=0.05 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 228 0 0 0 1 4 0 0 20 0 3 0 158286097 1531281408 356681 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 3392.04 s
Current children cumulated vsize: 1495392 KiB
Current children cumulated memory: 1426724 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.26 4.25 5/252 813887
/proc/meminfo: memFree=124949868/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=1495392 memory=1426724 CPUtime=3451.89 cores=0,2
/proc/812059/stat : 812059 (fscip) S 812056 812059 811937 0 -1 1077936128 2446928 0 0 0 344925 264 0 0 20 0 3 0 158285898 1531281408 356681 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 373848 356681 2990 3032 0 361333 0
[pid=812059/tid=812062] ppid=812056 vsize=1495392 memory=1414540 CPUtime=3449.71 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 2413131 0 0 0 344727 244 0 0 20 0 3 0 158286089 1531281408 356681 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=1495392 memory=1426724 CPUtime=0.05 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 236 0 0 0 1 4 0 0 20 0 3 0 158286097 1531281408 356681 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 3451.89 s
Current children cumulated vsize: 1495392 KiB
Current children cumulated memory: 1426724 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.22 4.23 5/252 813897
/proc/meminfo: memFree=124936312/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=1495392 memory=1434664 CPUtime=3511.73 cores=0,2
/proc/812059/stat : 812059 (fscip) S 812056 812059 811937 0 -1 1077936128 2476465 0 0 0 350906 267 0 0 20 0 3 0 158285898 1531281408 358666 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 373848 358666 2990 3032 0 363318 0
[pid=812059/tid=812062] ppid=812056 vsize=1495392 memory=1430684 CPUtime=3509.55 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 2442647 0 0 0 350708 247 0 0 20 0 3 0 158286089 1531281408 358666 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=1495392 memory=12676 CPUtime=0.05 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 243 0 0 0 1 4 0 0 20 0 3 0 158286097 1531281408 358666 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 3511.73 s
Current children cumulated vsize: 1495392 KiB
Current children cumulated memory: 1434664 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.21 4.23 5/251 813908
/proc/meminfo: memFree=124901080/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=1495392 memory=1449740 CPUtime=3571.55 cores=0,2
/proc/812059/stat : 812059 (fscip) S 812056 812059 811937 0 -1 1077936128 2499798 0 0 0 356886 269 0 0 20 0 3 0 158285898 1531281408 362435 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 373848 362435 2990 3032 0 366980 0
[pid=812059/tid=812062] ppid=812056 vsize=1495392 memory=12440 CPUtime=3569.36 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 2465960 0 0 0 356687 249 0 0 20 0 3 0 158286089 1531281408 362435 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=1495392 memory=1449396 CPUtime=0.05 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 245 0 0 0 1 4 0 0 20 0 3 0 158286097 1531281408 362435 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 3571.55 s
Current children cumulated vsize: 1495392 KiB
Current children cumulated memory: 1449740 KiB

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

# cumulated CPU time of all completed processes:  user=3588.76 s, system=2.73243 s

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

[startup+3584 s]*
/proc/loadavg: 4.22 4.22 4.23 5/251 813908
/proc/meminfo: memFree=124897840/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=1495392 memory=1452960 CPUtime=3573.26 cores=0,2
/proc/812059/stat : 812059 (fscip) S 812056 812059 811937 0 -1 1077936128 2500705 0 0 0 357056 270 0 0 20 0 3 0 158285898 1531281408 363240 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 373848 363240 2990 3032 0 367785 0
[pid=812059/tid=812062] ppid=812056 vsize=1495392 memory=6720666549495151473 CPUtime=3571.07 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 2466867 0 0 0 356857 250 0 0 20 0 3 0 158286089 1531281408 363240 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=1495392 memory=-8621784589405766303 CPUtime=0.05 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 245 0 0 0 1 4 0 0 20 0 3 0 158286097 1531281408 363240 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 3573.26 s
Current children cumulated vsize: 1495392 KiB
Current children cumulated memory: 1452960 KiB

[startup+3590.4 s]
/proc/loadavg: 4.20 4.22 4.23 5/251 813909
/proc/meminfo: memFree=124896016/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=1495392 memory=1454680 CPUtime=3579.63 cores=0,2
/proc/812059/stat : 812059 (fscip) S 812056 812059 811937 0 -1 1077936128 2501840 0 0 0 357693 270 0 0 20 0 3 0 158285898 1531281408 363670 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 373848 363670 2990 3032 0 368225 0
[pid=812059/tid=812062] ppid=812056 vsize=1495392 memory=42368 CPUtime=3577.44 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 2468002 0 0 0 357494 250 0 0 20 0 3 0 158286089 1531281408 363670 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=1495392 memory=164 CPUtime=0.05 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 245 0 0 0 1 4 0 0 20 0 3 0 158286097 1531281408 363670 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 3579.63 s
Current children cumulated vsize: 1495392 KiB
Current children cumulated memory: 1454680 KiB

[startup+3596.8 s]
/proc/loadavg: 4.18 4.22 4.23 5/251 813911
/proc/meminfo: memFree=124895820/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=1495392 memory=1454680 CPUtime=3586.01 cores=0,2
/proc/812059/stat : 812059 (fscip) S 812056 812059 811937 0 -1 1077936128 2501840 0 0 0 358331 270 0 0 20 0 3 0 158285898 1531281408 363670 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 373848 363670 2990 3032 0 368225 0
[pid=812059/tid=812062] ppid=812056 vsize=1495392 memory=5576 CPUtime=3583.82 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 2468002 0 0 0 358132 250 0 0 20 0 3 0 158286089 1531281408 363670 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=1495392 memory=16328 CPUtime=0.05 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 245 0 0 0 1 4 0 0 20 0 3 0 158286097 1531281408 363670 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 3586.01 s
Current children cumulated vsize: 1495392 KiB
Current children cumulated memory: 1454680 KiB

[startup+3600 s]*
/proc/loadavg: 4.17 4.21 4.23 3/232 813979
/proc/meminfo: memFree=127142452/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=1495392 memory=1454720 CPUtime=3589.22 cores=0,2
/proc/812059/stat : 812059 (fscip) S 812056 812059 811937 0 -1 1077936128 2501947 0 0 0 358652 270 0 0 20 0 3 0 158285898 1531281408 363680 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 373848 363680 2990 3032 0 368225 0
[pid=812059/tid=812062] ppid=812056 vsize=1495392 memory=-6170700500732116165 CPUtime=3587.03 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 2468109 0 0 0 358453 250 0 0 20 0 3 0 158286089 1531281408 363680 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=1495392 memory=42368 CPUtime=0.05 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 245 0 0 0 1 4 0 0 20 0 3 0 158286097 1531281408 363680 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 3589.22 s
Current children cumulated vsize: 1495392 KiB
Current children cumulated memory: 1454720 KiB

[startup+3601.6 s]
/proc/loadavg: 4.17 4.21 4.23 5/247 814051
/proc/meminfo: memFree=126789188/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=1495392 memory=1454720 CPUtime=3590.8 cores=0,2
/proc/812059/stat : 812059 (fscip) S 812056 812059 811937 0 -1 1077936128 2504473 0 0 0 358810 270 0 0 20 0 3 0 158285898 1531281408 363680 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 373848 363680 2990 3032 0 368225 0
[pid=812059/tid=812062] ppid=812056 vsize=1495392 memory=1454720 CPUtime=3588.61 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 2470639 0 0 0 358611 250 0 0 20 0 3 0 158286089 1531281408 363680 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=1495392 memory=5576 CPUtime=0.05 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 245 0 0 0 1 4 0 0 20 0 3 0 158286097 1531281408 363680 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 3590.8 s
Current children cumulated vsize: 1495392 KiB
Current children cumulated memory: 1454720 KiB

[startup+3602 s]*
/proc/loadavg: 4.17 4.21 4.23 5/248 814052
/proc/meminfo: memFree=126730456/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=1495392 memory=1454720 CPUtime=3591.21 cores=0,2
/proc/812059/stat : 812059 (fscip) S 812056 812059 811937 0 -1 1077936128 2507661 0 0 0 358851 270 0 0 20 0 3 0 158285898 1531281408 363680 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 373848 363680 2990 3032 0 368225 0
[pid=812059/tid=812062] ppid=812056 vsize=1495392 memory=-8816194742297928380 CPUtime=3589.02 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 2473822 0 0 0 358652 250 0 0 20 0 3 0 158286089 1531281408 363680 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=1495392 memory=1454720 CPUtime=0.05 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 245 0 0 0 1 4 0 0 20 0 3 0 158286097 1531281408 363680 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 3591.21 s
Current children cumulated vsize: 1495392 KiB
Current children cumulated memory: 1454720 KiB

[startup+3602.2 s]
/proc/loadavg: 4.17 4.21 4.23 5/248 814052
/proc/meminfo: memFree=126730456/131655788 swapFree=131071996/131071996
[pid=812059] ppid=812056 vsize=1495392 memory=1454720 CPUtime=3591.4 cores=0,2
/proc/812059/stat : 812059 (fscip) S 812056 812059 811937 0 -1 1077936128 2509910 0 0 0 358870 270 0 0 20 0 3 0 158285898 1531281408 363680 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
/proc/812059/statm: 373848 363680 2990 3032 0 368225 0
[pid=812059/tid=812062] ppid=812056 vsize=1495392 memory=551 CPUtime=3589.2 cores=0,2
/proc/812059/task/812062/stat : 812062 (fscip) R 812056 812059 811937 0 -1 4194368 2476071 0 0 0 358670 250 0 0 20 0 3 0 158286089 1531281408 363680 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
[pid=812059/tid=812063] ppid=812056 vsize=1495392 memory=26269 CPUtime=0.05 cores=0,2
/proc/812059/task/812063/stat : 812063 (fscip) S 812056 812059 811937 0 -1 1077936192 245 0 0 0 1 4 0 0 20 0 3 0 158286097 1531281408 363680 134679101440 4194304 16613245 140734904283376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33615872 140734904292373 140734904292489 140734904292489 140734904299504 0
Current children cumulated CPU time: 3591.4 s
Current children cumulated vsize: 1495392 KiB
Current children cumulated memory: 1454720 KiB

Child status: 0

Real time (s): 3602.29
CPU time (s): 3591.49
CPU user time (s): 3588.76
CPU system time (s): 2.73243
CPU usage (%): 99.7004
Max. virtual memory (cumulated for all children) (KiB): 1495392
Max. memory (cumulated for all children) (KiB): 1454720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.76
system time used= 2.73243
maximum resident set size= 1454720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2511206
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= 8475
involuntary context switches= 24611


# summary of solver processes directly reported to runsolver:
#   pid: 812059
#   total CPU time (s): 3591.49
#   total CPU user time (s): 3588.76
#   total CPU system time (s): 2.73243

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.73 second user time and 34.5878 second system time

The end

Launcher Data

Begin job on nodeC002 at 2024-07-15 18:34:51
IDJOB=4434585
IDBENCH=146775
IDSOLVER=3064
FILE ID=nodeC002/4434585-1721061278
RUNJOBID= nodeC002-1721061290-811947
SLURM_JOB_ID= 7505511
Free space on /tmp= 723696 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ir98.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-4434585-1721061278/watcher-4434585-1721061278 -o /tmp/evaluation-result-4434585-1721061278/solver-4434585-1721061278 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721061290-811947 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434585-1721061278.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 1ab00a09bce4fe90071f9bd51d0e1c65
RANDOM SEED=8386153

nodeC002.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		: 1197.159
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	: 6983.38
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		: 1496.439
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.31
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		: 1197.154
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	: 6983.38
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		: 1197.290
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.31
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		: 1396.677
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	: 6983.38
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		: 1795.727
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.31
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		: 1197.364
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	: 6983.38
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		: 1197.275
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128214292 kB
MemAvailable:   129629004 kB
Buffers:          381836 kB
Cached:          1861188 kB
SwapCached:            0 kB
Active:           609204 kB
Inactive:        2276704 kB
Active(anon):       2692 kB
Inactive(anon):   677888 kB
Active(file):     606512 kB
Inactive(file):  1598816 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            118548 kB
Writeback:             4 kB
AnonPages:        642496 kB
Mapped:           137572 kB
Shmem:             37704 kB
KReclaimable:      98832 kB
Slab:             196736 kB
SReclaimable:      98832 kB
SUnreclaim:        97904 kB
KernelStack:        3968 kB
PageTables:        10304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     833840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52800 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:    20674560 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 723664 MiB
End job on nodeC002 at 2024-07-15 19:34:53