Trace number 4447280

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02? 3591.05 3600.05

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K71.opb
MD5SUM9c6bc9cc94309c2493f896d524de96fb
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.08104
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3905
Total number of constraints4049
Number of constraints which are clauses3978
Number of constraints which are cardinality constraints (but not clauses)71
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint71
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 72
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02	c Default LC presolving (default).
0.00/0.02	c ** Before presolving: virtualMemUsedAtLc = 39751680, getVmSize() = 39751680, SCIPgetMemUsed() = 14464795, SCIPgetMemTotal() = 17724699, SCIPgetMemExternEstim() = 7613233
0.00/0.02	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
2.58/2.63	c ** Estimated virtualMemUsedAtSolver = 48459410, getVmSize() = 89112576, SCIPgetMemUsed() = 44943811, SCIPgetMemTotal() = 65075883, SCIPgetMemExternEstim() = 7613233
2.58/2.63	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
2.58/2.63	c Original Problem   :
2.58/2.63	c   Problem name     : instance-4447280-1721349379
2.58/2.63	c   Variables        : 3905 (3905 binary, 0 integer, 0 implicit integer, 0 continuous)
2.58/2.63	c   Constraints      : 4049
2.58/2.63	c   Objective sense  : minimize
2.58/2.63	c Presolved Problem  :
2.58/2.63	c   Variables        : 3103 (3103 binary, 0 integer, 0 implicit integer, 0 continuous)
2.58/2.63	c   Constraints      : 3221
2.58/2.63	c Constraints        : Number
2.58/2.63	c   setppc           : 659 
2.58/2.63	c   logicor          : 2562 
2.58/2.63	c ** Instance transfer method used: 0
2.58/2.64	c ** ParaScipInstance copy does not increase the number of variables. **
2.58/2.65	c LC is working with racing ramp-up and with rebuilding tree after racing.
2.58/2.65	c                                Nodes    Active                                            
2.58/2.65	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
26.21/26.31	c        26              2           1         1                -           0.0000          -
33.09/33.28	c        33             19          18         1                -           0.0000          -
43.45/43.65	c        44             30          29         1                -           0.0000          -
48.54/48.75	c        49             35          32         1                -           0.0000          -
54.32/54.59	c        55             54          35         1                -           0.0000          -
60.50/60.78	c        61             94          41         1                -           0.0000          -
66.68/66.96	c        67            121          46         1                -           0.0000          -
75.45/75.73	c        76            154          47         1                -           0.0000          -
81.34/81.65	c        82            181          52         1                -           0.0000          -
87.22/87.54	c        88            224          55         1                -           0.0000          -
93.00/93.33	c        93            276          59         1                -           0.0000          -
99.48/99.84	c       100            302          63         1                -           0.0000          -
105.66/106.06	c       106            323          74         1                -           0.0000          -
111.74/112.15	c       112            344          83         1                -           0.0000          -
117.83/118.29	c       118            364          97         1                -           0.0000          -
123.91/124.35	c       124            378         101         1                -           0.0000          -
129.09/129.58	c       130            399         114         1                -           0.0000          -
134.37/134.85	c       135            411         120         1                -           0.0000          -
139.56/140.00	c       140            425         121         1                -           0.0000          -
145.44/145.98	c       146            461         129         1                -           0.0000          -
151.23/151.71	c       152            486         136         1                -           0.0000          -
156.71/157.23	c       157            510         145         1                -           0.0000          -
161.90/162.49	c       162            596         147         1                -           0.0000          -
167.28/167.88	c       168            656         147         1                -           0.0000          -
173.06/173.61	c       174            723         144         1                -           0.0000          -
179.25/179.83	c       180            779         143         1                -           0.0000          -
184.74/185.30	c       185            798         150         1                -           0.0000          -
189.83/190.44	c       190            893         151         1                -           0.0000          -
195.61/196.26	c       196            948         148         1                -           0.0000          -
200.69/201.33	c       201            976         152         1                -           0.0000          -
206.48/207.14	c       207           1019         155         1                -           0.0000          -
211.47/212.16	c       212           1067         160         1                -           0.0000          -
225.44/226.15	c       226           1096         166         1                -           0.0000          -
230.92/231.65	c       232           1176         160         1                -           0.0000          -
238.90/239.67	c       240           1187         159         1                -           0.0000          -
244.49/245.20	c       245           1231         166         1                -           0.0000          -
250.28/251.03	c       251           1284         169         1                -           0.0000          -
256.16/256.99	c       257           1337         173         1                -           0.0000          -
275.50/276.36	c       276           1380           1         1                -           0.0000          -
283.19/284.07	c       284           1384           5         1                -           0.0000          -
288.97/289.83	c       290           1385           6         1                -           0.0000          -
296.35/297.20	c       297           1387           8         1                -           0.0000          -
306.24/307.18	c       307           1390          11         1                -           0.0000          -
311.83/312.75	c       313           1391          12         1                -           0.0000          -
318.01/318.95	c       319           1394          15         1                -           0.0000          -
323.30/324.22	c       324           1417          22         1                -           0.0000          -
328.39/329.34	c       329           1494          23         1                -           0.0000          -
334.08/335.01	c       335           1535          28         1                -           0.0000          -
339.46/340.40	c       340           1591          30         1                -           0.0000          -
344.55/345.51	c       346           1662          31         1                -           0.0000          -
349.73/350.75	c       351           1760          31         1                -           0.0000          -
355.02/356.07	c       356           1847          32         1                -           0.0000          -
360.41/361.44	c       361           1929          28         1                -           0.0000          -
365.49/366.53	c       367           2010          31         1                -           0.0000          -
370.68/371.76	c       372           2120          31         1                -           0.0000          -
376.47/377.54	c       378           2165          40         1                -           0.0000          -
381.55/382.62	c       383           2252          37         1                -           0.0000          -
386.74/387.80	c       388           2333          38         1                -           0.0000          -
392.53/393.69	c       394           2391          40         1                -           0.0000          -
397.92/399.08	c       399           2460          37         1                -           0.0000          -
403.20/404.39	c       404           2522          39         1                -           0.0000          -
408.69/409.80	c       410           2581          38         1                -           0.0000          -
413.98/415.11	c       415           2646          37         1                -           0.0000          -
419.26/420.42	c       420           2723          38         1                -           0.0000          -
424.45/425.65	c       426           2791          36         1                -           0.0000          -
429.64/430.85	c       431           2870          39         1                -           0.0000          -
434.83/436.09	c       436           2939          38         1                -           0.0000          -
440.11/441.30	c       441           3016          39         1                -           0.0000          -
445.50/446.79	c       447           3104          37         1                -           0.0000          -
450.89/452.17	c       452           3180          37         1                -           0.0000          -
456.17/457.47	c       457           3242          35         1                -           0.0000          -
461.36/462.61	c       463           3306          37         1                -           0.0000          -
466.85/468.15	c       468           3365          36         1                -           0.0000          -
472.53/473.85	c       474           3425          42         1                -           0.0000          -
478.02/479.36	c       479           3508          37         1                -           0.0000          -
483.21/484.60	c       485           3591          40         1                -           0.0000          -
488.50/489.84	c       490           3683          40         1                -           0.0000          -
493.79/495.13	c       495           3760          39         1                -           0.0000          -
498.97/500.34	c       500           3836          41         1                -           0.0000          -
504.06/505.49	c       506           3902          41         1                -           0.0000          -
509.34/510.76	c       511           3971          38         1                -           0.0000          -
514.74/516.13	c       516           4037          38         1                -           0.0000          -
519.92/521.37	c       521           4096          41         1                -           0.0000          -
525.41/526.88	c       527           4161          38         1                -           0.0000          -
530.70/532.14	c       532           4223          36         1                -           0.0000          -
536.19/537.64	c       538           4311          36         1                -           0.0000          -
541.47/542.93	c       543           4384          35         1                -           0.0000          -
546.76/548.20	c       548           4454          37         1                -           0.0000          -
552.25/553.78	c       554           4512          35         1                -           0.0000          -
557.64/559.14	c       559           4567          36         1                -           0.0000          -
562.92/564.43	c       564           4629          34         1                -           0.0000          -
568.11/569.63	c       570           4677          34         1                -           0.0000          -
573.30/574.88	c       575           4756          35         1                -           0.0000          -
578.78/580.34	c       580           4846          33         1                -           0.0000          -
583.97/585.53	c       586           4911          34         1                -           0.0000          -
589.16/590.78	c       591           4988          35         1                -           0.0000          -
594.55/596.11	c       596           5044          37         1                -           0.0000          -
599.93/601.50	c       602           5114          43         1                -           0.0000          -
605.22/606.83	c       607           5188          41         1                -           0.0000          -
610.41/612.06	c       612           5245          38         1                -           0.0000          -
615.59/617.25	c       617           5311          34         1                -           0.0000          -
620.88/622.57	c       623           5360          35         1                -           0.0000          -
626.37/628.00	c       628           5420          39         1                -           0.0000          -
631.65/633.30	c       633           5476          41         1                -           0.0000          -
636.94/638.65	c       639           5532          41         1                -           0.0000          -
642.33/644.05	c       644           5604          39         1                -           0.0000          -
647.61/649.38	c       649           5673          38         1                -           0.0000          -
652.80/654.54	c       655           5744          37         1                -           0.0000          -
658.19/659.92	c       660           5808          35         1                -           0.0000          -
663.38/665.13	c       665           5864          37         1                -           0.0000          -
668.66/670.48	c       670           5945          38         1                -           0.0000          -
674.26/676.00	c       676           6005          34         1                -           0.0000          -
679.74/681.57	c       682           6053          34         1                -           0.0000          -
685.13/686.93	c       687           6103          32         1                -           0.0000          -
691.01/692.85	c       693           6193          34         1                -           0.0000          -
696.30/698.12	c       698           6273          33         1                -           0.0000          -
701.89/703.79	c       704           6329          31         1                -           0.0000          -
707.27/709.17	c       709           6391          33         1                -           0.0000          -
712.86/714.76	c       715           6472          32         1                -           0.0000          -
718.04/719.93	c       720           6544          34         1                -           0.0000          -
723.24/725.17	c       725           6617          33         1                -           0.0000          -
728.62/730.51	c       731           6663          33         1                -           0.0000          -
733.91/735.86	c       736           6744          34         1                -           0.0000          -
739.39/741.33	c       741           6806          32         1                -           0.0000          -
744.48/746.47	c       746           6883          31         1                -           0.0000          -
749.77/751.74	c       752           6950          34         1                -           0.0000          -
755.16/757.10	c       757           7018          33         1                -           0.0000          -
760.94/763.00	c       763           7073          38         1                -           0.0000          -
766.33/768.30	c       768           7134          35         1                -           0.0000          -
771.61/773.64	c       774           7188          37         1                -           0.0000          -
776.80/778.80	c       779           7259          34         1                -           0.0000          -
782.00/784.06	c       784           7324          37         1                -           0.0000          -
787.38/789.42	c       789           7370          31         1                -           0.0000          -
792.57/794.62	c       795           7440          31         1                -           0.0000          -
797.76/799.87	c       800           7506          34         1                -           0.0000          -
803.05/805.18	c       805           7580          34         1                -           0.0000          -
808.33/810.47	c       810           7632          32         1                -           0.0000          -
813.82/815.90	c       816           7693          36         1                -           0.0000          -
819.10/821.21	c       821           7759          34         1                -           0.0000          -
824.49/826.68	c       827           7809          32         1                -           0.0000          -
829.98/832.12	c       832           7891          33         1                -           0.0000          -
835.46/837.62	c       838           7938          30         1                -           0.0000          -
840.75/842.97	c       843           7988          32         1                -           0.0000          -
846.33/848.53	c       849           8041          31         1                -           0.0000          -
851.62/853.86	c       854           8105          35         1                -           0.0000          -
856.81/859.08	c       859           8182          32         1                -           0.0000          -
861.99/864.24	c       864           8240          36         1                -           0.0000          -
867.37/869.65	c       870           8318          37         1                -           0.0000          -
872.76/875.05	c       875           8413          34         1                -           0.0000          -
877.95/880.25	c       880           8461          35         1                -           0.0000          -
883.63/885.92	c       886           8513          34         1                -           0.0000          -
888.92/891.20	c       891           8575          34         1                -           0.0000          -
894.30/896.62	c       897           8638          33         1                -           0.0000          -
899.89/902.23	c       902           8699          36         1                -           0.0000          -
905.48/907.83	c       908           8771          38         1                -           0.0000          -
910.87/913.23	c       913           8847          36         1                -           0.0000          -
916.36/918.74	c       919           8944          35         1                -           0.0000          -
921.65/924.05	c       924           9005          36         1                -           0.0000          -
927.03/929.40	c       929           9077          35         1                -           0.0000          -
932.31/934.73	c       935           9164          36         1                -           0.0000          -
937.60/940.09	c       940           9235          36         1                -           0.0000          -
942.88/945.30	c       945           9299          34         1                -           0.0000          -
948.17/950.69	c       951           9361          34         1                -           0.0000          -
953.55/956.02	c       956           9421          36         1                -           0.0000          -
958.83/961.37	c       961           9487          34         1                -           0.0000          -
964.32/966.85	c       967           9545          34         1                -           0.0000          -
969.60/972.18	c       972           9615          33         1                -           0.0000          -
975.18/977.72	c       978           9692          38         1                -           0.0000          -
980.47/983.01	c       983           9765          33         1                -           0.0000          -
985.85/988.41	c       988           9825          33         1                -           0.0000          -
990.93/993.52	c       994           9905          35         1                -           0.0000          -
996.31/998.97	c       999           9955          35         1                -           0.0000          -
1001.70/1004.31	c      1004          10030          34         1                -           0.0000          -
1007.08/1009.75	c      1010          10106          34         1                -           0.0000          -
1012.56/1015.23	c      1015          10157          33         1                -           0.0000          -
1018.15/1020.87	c      1021          10211          33         1                -           0.0000          -
1023.34/1026.04	c      1026          10266          34         1                -           0.0000          -
1028.62/1031.31	c      1031          10316          34         1                -           0.0000          -
1034.01/1036.78	c      1037          10371          37         1                -           0.0000          -
1039.40/1042.14	c      1042          10454          36         1                -           0.0000          -
1044.68/1047.47	c      1047          10522          32         1                -           0.0000          -
1050.07/1052.88	c      1053          10594          33         1                -           0.0000          -
1055.86/1058.66	c      1059          10646          30         1                -           0.0000          -
1061.64/1064.40	c      1064          10703          34         1                -           0.0000          -
1067.03/1069.87	c      1070          10783          38         1                -           0.0000          -
1072.33/1075.12	c      1075          10852          35         1                -           0.0000          -
1077.51/1080.34	c      1080          10924          37         1                -           0.0000          -
1082.90/1085.71	c      1086          10996          35         1                -           0.0000          -
1088.19/1091.08	c      1091          11053          34         1                -           0.0000          -
1093.37/1096.30	c      1096          11102          33         1                -           0.0000          -
1098.86/1101.76	c      1102          11174          35         1                -           0.0000          -
1104.04/1106.96	c      1107          11240          35         1                -           0.0000          -
1109.24/1112.18	c      1112          11311          36         1                -           0.0000          -
1114.62/1117.51	c      1118          11406          33         1                -           0.0000          -
1119.90/1122.80	c      1123          11505          34         1                -           0.0000          -
1125.10/1128.06	c      1128          11559          34         1                -           0.0000          -
1130.58/1133.52	c      1134          11608          33         1                -           0.0000          -
1135.97/1138.92	c      1139          11670          35         1                -           0.0000          -
1141.16/1144.14	c      1144          11732          35         1                -           0.0000          -
1146.54/1149.56	c      1150          11799          34         1                -           0.0000          -
1151.83/1154.82	c      1155          11875          32         1                -           0.0000          -
1157.42/1160.42	c      1160          11935          34         1                -           0.0000          -
1163.01/1166.07	c      1166          11998          33         1                -           0.0000          -
1168.29/1171.36	c      1171          12065          32         1                -           0.0000          -
1174.08/1177.18	c      1177          12125          32         1                -           0.0000          -
1179.97/1183.03	c      1183          12186          35         1                -           0.0000          -
1185.45/1188.51	c      1189          12252          35         1                -           0.0000          -
1190.74/1193.83	c      1194          12322          33         1                -           0.0000          -
1196.12/1199.23	c      1199          12376          33         1                -           0.0000          -
1201.81/1204.90	c      1205          12439          34         1                -           0.0000          -
1207.00/1210.12	c      1210          12514          33         1                -           0.0000          -
1212.58/1215.71	c      1216          12582          32         1                -           0.0000          -
1219.37/1222.59	c      1223          12630          36         1                -           0.0000          -
1224.66/1227.85	c      1228          12731          33         1                -           0.0000          -
1230.15/1233.34	c      1233          12819          33         1                -           0.0000          -
1235.53/1238.76	c      1239          12895          33         1                -           0.0000          -
1241.02/1244.24	c      1244          12965          33         1                -           0.0000          -
1246.41/1249.61	c      1250          13019          35         1                -           0.0000          -
1251.59/1254.88	c      1255          13083          35         1                -           0.0000          -
1257.08/1260.37	c      1260          13160          36         1                -           0.0000          -
1262.87/1266.11	c      1266          13217          33         1                -           0.0000          -
1268.25/1271.56	c      1272          13275          31         1                -           0.0000          -
1273.54/1276.80	c      1277          13332          35         1                -           0.0000          -
1278.92/1282.21	c      1282          13402          32         1                -           0.0000          -
1284.40/1287.73	c      1288          13475          35         1                -           0.0000          -
1289.79/1293.13	c      1293          13542          33         1                -           0.0000          -
1295.17/1298.51	c      1299          13616          33         1                -           0.0000          -
1300.36/1303.72	c      1304          13686          35         1                -           0.0000          -
1305.94/1309.36	c      1309          13764          33         1                -           0.0000          -
1311.23/1314.68	c      1315          13828          33         1                -           0.0000          -
1316.41/1319.84	c      1320          13893          34         1                -           0.0000          -
1321.79/1325.21	c      1325          13943          32         1                -           0.0000          -
1327.18/1330.61	c      1331          14012          31         1                -           0.0000          -
1332.56/1336.05	c      1336          14066          33         1                -           0.0000          -
1337.94/1341.43	c      1341          14138          33         1                -           0.0000          -
1343.42/1346.99	c      1347          14191          30         1                -           0.0000          -
1348.91/1352.46	c      1352          14251          32         1                -           0.0000          -
1354.19/1357.77	c      1358          14358          31         1                -           0.0000          -
1359.48/1363.10	c      1363          14435          32         1                -           0.0000          -
1364.86/1368.40	c      1368          14511          32         1                -           0.0000          -
1370.14/1373.74	c      1374          14559          36         1                -           0.0000          -
1375.53/1379.11	c      1379          14627          34         1                -           0.0000          -
1380.91/1384.58	c      1385          14715          32         1                -           0.0000          -
1386.29/1389.92	c      1390          14779          32         1                -           0.0000          -
1391.57/1395.25	c      1395          14844          31         1                -           0.0000          -
1396.96/1400.63	c      1401          14920          33         1                -           0.0000          -
1402.14/1405.85	c      1406          14992          32         1                -           0.0000          -
1407.62/1411.37	c      1411          15044          34         1                -           0.0000          -
1412.81/1416.58	c      1417          15109          33         1                -           0.0000          -
1418.09/1421.81	c      1422          15192          32         1                -           0.0000          -
1423.68/1427.48	c      1427          15242          34         1                -           0.0000          -
1429.16/1432.90	c      1433          15299          31         1                -           0.0000          -
1434.64/1438.42	c      1438          15352          30         1                -           0.0000          -
1439.92/1443.75	c      1444          15397          29         1                -           0.0000          -
1445.51/1449.35	c      1449          15471          41         1                -           0.0000          -
1450.60/1454.48	c      1454          15572          38         1                -           0.0000          -
1455.98/1459.86	c      1460          15635          35         1                -           0.0000          -
1461.46/1465.36	c      1465          15708          34         1                -           0.0000          -
1466.85/1470.76	c      1471          15758          34         1                -           0.0000          -
1472.53/1476.43	c      1476          15811          33         1                -           0.0000          -
1478.41/1482.30	c      1482          15884          34         1                -           0.0000          -
1483.70/1487.68	c      1488          15983          33         1                -           0.0000          -
1488.99/1492.92	c      1493          16054          38         1                -           0.0000          -
1494.18/1498.14	c      1498          16128          40         1                -           0.0000          -
1499.35/1503.31	c      1503          16209          37         1                -           0.0000          -
1504.64/1508.68	c      1509          16297          37         1                -           0.0000          -
1510.02/1514.00	c      1514          16368          40         1                -           0.0000          -
1515.90/1519.90	c      1520          16402          42         1                -           0.0000          -
1521.29/1525.35	c      1525          16475          39         1                -           0.0000          -
1526.48/1530.52	c      1531          16544          39         1                -           0.0000          -
1531.66/1535.72	c      1536          16625          42         1                -           0.0000          -
1536.75/1540.86	c      1541          16733          41         1                -           0.0000          -
1541.94/1546.02	c      1546          16812          42         1                -           0.0000          -
1547.22/1551.35	c      1551          16890          42         1                -           0.0000          -
1552.52/1556.69	c      1557          16964          40         1                -           0.0000          -
1557.91/1562.05	c      1562          17031          41         1                -           0.0000          -
1563.29/1567.44	c      1567          17107          39         1                -           0.0000          -
1568.98/1573.19	c      1573          17176          38         1                -           0.0000          -
1574.36/1578.58	c      1579          17252          44         1                -           0.0000          -
1579.74/1583.90	c      1584          17334          40         1                -           0.0000          -
1585.23/1589.42	c      1589          17406          38         1                -           0.0000          -
1590.82/1595.04	c      1595          17466          38         1                -           0.0000          -
1596.21/1600.49	c      1600          17555          39         1                -           0.0000          -
1601.60/1605.88	c      1606          17632          42         1                -           0.0000          -
1606.98/1611.20	c      1611          17723          39         1                -           0.0000          -
1612.37/1616.65	c      1617          17804          38         1                -           0.0000          -
1617.66/1621.90	c      1622          17898          40         1                -           0.0000          -
1622.85/1627.14	c      1627          17979          35         1                -           0.0000          -
1628.03/1632.31	c      1632          18064          38         1                -           0.0000          -
1633.22/1637.59	c      1638          18142          40         1                -           0.0000          -
1638.61/1642.98	c      1643          18200          40         1                -           0.0000          -
1644.19/1648.59	c      1649          18247          39         1                -           0.0000          -
1649.58/1653.96	c      1654          18322          38         1                -           0.0000          -
1655.26/1659.63	c      1660          18385          39         1                -           0.0000          -
1660.44/1664.89	c      1665          18483          37         1                -           0.0000          -
1665.83/1670.29	c      1670          18546          38         1                -           0.0000          -
1671.31/1675.75	c      1676          18605          39         1                -           0.0000          -
1676.60/1681.08	c      1681          18666          38         1                -           0.0000          -
1681.87/1686.35	c      1686          18753          39         1                -           0.0000          -
1687.26/1691.76	c      1692          18852          38         1                -           0.0000          -
1692.54/1697.09	c      1697          18941          39         1                -           0.0000          -
1697.83/1702.39	c      1702          19009          35         1                -           0.0000          -
1703.11/1707.61	c      1708          19079          37         1                -           0.0000          -
1708.40/1712.94	c      1713          19148          40         1                -           0.0000          -
1713.59/1718.12	c      1718          19232          42         1                -           0.0000          -
1718.87/1723.47	c      1723          19318          36         1                -           0.0000          -
1724.06/1728.64	c      1729          19392          38         1                -           0.0000          -
1729.14/1733.78	c      1734          19452          38         1                -           0.0000          -
1734.43/1739.00	c      1739          19523          37         1                -           0.0000          -
1739.62/1744.22	c      1744          19597          37         1                -           0.0000          -
1744.80/1749.47	c      1749          19675          39         1                -           0.0000          -
1750.29/1754.93	c      1755          19756          40         1                -           0.0000          -
1755.58/1760.26	c      1760          19839          39         1                -           0.0000          -
1760.86/1765.59	c      1766          19913          41         1                -           0.0000          -
1766.15/1770.85	c      1771          19996          38         1                -           0.0000          -
1771.44/1776.15	c      1776          20075          39         1                -           0.0000          -
1777.02/1781.73	c      1782          20143          41         1                -           0.0000          -
1782.61/1787.35	c      1787          20211          39         1                -           0.0000          -
1788.00/1792.79	c      1793          20287          38         1                -           0.0000          -
1793.48/1798.22	c      1798          20357          38         1                -           0.0000          -
1798.67/1803.43	c      1803          20430          37         1                -           0.0000          -
1804.26/1809.03	c      1809          20499          36         1                -           0.0000          -
1809.45/1814.29	c      1814          20582          37         1                -           0.0000          -
1815.34/1820.18	c      1820          20642          35         1                -           0.0000          -
1821.02/1825.86	c      1826          20706          35         1                -           0.0000          -
1826.51/1831.30	c      1831          20773          34         1                -           0.0000          -
1831.60/1836.42	c      1836          20857          36         1                -           0.0000          -
1836.89/1841.75	c      1842          20946          35         1                -           0.0000          -
1841.97/1846.89	c      1847          21014          35         1                -           0.0000          -
1847.46/1852.32	c      1852          21093          38         1                -           0.0000          -
1852.75/1857.60	c      1858          21157          36         1                -           0.0000          -
1858.33/1863.27	c      1863          21214          37         1                -           0.0000          -
1863.62/1868.53	c      1869          21293          36         1                -           0.0000          -
1868.91/1873.88	c      1874          21355          38         1                -           0.0000          -
1874.50/1879.46	c      1879          21429          38         1                -           0.0000          -
1879.98/1884.92	c      1885          21507          38         1                -           0.0000          -
1885.18/1890.17	c      1890          21567          38         1                -           0.0000          -
1890.76/1895.72	c      1896          21627          36         1                -           0.0000          -
1896.24/1901.20	c      1901          21707          36         1                -           0.0000          -
1901.73/1906.70	c      1907          21774          39         1                -           0.0000          -
1907.02/1912.00	c      1912          21849          40         1                -           0.0000          -
1912.20/1917.27	c      1917          21918          37         1                -           0.0000          -
1917.89/1922.98	c      1923          21970          37         1                -           0.0000          -
1922.98/1928.09	c      1928          22045          38         1                -           0.0000          -
1928.37/1933.41	c      1933          22119          38         1                -           0.0000          -
1933.96/1939.09	c      1939          22183          38         1                -           0.0000          -
1939.24/1944.35	c      1944          22264          37         1                -           0.0000          -
1944.73/1949.81	c      1950          22334          39         1                -           0.0000          -
1950.02/1955.20	c      1955          22414          38         1                -           0.0000          -
1955.50/1960.65	c      1961          22480          38         1                -           0.0000          -
1960.79/1965.94	c      1966          22553          37         1                -           0.0000          -
1966.17/1971.30	c      1971          22618          38         1                -           0.0000          -
1971.36/1976.58	c      1977          22687          37         1                -           0.0000          -
1976.75/1981.95	c      1982          22746          40         1                -           0.0000          -
1981.94/1987.17	c      1987          22812          40         1                -           0.0000          -
1987.12/1992.35	c      1992          22874          39         1                -           0.0000          -
1992.51/1997.74	c      1998          22933          38         1                -           0.0000          -
1997.69/2002.94	c      2003          22988          37         1                -           0.0000          -
2002.99/2008.22	c      2008          23086          37         1                -           0.0000          -
2008.28/2013.53	c      2014          23151          36         1                -           0.0000          -
2013.47/2018.76	c      2019          23202          37         1                -           0.0000          -
2019.05/2024.30	c      2024          23260          39         1                -           0.0000          -
2024.34/2029.66	c      2030          23328          37         1                -           0.0000          -
2029.83/2035.14	c      2035          23371          36         1                -           0.0000          -
2035.41/2040.70	c      2041          23427          36         1                -           0.0000          -
2040.71/2046.08	c      2046          23515          36         1                -           0.0000          -
2046.09/2051.46	c      2051          23587          38         1                -           0.0000          -
2051.68/2057.01	c      2057          23646          37         1                -           0.0000          -
2056.96/2062.39	c      2062          23739          36         1                -           0.0000          -
2062.45/2067.89	c      2068          23801          38         1                -           0.0000          -
2068.13/2073.52	c      2074          23859          38         1                -           0.0000          -
2073.42/2078.83	c      2079          23910          39         1                -           0.0000          -
2078.91/2084.32	c      2084          23969          38         1                -           0.0000          -
2084.29/2089.71	c      2090          24024          37         1                -           0.0000          -
2089.59/2095.08	c      2095          24070          37         1                -           0.0000          -
2094.97/2100.46	c      2100          24124          39         1                -           0.0000          -
2100.56/2106.05	c      2106          24200          37         1                -           0.0000          -
2105.84/2111.37	c      2111          24272          39         1                -           0.0000          -
2111.43/2116.91	c      2117          24357          40         1                -           0.0000          -
2116.91/2122.42	c      2122          24436          41         1                -           0.0000          -
2122.11/2127.67	c      2128          24539          40         1                -           0.0000          -
2127.50/2133.02	c      2133          24624          41         1                -           0.0000          -
2132.78/2138.31	c      2138          24724          43         1                -           0.0000          -
2138.17/2143.73	c      2144          24823          40         1                -           0.0000          -
2143.36/2148.95	c      2149          24932          39         1                -           0.0000          -
2148.75/2154.38	c      2154          25024          39         1                -           0.0000          -
2154.13/2159.77	c      2160          25111          38         1                -           0.0000          -
2159.62/2165.20	c      2165          25171          38         1                -           0.0000          -
2164.81/2170.42	c      2170          25241          38         1                -           0.0000          -
2169.99/2175.62	c      2176          25326          39         1                -           0.0000          -
2175.28/2180.99	c      2181          25395          38         1                -           0.0000          -
2180.47/2186.14	c      2186          25464          39         1                -           0.0000          -
2186.25/2191.96	c      2192          25532          39         1                -           0.0000          -
2191.54/2197.22	c      2197          25622          41         1                -           0.0000          -
2196.63/2202.38	c      2202          25712          41         1                -           0.0000          -
2201.92/2207.68	c      2208          25803          42         1                -           0.0000          -
2207.20/2212.92	c      2213          25884          39         1                -           0.0000          -
2212.40/2218.17	c      2218          25954          39         1                -           0.0000          -
2217.58/2223.36	c      2223          26028          41         1                -           0.0000          -
2222.76/2228.57	c      2229          26114          39         1                -           0.0000          -
2228.05/2233.88	c      2234          26184          41         1                -           0.0000          -
2233.34/2239.18	c      2239          26245          40         1                -           0.0000          -
2238.62/2244.47	c      2244          26325          39         1                -           0.0000          -
2244.02/2249.80	c      2250          26403          39         1                -           0.0000          -
2249.11/2254.98	c      2255          26472          40         1                -           0.0000          -
2254.59/2260.43	c      2260          26523          39         1                -           0.0000          -
2259.88/2265.71	c      2266          26590          36         1                -           0.0000          -
2264.86/2270.79	c      2271          26665          41         1                -           0.0000          -
2270.16/2276.01	c      2276          26743          43         1                -           0.0000          -
2275.34/2281.28	c      2281          26828          41         1                -           0.0000          -
2280.63/2286.55	c      2287          26919          40         1                -           0.0000          -
2285.91/2291.84	c      2292          26999          39         1                -           0.0000          -
2291.11/2297.04	c      2297          27093          41         1                -           0.0000          -
2296.69/2302.67	c      2303          27172          38         1                -           0.0000          -
2302.27/2308.28	c      2308          27212          40         1                -           0.0000          -
2307.56/2313.50	c      2314          27294          42         1                -           0.0000          -
2312.85/2318.85	c      2319          27378          40         1                -           0.0000          -
2318.04/2324.05	c      2324          27445          39         1                -           0.0000          -
2323.22/2329.21	c      2329          27525          41         1                -           0.0000          -
2328.41/2334.42	c      2334          27601          41         1                -           0.0000          -
2333.60/2339.66	c      2340          27677          43         1                -           0.0000          -
2338.89/2344.91	c      2345          27761          43         1                -           0.0000          -
2344.08/2350.16	c      2350          27826          41         1                -           0.0000          -
2349.56/2355.70	c      2356          27893          40         1                -           0.0000          -
2354.75/2360.88	c      2361          27969          38         1                -           0.0000          -
2359.94/2366.06	c      2366          28023          40         1                -           0.0000          -
2365.72/2371.82	c      2372          28085          38         1                -           0.0000          -
2371.01/2377.13	c      2377          28143          36         1                -           0.0000          -
2376.39/2382.51	c      2383          28214          43         1                -           0.0000          -
2381.58/2387.78	c      2388          28301          42         1                -           0.0000          -
2387.07/2393.20	c      2393          28386          37         1                -           0.0000          -
2392.36/2398.51	c      2399          28441          38         1                -           0.0000          -
2397.45/2403.67	c      2404          28518          43         1                -           0.0000          -
2402.74/2408.90	c      2409          28608          45         1                -           0.0000          -
2407.93/2414.10	c      2414          28695          48         1                -           0.0000          -
2413.11/2419.34	c      2419          28771          50         1                -           0.0000          -
2418.50/2424.78	c      2425          28853          46         1                -           0.0000          -
2423.79/2430.02	c      2430          28940          48         1                -           0.0000          -
2428.88/2435.17	c      2435          29023          46         1                -           0.0000          -
2434.16/2440.48	c      2440          29124          45         1                -           0.0000          -
2439.55/2445.83	c      2446          29218          43         1                -           0.0000          -
2444.84/2451.14	c      2451          29296          43         1                -           0.0000          -
2450.12/2456.45	c      2456          29379          42         1                -           0.0000          -
2455.41/2461.72	c      2462          29458          43         1                -           0.0000          -
2460.50/2466.87	c      2467          29535          46         1                -           0.0000          -
2465.88/2472.24	c      2472          29602          45         1                -           0.0000          -
2471.17/2477.60	c      2478          29680          45         1                -           0.0000          -
2476.56/2482.91	c      2483          29765          44         1                -           0.0000          -
2481.64/2488.00	c      2488          29839          45         1                -           0.0000          -
2486.82/2493.25	c      2493          29925          46         1                -           0.0000          -
2492.11/2498.52	c      2499          30007          42         1                -           0.0000          -
2497.40/2503.84	c      2504          30082          45         1                -           0.0000          -
2502.59/2509.08	c      2509          30144          43         1                -           0.0000          -
2507.87/2514.30	c      2514          30216          41         1                -           0.0000          -
2513.17/2519.65	c      2520          30293          45         1                -           0.0000          -
2518.56/2525.05	c      2525          30363          43         1                -           0.0000          -
2523.74/2530.25	c      2530          30421          41         1                -           0.0000          -
2528.93/2535.45	c      2535          30495          42         1                -           0.0000          -
2534.31/2540.89	c      2541          30577          44         1                -           0.0000          -
2539.61/2546.13	c      2546          30663          42         1                -           0.0000          -
2544.69/2551.29	c      2551          30735          44         1                -           0.0000          -
2549.88/2556.48	c      2556          30808          43         1                -           0.0000          -
2555.06/2561.66	c      2562          30877          42         1                -           0.0000          -
2560.25/2566.87	c      2567          30938          43         1                -           0.0000          -
2565.84/2572.40	c      2572          31004          45         1                -           0.0000          -
2571.02/2577.60	c      2578          31077          42         1                -           0.0000          -
2576.61/2583.21	c      2583          31149          44         1                -           0.0000          -
2581.90/2588.56	c      2589          31219          44         1                -           0.0000          -
2587.09/2593.71	c      2594          31278          44         1                -           0.0000          -
2592.28/2598.90	c      2599          31358          42         1                -           0.0000          -
2597.56/2604.26	c      2604          31426          44         1                -           0.0000          -
2603.05/2609.70	c      2610          31503          43         1                -           0.0000          -
2608.14/2614.83	c      2615          31559          43         1                -           0.0000          -
2613.33/2620.01	c      2620          31636          45         1                -           0.0000          -
2618.51/2625.23	c      2625          31716          45         1                -           0.0000          -
2623.90/2630.60	c      2631          31791          42         1                -           0.0000          -
2628.99/2635.75	c      2636          31857          46         1                -           0.0000          -
2634.28/2641.03	c      2641          31934          43         1                -           0.0000          -
2639.46/2646.21	c      2646          31998          45         1                -           0.0000          -
2644.75/2651.57	c      2652          32067          42         1                -           0.0000          -
2650.03/2656.84	c      2657          32136          45         1                -           0.0000          -
2655.33/2662.11	c      2662          32198          43         1                -           0.0000          -
2660.52/2667.36	c      2667          32246          43         1                -           0.0000          -
2665.80/2672.65	c      2673          32309          46         1                -           0.0000          -
2671.20/2678.04	c      2678          32405          44         1                -           0.0000          -
2676.48/2683.34	c      2683          32485          43         1                -           0.0000          -
2681.96/2688.89	c      2689          32560          44         1                -           0.0000          -
2687.35/2694.29	c      2694          32624          42         1                -           0.0000          -
2693.14/2700.04	c      2700          32684          42         1                -           0.0000          -
2698.32/2705.27	c      2705          32757          43         1                -           0.0000          -
2703.61/2710.53	c      2711          32833          43         1                -           0.0000          -
2710.10/2717.07	c      2717          32896          44         1                -           0.0000          -
2715.28/2722.28	c      2722          32973          43         1                -           0.0000          -
2720.67/2727.67	c      2728          33047          43         1                -           0.0000          -
2726.06/2733.04	c      2733          33114          42         1                -           0.0000          -
2731.74/2738.76	c      2739          33179          41         1                -           0.0000          -
2737.03/2744.06	c      2744          33250          44         1                -           0.0000          -
2742.31/2749.32	c      2749          33331          43         1                -           0.0000          -
2747.60/2754.60	c      2755          33418          42         1                -           0.0000          -
2752.89/2759.97	c      2760          33509          43         1                -           0.0000          -
2758.18/2765.26	c      2765          33593          41         1                -           0.0000          -
2763.46/2770.54	c      2771          33664          41         1                -           0.0000          -
2768.75/2775.84	c      2776          33748          41         1                -           0.0000          -
2774.14/2781.23	c      2781          33819          44         1                -           0.0000          -
2779.43/2786.59	c      2787          33897          44         1                -           0.0000          -
2784.92/2792.01	c      2792          33975          42         1                -           0.0000          -
2790.20/2797.37	c      2797          34059          42         1                -           0.0000          -
2795.59/2802.72	c      2803          34147          42         1                -           0.0000          -
2800.98/2808.14	c      2808          34222          42         1                -           0.0000          -
2806.16/2813.33	c      2813          34310          42         1                -           0.0000          -
2811.35/2818.55	c      2819          34386          44         1                -           0.0000          -
2816.64/2823.83	c      2824          34454          44         1                -           0.0000          -
2821.83/2829.07	c      2829          34530          42         1                -           0.0000          -
2827.11/2834.39	c      2834          34604          46         1                -           0.0000          -
2832.70/2839.91	c      2840          34663          43         1                -           0.0000          -
2838.29/2845.55	c      2846          34733          43         1                -           0.0000          -
2843.58/2850.88	c      2851          34793          41         1                -           0.0000          -
2849.06/2856.30	c      2856          34861          43         1                -           0.0000          -
2854.25/2861.57	c      2862          34939          51         1                -           0.0000          -
2859.64/2866.94	c      2867          35021          48         1                -           0.0000          -
2864.93/2872.26	c      2872          35102          45         1                -           0.0000          -
2870.01/2877.37	c      2877          35181          45         1                -           0.0000          -
2875.30/2882.69	c      2883          35261          45         1                -           0.0000          -
2880.69/2888.06	c      2888          35343          47         1                -           0.0000          -
2886.17/2893.53	c      2894          35422          46         1                -           0.0000          -
2891.36/2898.79	c      2899          35488          48         1                -           0.0000          -
2896.84/2904.24	c      2904          35555          49         1                -           0.0000          -
2902.13/2909.50	c      2910          35616          48         1                -           0.0000          -
2907.33/2914.78	c      2915          35686          44         1                -           0.0000          -
2912.81/2920.22	c      2920          35754          44         1                -           0.0000          -
2918.00/2925.45	c      2925          35816          44         1                -           0.0000          -
2923.29/2930.75	c      2931          35874          42         1                -           0.0000          -
2928.68/2936.13	c      2936          35937          43         1                -           0.0000          -
2934.16/2941.65	c      2942          36000          42         1                -           0.0000          -
2939.55/2947.04	c      2947          36072          46         1                -           0.0000          -
2944.94/2952.47	c      2952          36153          45         1                -           0.0000          -
2950.12/2957.68	c      2958          36226          44         1                -           0.0000          -
2955.41/2962.90	c      2963          36291          45         1                -           0.0000          -
2960.89/2968.44	c      2968          36373          45         1                -           0.0000          -
2966.28/2973.85	c      2974          36437          45         1                -           0.0000          -
2971.57/2979.11	c      2979          36500          48         1                -           0.0000          -
2976.85/2984.42	c      2984          36582          45         1                -           0.0000          -
2982.14/2989.72	c      2990          36659          42         1                -           0.0000          -
2987.64/2995.20	c      2995          36724          41         1                -           0.0000          -
2993.02/3000.61	c      3001          36790          41         1                -           0.0000          -
2998.21/3005.82	c      3006          36861          41         1                -           0.0000          -
3003.40/3011.08	c      3011          36935          43         1                -           0.0000          -
3008.68/3016.39	c      3016          36997          40         1                -           0.0000          -
3014.07/3021.71	c      3022          37087          40         1                -           0.0000          -
3019.16/3026.83	c      3027          37166          41         1                -           0.0000          -
3024.45/3032.15	c      3032          37233          42         1                -           0.0000          -
3029.73/3037.41	c      3037          37335          43         1                -           0.0000          -
3035.12/3042.84	c      3043          37412          44         1                -           0.0000          -
3040.31/3048.02	c      3048          37490          43         1                -           0.0000          -
3045.40/3053.13	c      3053          37577          40         1                -           0.0000          -
3050.68/3058.41	c      3058          37650          41         1                -           0.0000          -
3055.87/3063.67	c      3064          37712          39         1                -           0.0000          -
3061.45/3069.26	c      3069          37789          40         1                -           0.0000          -
3066.84/3074.67	c      3075          37859          41         1                -           0.0000          -
3072.03/3079.88	c      3080          37941          43         1                -           0.0000          -
3077.52/3085.35	c      3085          38007          41         1                -           0.0000          -
3082.80/3090.62	c      3091          38071          41         1                -           0.0000          -
3087.89/3095.74	c      3096          38133          43         1                -           0.0000          -
3093.28/3101.18	c      3101          38198          40         1                -           0.0000          -
3098.66/3106.53	c      3107          38256          40         1                -           0.0000          -
3103.95/3111.86	c      3112          38313          43         1                -           0.0000          -
3109.34/3117.29	c      3117          38385          43         1                -           0.0000          -
3114.62/3122.51	c      3123          38455          41         1                -           0.0000          -
3119.91/3127.84	c      3128          38523          47         1                -           0.0000          -
3125.20/3133.17	c      3133          38586          46         1                -           0.0000          -
3130.49/3138.48	c      3138          38658          44         1                -           0.0000          -
3135.78/3143.72	c      3144          38714          44         1                -           0.0000          -
3141.07/3149.06	c      3149          38782          41         1                -           0.0000          -
3146.45/3154.48	c      3154          38843          42         1                -           0.0000          -
3151.84/3159.85	c      3160          38907          43         1                -           0.0000          -
3157.03/3165.02	c      3165          38980          44         1                -           0.0000          -
3162.22/3170.24	c      3170          39049          43         1                -           0.0000          -
3167.80/3175.87	c      3176          39111          45         1                -           0.0000          -
3172.99/3181.08	c      3181          39169          42         1                -           0.0000          -
3178.17/3186.26	c      3186          39234          42         1                -           0.0000          -
3183.76/3191.83	c      3192          39306          46         1                -           0.0000          -
3189.15/3197.21	c      3197          39377          47         1                -           0.0000          -
3194.54/3202.60	c      3203          39448          48         1                -           0.0000          -
3199.82/3207.97	c      3208          39532          52         1                -           0.0000          -
3205.01/3213.17	c      3213          39634          48         1                -           0.0000          -
3210.20/3218.37	c      3218          39721          49         1                -           0.0000          -
3215.48/3223.62	c      3224          39778          47         1                -           0.0000          -
3220.88/3229.05	c      3229          39843          46         1                -           0.0000          -
3226.16/3234.35	c      3234          39913          47         1                -           0.0000          -
3231.74/3239.96	c      3240          39971          44         1                -           0.0000          -
3237.13/3245.38	c      3245          40031          44         1                -           0.0000          -
3242.52/3250.73	c      3251          40095          46         1                -           0.0000          -
3248.01/3256.24	c      3256          40186          46         1                -           0.0000          -
3253.39/3261.62	c      3262          40254          45         1                -           0.0000          -
3258.68/3266.92	c      3267          40335          44         1                -           0.0000          -
3263.87/3272.14	c      3272          40400          43         1                -           0.0000          -
3269.65/3277.93	c      3278          40449          40         1                -           0.0000          -
3275.14/3283.45	c      3283          40501          44         1                -           0.0000          -
3280.43/3288.76	c      3289          40576          45         1                -           0.0000          -
3285.72/3294.09	c      3294          40639          46         1                -           0.0000          -
3291.10/3299.47	c      3299          40718          46         1                -           0.0000          -
3296.39/3304.77	c      3305          40793          43         1                -           0.0000          -
3301.69/3310.03	c      3310          40859          44         1                -           0.0000          -
3306.97/3315.32	c      3315          40911          43         1                -           0.0000          -
3312.56/3320.97	c      3321          40977          41         1                -           0.0000          -
3317.75/3326.12	c      3326          41054          44         1                -           0.0000          -
3323.03/3331.44	c      3331          41126          42         1                -           0.0000          -
3328.22/3336.69	c      3337          41198          41         1                -           0.0000          -
3333.61/3342.08	c      3342          41267          40         1                -           0.0000          -
3338.89/3347.36	c      3347          41312          41         1                -           0.0000          -
3344.18/3352.60	c      3353          41406          43         1                -           0.0000          -
3349.37/3357.81	c      3358          41497          40         1                -           0.0000          -
3354.76/3363.20	c      3363          41570          39         1                -           0.0000          -
3360.04/3368.58	c      3369          41645          40         1                -           0.0000          -
3365.53/3374.01	c      3374          41745          40         1                -           0.0000          -
3370.92/3379.44	c      3379          41828          41         1                -           0.0000          -
3376.30/3384.83	c      3385          41891          40         1                -           0.0000          -
3381.49/3390.09	c      3390          41960          39         1                -           0.0000          -
3386.78/3395.32	c      3395          42043          39         1                -           0.0000          -
3392.06/3400.61	c      3401          42126          37         1                -           0.0000          -
3397.25/3405.81	c      3406          42207          40         1                -           0.0000          -
3402.74/3411.31	c      3411          42291          42         1                -           0.0000          -
3408.22/3416.84	c      3417          42380          38         1                -           0.0000          -
3413.81/3422.46	c      3422          42464          42         1                -           0.0000          -
3419.00/3427.64	c      3428          42563          45         1                -           0.0000          -
3424.39/3433.07	c      3433          42646          40         1                -           0.0000          -
3429.58/3438.28	c      3438          42714          38         1                -           0.0000          -
3435.06/3443.76	c      3444          42793          41         1                -           0.0000          -
3440.65/3449.31	c      3449          42872          40         1                -           0.0000          -
3445.94/3454.66	c      3455          42952          40         1                -           0.0000          -
3451.13/3459.84	c      3460          43024          42         1                -           0.0000          -
3456.42/3465.19	c      3465          43095          39         1                -           0.0000          -
3461.80/3470.59	c      3471          43164          40         1                -           0.0000          -
3467.49/3476.23	c      3476          43242          40         1                -           0.0000          -
3472.97/3481.70	c      3482          43305          41         1                -           0.0000          -
3478.37/3487.11	c      3487          43370          40         1                -           0.0000          -
3483.85/3492.63	c      3493          43454          39         1                -           0.0000          -
3489.34/3498.16	c      3498          43526          39         1                -           0.0000          -
3494.82/3503.61	c      3504          43592          39         1                -           0.0000          -
3500.21/3509.05	c      3509          43681          38         1                -           0.0000          -
3505.49/3514.30	c      3514          43756          37         1                -           0.0000          -
3510.68/3519.51	c      3520          43816          39         1                -           0.0000          -
3515.97/3524.87	c      3525          43890          36         1                -           0.0000          -
3521.36/3530.24	c      3530          43981          37         1                -           0.0000          -
3526.54/3535.46	c      3535          44044          37         1                -           0.0000          -
3531.83/3540.74	c      3541          44133          42         1                -           0.0000          -
3537.22/3546.11	c      3546          44223          41         1                -           0.0000          -
3542.21/3551.18	c      3551          44304          39         1                -           0.0000          -
3547.69/3556.68	c      3557          44396          41         1                -           0.0000          -
3552.88/3561.84	c      3562          44467          42         1                -           0.0000          -
3558.07/3567.03	c      3567          44550          41         1                -           0.0000          -
3563.35/3572.32	c      3572          44627          44         1                -           0.0000          -
3568.54/3577.50	c      3578          44721          42         1                -           0.0000          -
3573.83/3582.80	c      3583          44804          41         1                -           0.0000          -
3579.02/3588.10	c      3588          44881          39         1                -           0.0000          -
3584.21/3593.22	c      3593          44960          40         1                -           0.0000          -
3589.30/3598.34	c      3598          45038          38         1                -           0.0000          -
3591.00/3600.04	c SCIP Status        : c solving was interrupted [hard time limit reached]
3591.00/3600.04	c Total Time         : 3600.0400
3591.00/3600.04	c   solving          : 3600.0400
3591.00/3600.04	c   presolving       : 2.6093 (included in solving)
3591.00/3600.04	c B&B Tree           :
3591.00/3600.04	c   nodes (total)    : 1
3591.00/3600.04	c Solution           :
3591.00/3600.04	c   Solutions found  : 0
3591.00/3600.04	c   Primal Bound     :          -
3591.00/3600.04	c   Dual Bound       : +0.00000000000000e+00
3591.00/3600.04	c Gap                :          -
3591.00/3600.05	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: 63931 MiB (61651 MiB free)
  memory of node 1: 64510 MiB (61038 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=1004857, runsolver pid=1004854

[startup+0.100216 s]*
/proc/loadavg: 4.11 4.12 4.09 6/254 1004868
/proc/meminfo: memFree=125575712/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=45664 memory=34676 CPUtime=0.09 cores=1,3
/proc/1004857/stat : 1004857 (fscip) R 1004854 1004857 1000725 0 -1 4194304 6698 0 0 0 9 0 0 0 20 0 1 0 187105307 46759936 8669 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 11416 8669 2638 3032 0 7816 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45664 KiB
Current children cumulated memory: 34676 KiB

[startup+0.204559 s]*
/proc/loadavg: 4.11 4.12 4.09 5/254 1004868
/proc/meminfo: memFree=125562892/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=48464 memory=37644 CPUtime=0.2 cores=1,3
/proc/1004857/stat : 1004857 (fscip) R 1004854 1004857 1000725 0 -1 4194304 7569 0 0 0 19 1 0 0 20 0 1 0 187105307 49627136 9411 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 12116 9411 2718 3032 0 8516 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48464 KiB
Current children cumulated memory: 37644 KiB

[startup+0.304627 s]*
/proc/loadavg: 4.11 4.12 4.09 5/254 1004868
/proc/meminfo: memFree=125527812/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=59148 memory=46808 CPUtime=0.3 cores=1,3
/proc/1004857/stat : 1004857 (fscip) R 1004854 1004857 1000725 0 -1 4194304 9900 0 0 0 29 1 0 0 20 0 1 0 187105307 60567552 11702 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 14787 11702 2734 3032 0 11187 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 59148 KiB
Current children cumulated memory: 46808 KiB

[startup+0.700227 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 1004868
/proc/meminfo: memFree=125522560/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=59312 memory=46808 CPUtime=0.69 cores=1,3
/proc/1004857/stat : 1004857 (fscip) R 1004854 1004857 1000725 0 -1 4194304 9941 0 0 0 68 1 0 0 20 0 1 0 187105307 60735488 11702 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 14828 11702 2734 3032 0 11228 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59312 KiB
Current children cumulated memory: 46808 KiB

[startup+1.50022 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 1004868
/proc/meminfo: memFree=125515340/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=60852 memory=48388 CPUtime=1.49 cores=1,3
/proc/1004857/stat : 1004857 (fscip) R 1004854 1004857 1000725 0 -1 4194304 10294 0 0 0 148 1 0 0 20 0 1 0 187105307 62312448 12097 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 15213 12097 2734 3032 0 11613 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 60852 KiB
Current children cumulated memory: 48388 KiB

[startup+3.10622 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 1004874
/proc/meminfo: memFree=125402164/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=184176 memory=103076 CPUtime=3.08 cores=1,3
/proc/1004857/stat : 1004857 (fscip) S 1004854 1004857 1000725 0 -1 1077936128 24674 0 0 0 305 3 0 0 20 0 3 0 187105307 188596224 25769 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 46044 25769 2782 3032 0 32530 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=184176 memory=48388 CPUtime=0.45 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 8384 0 0 0 44 1 0 0 20 0 3 0 187105571 188596224 25769 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=184176 memory=0 CPUtime=0 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187105573 188596224 25769 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 184176 KiB
Current children cumulated memory: 103076 KiB

[startup+6.30017 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 1004878
/proc/meminfo: memFree=125230052/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=185204 memory=117804 CPUtime=6.25 cores=1,3
/proc/1004857/stat : 1004857 (fscip) S 1004854 1004857 1000725 0 -1 1077936128 33251 0 0 0 621 4 0 0 20 0 3 0 187105307 189648896 29451 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 46301 29451 2910 3032 0 36269 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=185204 memory=0 CPUtime=3.62 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 16959 0 0 0 360 2 0 0 20 0 3 0 187105571 189648896 29451 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=185204 memory=48388 CPUtime=0 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 187105573 189648896 29451 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 185204 KiB
Current children cumulated memory: 117804 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 1004879
/proc/meminfo: memFree=125153660/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=252280 memory=152680 CPUtime=12.64 cores=1,3
/proc/1004857/stat : 1004857 (fscip) S 1004854 1004857 1000725 0 -1 1077936128 51430 0 0 0 1258 6 0 0 20 0 3 0 187105307 258334720 38170 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 63070 38170 2942 3032 0 45347 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=252280 memory=0 CPUtime=10 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 35124 0 0 0 996 4 0 0 20 0 3 0 187105571 258334720 38170 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=252280 memory=11588 CPUtime=0 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 187105573 258334720 38170 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 252280 KiB
Current children cumulated memory: 152680 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.11 4.09 5/262 1004881
/proc/meminfo: memFree=125067972/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=252280 memory=154452 CPUtime=25.41 cores=1,3
/proc/1004857/stat : 1004857 (fscip) S 1004854 1004857 1000725 0 -1 1077936128 76909 0 0 0 2533 8 0 0 20 0 3 0 187105307 258334720 38613 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 63070 38613 2942 3032 0 45347 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=252280 memory=0 CPUtime=22.78 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 60594 0 0 0 2272 6 0 0 20 0 3 0 187105571 258334720 38613 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=252280 memory=152848 CPUtime=0 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 187105573 258334720 38613 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 252280 KiB
Current children cumulated memory: 154452 KiB

[startup+51.1048 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 1004884
/proc/meminfo: memFree=125053640/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=252280 memory=154604 CPUtime=50.94 cores=1,3
/proc/1004857/stat : 1004857 (fscip) S 1004854 1004857 1000725 0 -1 1077936128 107194 0 0 0 5084 10 0 0 20 0 3 0 187105307 258334720 38651 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 63070 38651 2990 3032 0 46924 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=252280 memory=154580 CPUtime=48.3 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 90754 0 0 0 4822 8 0 0 20 0 3 0 187105571 258334720 38651 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=252280 memory=154580 CPUtime=0 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 187105573 258334720 38651 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 252280 KiB
Current children cumulated memory: 154604 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 1004897
/proc/meminfo: memFree=125028316/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=252280 memory=165792 CPUtime=101.97 cores=1,3
/proc/1004857/stat : 1004857 (fscip) S 1004854 1004857 1000725 0 -1 1077936128 155350 0 0 0 10183 14 0 0 20 0 3 0 187105307 258334720 41448 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 63070 41448 2990 3032 0 48965 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=252280 memory=11588 CPUtime=99.34 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 138794 0 0 0 9922 12 0 0 20 0 3 0 187105571 258334720 41448 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=252280 memory=44076 CPUtime=0 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 187105573 258334720 41448 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 252280 KiB
Current children cumulated memory: 165792 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/262 1004907
/proc/meminfo: memFree=124980644/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=252280 memory=178560 CPUtime=161.79 cores=1,3
/proc/1004857/stat : 1004857 (fscip) S 1004854 1004857 1000725 0 -1 1077936128 191413 0 0 0 16162 17 0 0 20 0 3 0 187105307 258334720 44640 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 63070 44640 2990 3032 0 51983 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=252280 memory=170472 CPUtime=159.16 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 174794 0 0 0 15901 15 0 0 20 0 3 0 187105571 258334720 44640 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=252280 memory=177240 CPUtime=0 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 187105573 258334720 44640 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 252280 KiB
Current children cumulated memory: 178560 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 1004921
/proc/meminfo: memFree=124962852/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=252280 memory=189440 CPUtime=221.65 cores=1,3
/proc/1004857/stat : 1004857 (fscip) S 1004854 1004857 1000725 0 -1 1077936128 208081 0 0 0 22146 19 0 0 20 0 3 0 187105307 258334720 47360 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 63070 47360 2990 3032 0 53712 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=252280 memory=185388 CPUtime=219 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 191427 0 0 0 21884 16 0 0 20 0 3 0 187105571 258334720 47360 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=252280 memory=11588 CPUtime=0 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 187105573 258334720 47360 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 252280 KiB
Current children cumulated memory: 189440 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 1004980
/proc/meminfo: memFree=124955856/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=250740 memory=205444 CPUtime=281.49 cores=1,3

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

/proc/1004857/statm: 79069 64954 2990 3032 0 67402 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=316276 memory=259816 CPUtime=3390.93 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 283314 0 0 0 339050 43 0 0 20 0 3 0 187105571 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=316276 memory=-6808175748331965800 CPUtime=0.02 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 188 0 0 0 1 1 0 0 20 0 3 0 187105573 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 3393.76 s
Current children cumulated vsize: 316276 KiB
Current children cumulated memory: 259816 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/264 1006743
/proc/meminfo: memFree=124665120/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=316276 memory=259816 CPUtime=3453.62 cores=1,3
/proc/1004857/stat : 1004857 (fscip) S 1004854 1004857 1000725 0 -1 1077936128 302073 0 0 0 345310 52 0 0 20 0 3 0 187105307 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 79069 64954 2990 3032 0 67402 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=316276 memory=259816 CPUtime=3450.77 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 284321 0 0 0 345034 43 0 0 20 0 3 0 187105571 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=316276 memory=259816 CPUtime=0.02 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 190 0 0 0 1 1 0 0 20 0 3 0 187105573 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 3453.62 s
Current children cumulated vsize: 316276 KiB
Current children cumulated memory: 259816 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 1006753
/proc/meminfo: memFree=124665200/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=316276 memory=259816 CPUtime=3513.48 cores=1,3
/proc/1004857/stat : 1004857 (fscip) S 1004854 1004857 1000725 0 -1 1077936128 303116 0 0 0 351296 52 0 0 20 0 3 0 187105307 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 79069 64954 2990 3032 0 67402 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=316276 memory=259816 CPUtime=3510.63 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 285345 0 0 0 351020 43 0 0 20 0 3 0 187105571 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=316276 memory=12508 CPUtime=0.02 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 192 0 0 0 1 1 0 0 20 0 3 0 187105573 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 3513.48 s
Current children cumulated vsize: 316276 KiB
Current children cumulated memory: 259816 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 1006763
/proc/meminfo: memFree=124664884/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=316276 memory=259816 CPUtime=3573.33 cores=1,3
/proc/1004857/stat : 1004857 (fscip) S 1004854 1004857 1000725 0 -1 1077936128 304174 0 0 0 357281 52 0 0 20 0 3 0 187105307 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 79069 64954 2990 3032 0 67402 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=316276 memory=259816 CPUtime=3570.49 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 286384 0 0 0 357005 44 0 0 20 0 3 0 187105571 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=316276 memory=259816 CPUtime=0.02 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 194 0 0 0 1 1 0 0 20 0 3 0 187105573 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 3573.33 s
Current children cumulated vsize: 316276 KiB
Current children cumulated memory: 259816 KiB

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

# cumulated CPU time of all completed processes:  user=3590.52 s, system=0.533732 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 1006763
/proc/meminfo: memFree=124664916/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=316276 memory=259816 CPUtime=3575.03 cores=1,3
/proc/1004857/stat : 1004857 (fscip) S 1004854 1004857 1000725 0 -1 1077936128 304184 0 0 0 357451 52 0 0 20 0 3 0 187105307 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 79069 64954 2990 3032 0 67402 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=316276 memory=28776 CPUtime=3572.19 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 286394 0 0 0 357175 44 0 0 20 0 3 0 187105571 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=316276 memory=19476 CPUtime=0.02 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 194 0 0 0 1 1 0 0 20 0 3 0 187105573 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 3575.03 s
Current children cumulated vsize: 316276 KiB
Current children cumulated memory: 259816 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 1006763
/proc/meminfo: memFree=124664944/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=316276 memory=259816 CPUtime=3581.41 cores=1,3
/proc/1004857/stat : 1004857 (fscip) S 1004854 1004857 1000725 0 -1 1077936128 304188 0 0 0 358089 52 0 0 20 0 3 0 187105307 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 79069 64954 2990 3032 0 67402 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=316276 memory=11588 CPUtime=3578.57 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 286398 0 0 0 357813 44 0 0 20 0 3 0 187105571 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=316276 memory=259816 CPUtime=0.02 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 194 0 0 0 1 1 0 0 20 0 3 0 187105573 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 3581.41 s
Current children cumulated vsize: 316276 KiB
Current children cumulated memory: 259816 KiB

[startup+3596.8 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 1006764
/proc/meminfo: memFree=124664872/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=316276 memory=259816 CPUtime=3587.8 cores=1,3
/proc/1004857/stat : 1004857 (fscip) S 1004854 1004857 1000725 0 -1 1077936128 304191 0 0 0 358727 53 0 0 20 0 3 0 187105307 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 79069 64954 2990 3032 0 67402 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=316276 memory=259816 CPUtime=3584.95 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 286401 0 0 0 358451 44 0 0 20 0 3 0 187105571 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=316276 memory=12508 CPUtime=0.02 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 194 0 0 0 1 1 0 0 20 0 3 0 187105573 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 3587.8 s
Current children cumulated vsize: 316276 KiB
Current children cumulated memory: 259816 KiB

[startup+3598.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 1006764
/proc/meminfo: memFree=124664856/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=316276 memory=259816 CPUtime=3589.4 cores=1,3
/proc/1004857/stat : 1004857 (fscip) S 1004854 1004857 1000725 0 -1 1077936128 304191 0 0 0 358887 53 0 0 20 0 3 0 187105307 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 79069 64954 2990 3032 0 67402 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=316276 memory=5536 CPUtime=3586.55 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 286401 0 0 0 358611 44 0 0 20 0 3 0 187105571 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=316276 memory=16112 CPUtime=0.02 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 194 0 0 0 1 1 0 0 20 0 3 0 187105573 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 3589.4 s
Current children cumulated vsize: 316276 KiB
Current children cumulated memory: 259816 KiB

[startup+3599.2 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 1006764
/proc/meminfo: memFree=124664892/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=316276 memory=259816 CPUtime=3590.2 cores=1,3
/proc/1004857/stat : 1004857 (fscip) S 1004854 1004857 1000725 0 -1 1077936128 304194 0 0 0 358967 53 0 0 20 0 3 0 187105307 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 79069 64954 2990 3032 0 67402 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=316276 memory=259816 CPUtime=3587.35 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 286404 0 0 0 358691 44 0 0 20 0 3 0 187105571 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=316276 memory=12508 CPUtime=0.02 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 194 0 0 0 1 1 0 0 20 0 3 0 187105573 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 3590.2 s
Current children cumulated vsize: 316276 KiB
Current children cumulated memory: 259816 KiB

[startup+3599.6 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 1006764
/proc/meminfo: memFree=124664892/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=316276 memory=259816 CPUtime=3590.6 cores=1,3
/proc/1004857/stat : 1004857 (fscip) S 1004854 1004857 1000725 0 -1 1077936128 304194 0 0 0 359007 53 0 0 20 0 3 0 187105307 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 79069 64954 2990 3032 0 67402 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=316276 memory=-6808175748331965800 CPUtime=3587.74 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 286404 0 0 0 358730 44 0 0 20 0 3 0 187105571 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=316276 memory=16112 CPUtime=0.02 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 194 0 0 0 1 1 0 0 20 0 3 0 187105573 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 3590.6 s
Current children cumulated vsize: 316276 KiB
Current children cumulated memory: 259816 KiB

[startup+3600 s]*
/proc/loadavg: 4.07 4.10 4.09 5/262 1006764
/proc/meminfo: memFree=124664900/131524600 swapFree=131071996/131071996
[pid=1004857] ppid=1004854 vsize=316276 memory=259816 CPUtime=3591 cores=1,3
/proc/1004857/stat : 1004857 (fscip) R 1004854 1004857 1000725 0 -1 1077936128 304195 0 0 0 359047 53 0 0 20 0 3 0 187105307 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
/proc/1004857/statm: 79069 64954 2990 3032 0 67402 0
[pid=1004857/tid=1004873] ppid=1004854 vsize=316276 memory=-6736118154344238184 CPUtime=3588.15 cores=1,3
/proc/1004857/task/1004873/stat : 1004873 (fscip) R 1004854 1004857 1000725 0 -1 4194368 286405 0 0 0 358771 44 0 0 20 0 3 0 187105571 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
[pid=1004857/tid=1004874] ppid=1004854 vsize=316276 memory=1469371330315518081 CPUtime=0.02 cores=1,3
/proc/1004857/task/1004874/stat : 1004874 (fscip) S 1004854 1004857 1000725 0 -1 1077936192 194 0 0 0 1 1 0 0 20 0 3 0 187105573 323866624 64954 134679101440 4194304 16613245 140721240755680 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 28078080 140721240757267 140721240757383 140721240757383 140721240764400 0
Current children cumulated CPU time: 3591 s
Current children cumulated vsize: 316276 KiB
Current children cumulated memory: 259816 KiB

Child status: 0

Real time (s): 3600.05
CPU time (s): 3591.05
CPU user time (s): 3590.52
CPU system time (s): 0.533732
CPU usage (%): 99.75
Max. virtual memory (cumulated for all children) (KiB): 316276
Max. memory (cumulated for all children) (KiB): 259816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.52
system time used= 0.533732
maximum resident set size= 259816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305071
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= 10181
involuntary context switches= 1711


# summary of solver processes directly reported to runsolver:
#   pid: 1004857
#   total CPU time (s): 3591.05
#   total CPU user time (s): 3590.52
#   total CPU system time (s): 0.533732

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.08117 second user time and 15.3552 second system time

The end

Launcher Data

Begin job on nodeC029 at 2024-07-19 02:36:32
IDJOB=4447280
IDBENCH=158375
IDSOLVER=3064
FILE ID=nodeC029/4447280-1721349379
RUNJOBID= nodeC029-1721342191-1000737
SLURM_JOB_ID= 7542739
Free space on /tmp= 890016 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K71.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-4447280-1721349379/watcher-4447280-1721349379 -o /tmp/evaluation-result-4447280-1721349379/solver-4447280-1721349379 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721342191-1000737 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4447280-1721349379.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 9c6bc9cc94309c2493f896d524de96fb
RANDOM SEED=2111051887

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.867
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3679.625
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3652.791
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.211
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3661.292
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.460
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3627.649
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3679.607
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125651320 kB
MemAvailable:   129654040 kB
Buffers:          501200 kB
Cached:          4292848 kB
SwapCached:            0 kB
Active:           961400 kB
Inactive:        4198704 kB
Active(anon):       1392 kB
Inactive(anon):   402376 kB
Active(file):     960008 kB
Inactive(file):  3796328 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            113408 kB
Writeback:            24 kB
AnonPages:        366088 kB
Mapped:           124560 kB
Shmem:             37720 kB
KReclaimable:     172060 kB
Slab:             293412 kB
SReclaimable:     172060 kB
SUnreclaim:       121352 kB
KernelStack:        3940 kB
PageTables:         9660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     813440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68768 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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:      281300 kB
DirectMap2M:    36192256 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-19 03:36:32