Trace number 4464564

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-30SAT22 3588.31 3598.64

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=24-t=2.opb
MD5SUM585ad78207efe7b44b7f003a9b0d83f6
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables924
Total number of constraints152976
Number of constraints which are clauses152952
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint25
Number of terms in the objective function 24
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 24
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
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: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
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.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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.4.0         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.78/0.84	c Default LC presolving (default).
0.78/0.84	c ** Before presolving: virtualMemUsedAtLc = 358326820, getVmSize() = 237297664, SCIPgetMemUsed() = 173410706, SCIPgetMemTotal() = 204364826, SCIPgetMemExternEstim() = 153961994
0.78/0.84	c ** set memory limit for presolving in LC to 8.79599e+12 for SCIP **
4.18/4.20	c ** Estimated virtualMemUsedAtSolver = 422473980, getVmSize() = 545521664, SCIPgetMemUsed() = 272778273, SCIPgetMemTotal() = 479748977, SCIPgetMemExternEstim() = 153961994
4.18/4.20	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
4.18/4.20	c Original Problem   :
4.18/4.20	c   Problem name     : instance-4464564-1722390353
4.18/4.20	c   Variables        : 924 (924 binary, 0 integer, 0 implicit integer, 0 continuous)
4.18/4.20	c   Constraints      : 152976
4.18/4.20	c   Objective sense  : minimize
4.18/4.20	c Presolved Problem  :
4.18/4.20	c   Variables        : 900 (900 binary, 0 integer, 0 implicit integer, 0 continuous)
4.18/4.20	c   Constraints      : 152952
4.18/4.20	c Constraints        : Number
4.18/4.20	c   setppc           : 24 
4.18/4.20	c   logicor          : 152928 
4.18/4.20	c ** Instance transfer method used: 0
4.37/4.43	c ** ParaScipInstance copy does not increase the number of variables. **
4.77/4.85	c LC is working with racing ramp-up and with rebuilding tree after racing.
4.77/4.85	c                                Nodes    Active                                            
4.77/4.85	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
7.85/7.96	c *       8              0           1         1          23.0000                -          -
7.85/7.96	c         8              0           1         1          23.0000                -          -
8.06/8.14	c *       8              0           1         1          22.0000                -          -
39.76/39.90	c        40              2           1         1          22.0000           0.0000          -
45.96/46.14	c        46             14          13         1          22.0000           0.0000          -
53.52/53.74	c        54             17          16         1          22.0000           0.0000          -
62.01/62.23	c        62             26          23         1          22.0000           0.0000          -
67.19/67.41	c        67             30          27         1          22.0000           0.0000          -
74.07/74.34	c        74             36          31         1          22.0000           0.0000          -
82.15/82.48	c        82             40          35         1          22.0000           0.0000          -
87.44/87.75	c        88             43          34         1          22.0000           0.0000          -
92.62/92.92	c        93             46          35         1          22.0000           0.0000          -
97.91/98.25	c        98             49          36         1          22.0000           0.0000          -
103.99/104.31	c       104             57          42         1          22.0000           0.0000          -
109.48/109.87	c       110             68          53         1          22.0000           0.0000          -
115.76/116.18	c       116             76          61         1          22.0000           0.0000          -
121.04/121.46	c       121             85          68         1          22.0000           0.0000          -
126.22/126.62	c       127             95          78         1          22.0000           0.0000          -
131.31/131.73	c       132            102          83         1          22.0000           0.0000          -
136.99/137.42	c       137            111          90         1          22.0000           0.0000          -
142.47/142.91	c       143            122          99         1          22.0000           0.0000          -
148.46/148.96	c       149            130         107         1          22.0000           0.0000          -
154.44/155.01	c       155            140         117         1          22.0000           0.0000          -
165.70/166.22	c       166            144         121         1          22.0000           0.0000          -
171.51/172.06	c       172            148         125         1          22.0000           0.0000          -
176.88/177.45	c       177            157         131         1          22.0000           0.0000          -
183.16/183.76	c       184            165         139         1          22.0000           0.0000          -
188.74/189.36	c       189            172         144         1          22.0000           0.0000          -
194.13/194.76	c       195            181         149         1          22.0000           0.0000          -
200.10/200.78	c       201            191         151         1          22.0000           0.0000          -
205.59/206.28	c       206            201         158         1          22.0000           0.0000          -
213.47/214.14	c       214            205         160         1          22.0000           0.0000          -
218.65/219.31	c       219            215         165         1          22.0000           0.0000          -
224.23/224.97	c       225            223         170         1          22.0000           0.0000          -
231.00/231.78	c       232            232         171         1          22.0000           0.0000          -
238.28/239.04	c       239            235         172         1          22.0000           0.0000          -
244.06/244.87	c       245            255         177         1          22.0000           0.0000          -
252.13/253.01	c       253            258         180         1          22.0000           0.0000          -
258.11/258.92	c       259            292         184         1          22.0000           0.0000          -
264.89/265.73	c       266            299         189         1          22.0000           0.0000          -
270.47/271.31	c       271            306         192         1          22.0000           0.0000          -
275.75/276.66	c       277            314         198         1          22.0000           0.0000          -
285.83/286.77	c       287            322         206         1          22.0000           0.0000          -
291.01/291.97	c       292            331         209         1          22.0000           0.0000          -
299.28/300.29	c       300            345         215         1          22.0000           0.0000          -
306.18/307.17	c       307            372         225         1          22.0000           0.0000          -
313.25/314.20	c       314            385         232         1          22.0000           0.0000          -
318.34/319.32	c       319            395         239         1          22.0000           0.0000          -
324.03/325.09	c       325            412         246         1          22.0000           0.0000          -
329.60/330.66	c       331            428         252         1          22.0000           0.0000          -
334.99/336.09	c       336            440         257         1          22.0000           0.0000          -
340.75/341.84	c       342            486         265         1          22.0000           0.0000          -
346.14/347.21	c       347            508         273         1          22.0000           0.0000          -
351.93/353.05	c       353            535         284         1          22.0000           0.0000          -
358.00/359.12	c       359            579         290         1          22.0000           0.0000          -
363.57/364.74	c       365            611         302         1          22.0000           0.0000          -
368.55/369.76	c       370            644         314         1          22.0000           0.0000          -
373.85/375.06	c       375            695         330         1          22.0000           0.0000          -
380.01/381.24	c       381            732         341         1          22.0000           0.0000          -
385.90/387.16	c       387            776         357         1          22.0000           0.0000          -
392.48/393.78	c       394            802         368         1          22.0000           0.0000          -
399.87/401.14	c       401            852         388         1          22.0000           0.0000          -
405.04/406.30	c       406            889         404         1          22.0000           0.0000          -
410.52/411.87	c       412            939         421         1          22.0000           0.0000          -
415.61/416.96	c       417            985         439         1          22.0000           0.0000          -
421.19/422.56	c       423            991         439         1          22.0000           0.0000          -
427.08/428.49	c       428           1020         455         1          22.0000           0.0000          -
432.67/434.08	c       434           1084         477         1          22.0000           0.0000          -
437.94/439.37	c       439           1169         504         1          22.0000           0.0000          -
443.92/445.34	c       445           1233         531         1          22.0000           0.0000          -
449.81/451.29	c       451           1281         549         1          22.0000           0.0000          -
455.09/456.56	c       457           1347         580         1          22.0000           0.0000          -
460.07/461.58	c       462           1381         594         1          22.0000           0.0000          -
465.37/466.80	c       467           1447         615         1          22.0000           0.0000          -
480.92/482.46	c       482           1469         621         1          22.0000           0.0000          -
490.51/492.09	c       492           1515         630         1          22.0000           0.0000          -
496.18/497.79	c       498           1565         637         1          22.0000           0.0000          -
501.48/503.03	c       503           1598         643         1          22.0000           0.0000          -
507.84/509.42	c       509           1707         682         1          22.0000           0.0000          -
513.44/515.06	c       515           1837         700         1          22.0000           0.0000          -
518.81/520.45	c       520           1944         723         1          22.0000           0.0000          -
523.89/525.60	c       526           1954         723         1          22.0000           0.0000          -
530.67/532.39	c       532           2040         745         1          22.0000           0.0000          -
536.17/537.87	c       538           2127         771         1          22.0000           0.0000          -
541.25/542.91	c       543           2173         781         1          22.0000           0.0000          -
547.45/549.19	c       549           2226         790         1          22.0000           0.0000          -
552.91/554.63	c       555           2270         798         1          22.0000           0.0000          -
558.10/559.80	c       560           2277         800         1          22.0000           0.0000          -
572.47/574.20	c       574           2281         801         1          22.0000           0.0000          -
584.25/586.11	c       586           2290         802         1          22.0000           0.0000          -
590.92/592.74	c       593           2342         830         1          22.0000           0.0000          -
596.80/598.66	c       599           2390         849         1          22.0000           0.0000          -
603.08/604.97	c       605           2416         861         1          22.0000           0.0000          -
610.17/612.02	c       612           2428         865         1          22.0000           0.0000          -
615.85/617.73	c       618           2433         867         1          22.0000           0.0000          -
622.73/624.60	c       625           2465         875         1          22.0000           0.0000          -
628.41/630.38	c       630           2472         879         1          22.0000           0.0000          -
636.59/638.51	c       639           2480         879         1          22.0000           0.0000          -
648.06/650.04	c       650           2542         892         1          22.0000           0.0000          -
653.05/655.07	c       655           2609         910         1          22.0000           0.0000          -
658.52/660.59	c       661           2656         920         1          22.0000           0.0000          -
668.30/670.30	c       670           2735         937         1          22.0000           0.0000          -
676.37/678.41	c       678           2792         958         1          22.0000           0.0000          -
691.05/693.13	c       693           2842         973         1          22.0000           0.0000          -
696.62/698.78	c       699           2894         989         1          22.0000           0.0000          -
701.92/704.02	c       704           2981        1004         1          22.0000           0.0000          -
713.08/715.24	c       715           3038        1017         1          22.0000           0.0000          -
718.46/720.63	c       721           3175        1022         1          22.0000           0.0000          -
724.73/726.92	c       727           3300        1035         1          22.0000           0.0000          -
731.83/734.06	c       734           3347        1038         1          22.0000           0.0000          -
740.99/743.21	c       743           3385        1040         1          22.0000           0.0000          -
747.78/750.01	c       750           3486        1058         1          22.0000           0.0000          -
753.66/755.95	c       756           3604        1069         1          22.0000           0.0000          -
758.85/761.11	c       761           3678        1081         1          22.0000           0.0000          -
764.32/766.65	c       767           3775        1096         1          22.0000           0.0000          -
769.82/772.18	c       772           3803        1100         1          22.0000           0.0000          -
780.08/782.43	c       782           3808        1102         1          22.0000           0.0000          -
803.00/805.48	c       805           3816        1105         1          22.0000           0.0000          -
808.30/810.72	c       811           3830        1109         1          22.0000           0.0000          -
814.18/816.61	c       817           3915        1127         1          22.0000           0.0000          -
819.77/822.21	c       822           3981        1166         1          22.0000           0.0000          -
825.67/828.11	c       828           4004        1177         1          22.0000           0.0000          -
831.74/834.24	c       834           4071        1218         1          22.0000           0.0000          -
837.12/839.68	c       840           4170        1241         1          22.0000           0.0000          -
846.20/848.77	c       849           4195        1250         1          22.0000           0.0000          -
851.49/854.04	c       854           4274        1272         1          22.0000           0.0000          -
857.66/860.25	c       860           4389        1296         1          22.0000           0.0000          -
862.85/865.44	c       865           4432        1311         1          22.0000           0.0000          -
868.35/870.91	c       871           4519        1339         1          22.0000           0.0000          -
873.63/876.20	c       876           4621        1365         1          22.0000           0.0000          -
878.72/881.31	c       881           4737        1396         1          22.0000           0.0000          -
883.80/886.49	c       886           4865        1420         1          22.0000           0.0000          -
888.99/891.62	c       892           4961        1454         1          22.0000           0.0000          -
894.18/896.87	c       897           5046        1484         1          22.0000           0.0000          -
899.96/902.61	c       903           5110        1499         1          22.0000           0.0000          -
905.25/907.90	c       908           5203        1526         1          22.0000           0.0000          -
910.34/913.06	c       913           5334        1546         1          22.0000           0.0000          -
915.61/918.38	c       918           5456        1575         1          22.0000           0.0000          -
920.90/923.63	c       924           5548        1608         1          22.0000           0.0000          -
926.18/928.92	c       929           5639        1645         1          22.0000           0.0000          -
931.38/934.14	c       934           5742        1674         1          22.0000           0.0000          -
936.66/939.48	c       939           5825        1705         1          22.0000           0.0000          -
943.14/945.99	c       946           5918           0         1          22.0000           0.0000          -
970.67/973.60	c       974           5919           1         1          22.0000           0.0000          -
976.65/979.52	c       980           5939          21         1          22.0000           0.0000          -
983.63/986.50	c       986           5949          31         1          22.0000           0.0000          -
988.81/991.75	c       992           5953          35         1          22.0000           0.0000          -
1015.62/1018.65	c      1019           5961          41         1          22.0000           0.0000          -
1022.50/1025.51	c      1026           5964          44         1          22.0000           0.0000          -
1028.18/1031.23	c      1031           5967          47         1          22.0000           0.0000          -
1036.35/1039.44	c      1039           5973          53         1          22.0000           0.0000          -
1042.83/1045.94	c      1046           5998          76         1          22.0000           0.0000          -
1048.42/1051.58	c      1052           6008          80         1          22.0000           0.0000          -
1054.01/1057.13	c      1057           6014          80         1          22.0000           0.0000          -
1061.57/1064.80	c      1065           6025          84         1          22.0000           0.0000          -
1067.55/1070.74	c      1071           6037          88         1          22.0000           0.0000          -
1075.83/1079.05	c      1079           6042          90         1          22.0000           0.0000          -
1083.60/1086.83	c      1087           6050          95         1          22.0000           0.0000          -
1088.90/1092.16	c      1092           6058          97         1          22.0000           0.0000          -
1094.18/1097.44	c      1097           6067          98         1          22.0000           0.0000          -
1099.17/1102.46	c      1102           6082         105         1          22.0000           0.0000          -
1105.05/1108.37	c      1108           6113         118         1          22.0000           0.0000          -
1110.64/1113.92	c      1114           6130         123         1          22.0000           0.0000          -
1116.12/1119.44	c      1119           6171         140         1          22.0000           0.0000          -
1122.10/1125.49	c      1125           6206         149         1          22.0000           0.0000          -
1128.19/1131.51	c      1132           6227         153         1          22.0000           0.0000          -
1133.57/1137.01	c      1137           6233         153         1          22.0000           0.0000          -
1139.35/1142.71	c      1143           6251         153         1          22.0000           0.0000          -
1144.83/1148.23	c      1148           6323         153         1          22.0000           0.0000          -
1151.02/1154.47	c      1154           6338         154         1          22.0000           0.0000          -
1157.80/1161.27	c      1161           6376         154         1          22.0000           0.0000          -
1163.70/1167.18	c      1167           6434         154         1          22.0000           0.0000          -
1168.97/1172.40	c      1172           6465         155         1          22.0000           0.0000          -
1174.57/1178.10	c      1178           6508         154         1          22.0000           0.0000          -
1179.94/1183.44	c      1183           6553         155         1          22.0000           0.0000          -
1185.12/1188.64	c      1189           6597         155         1          22.0000           0.0000          -
1190.52/1194.04	c      1194           6646         156         1          22.0000           0.0000          -
1195.60/1199.18	c      1199           6679         157         1          22.0000           0.0000          -
1201.17/1204.76	c      1205           6717         161         1          22.0000           0.0000          -
1206.85/1210.45	c      1210           6758         163         1          22.0000           0.0000          -
1218.61/1222.22	c      1222           6779         163         1          22.0000           0.0000          -
1223.60/1227.24	c      1227           6803         165         1          22.0000           0.0000          -
1231.18/1234.84	c      1235           6857         165         1          22.0000           0.0000          -
1237.16/1240.81	c      1241           6865         165         1          22.0000           0.0000          -
1244.34/1248.02	c      1248           6893         171         1          22.0000           0.0000          -
1250.32/1254.04	c      1254           6914         173         1          22.0000           0.0000          -
1255.30/1259.09	c      1259           6954         173         1          22.0000           0.0000          -
1260.58/1264.34	c      1264           7089         178         1          22.0000           0.0000          -
1266.16/1269.94	c      1270           7143         177         1          22.0000           0.0000          -
1271.35/1275.13	c      1275           7181         177         1          22.0000           0.0000          -
1278.92/1282.78	c      1283           7235         175         1          22.0000           0.0000          -
1284.40/1288.23	c      1288           7300         176         1          22.0000           0.0000          -
1289.68/1293.53	c      1294           7383         181         1          22.0000           0.0000          -
1295.36/1299.27	c      1299           7413         192         1          22.0000           0.0000          -
1301.25/1305.14	c      1305           7447         193         1          22.0000           0.0000          -
1307.52/1311.41	c      1311           7506         195         1          22.0000           0.0000          -
1313.21/1317.12	c      1317           7577         195         1          22.0000           0.0000          -
1318.88/1322.89	c      1323           7615         195         1          22.0000           0.0000          -
1324.86/1328.80	c      1329           7692         197         1          22.0000           0.0000          -
1331.73/1335.75	c      1336           7723         201         1          22.0000           0.0000          -
1337.71/1341.73	c      1342           7740         204         1          22.0000           0.0000          -
1343.00/1347.07	c      1347           7765         208         1          22.0000           0.0000          -
1349.88/1353.90	c      1354           7800         210         1          22.0000           0.0000          -
1355.56/1359.66	c      1360           7837         211         1          22.0000           0.0000          -
1360.63/1364.72	c      1365           7878         212         1          22.0000           0.0000          -
1366.03/1370.14	c      1370           7932         212         1          22.0000           0.0000          -
1372.30/1376.44	c      1376           7974         212         1          22.0000           0.0000          -
1377.68/1381.87	c      1382           8030         212         1          22.0000           0.0000          -
1383.55/1387.73	c      1388           8113         213         1          22.0000           0.0000          -
1389.54/1393.71	c      1394           8171         213         1          22.0000           0.0000          -
1395.83/1400.05	c      1400           8193         215         1          22.0000           0.0000          -
1401.50/1405.75	c      1406           8261         214         1          22.0000           0.0000          -
1407.28/1411.57	c      1412           8303         214         1          22.0000           0.0000          -
1412.87/1417.15	c      1417           8376         215         1          22.0000           0.0000          -
1418.24/1422.54	c      1423           8457         214         1          22.0000           0.0000          -
1446.15/1450.53	c      1451           8533         218         1          22.0000           0.0000          -
1451.53/1456.01	c      1456           8559         223         1          22.0000           0.0000          -
1468.08/1472.51	c      1473           8575         223         1          22.0000           0.0000          -
1490.40/1494.94	c      1495           8611         223         1          22.0000           0.0000          -
1495.51/1500.05	c      1500           8673         225         1          22.0000           0.0000          -
1501.28/1505.88	c      1506           8686         226         1          22.0000           0.0000          -
1507.56/1512.14	c      1512           8769         227         1          22.0000           0.0000          -
1514.54/1519.15	c      1519           8804         231         1          22.0000           0.0000          -
1519.81/1524.47	c      1524           8849         232         1          22.0000           0.0000          -
1525.79/1530.41	c      1530           8887         238         1          22.0000           0.0000          -
1531.27/1535.97	c      1536           8941         243         1          22.0000           0.0000          -
1536.85/1541.52	c      1542           9010         243         1          22.0000           0.0000          -
1543.13/1547.83	c      1548           9035         246         1          22.0000           0.0000          -
1548.12/1552.85	c      1553           9060         246         1          22.0000           0.0000          -
1554.70/1559.45	c      1559           9113         248         1          22.0000           0.0000          -
1573.04/1577.88	c      1578           9162         251         1          22.0000           0.0000          -
1601.16/1606.01	c      1606           9199         252         1          22.0000           0.0000          -
1620.69/1625.63	c      1626           9221         252         1          22.0000           0.0000          -
1649.60/1654.62	c      1655           9301         252         1          22.0000           0.0000          -
1655.78/1660.83	c      1661           9339         256         1          22.0000           0.0000          -
1661.98/1667.04	c      1667           9417         255         1          22.0000           0.0000          -
1667.74/1672.85	c      1673           9465         257         1          22.0000           0.0000          -
1674.22/1679.36	c      1679           9513         257         1          22.0000           0.0000          -
1679.60/1684.74	c      1685           9561         259         1          22.0000           0.0000          -
1684.78/1689.91	c      1690           9590         259         1          22.0000           0.0000          -
1689.87/1695.03	c      1695           9635         259         1          22.0000           0.0000          -
1695.14/1700.31	c      1700           9675         259         1          22.0000           0.0000          -
1700.73/1705.93	c      1706           9719         259         1          22.0000           0.0000          -
1706.61/1711.87	c      1712           9789         261         1          22.0000           0.0000          -
1712.39/1717.70	c      1718           9812         268         1          22.0000           0.0000          -
1717.89/1723.17	c      1723           9886         268         1          22.0000           0.0000          -
1723.56/1728.87	c      1729           9942         274         1          22.0000           0.0000          -
1737.02/1742.35	c      1742           9965         285         1          22.0000           0.0000          -
1742.50/1747.87	c      1748          10026         305         1          22.0000           0.0000          -
1747.59/1752.94	c      1753          10062         315         1          22.0000           0.0000          -
1752.87/1758.25	c      1758          10094         329         1          22.0000           0.0000          -
1758.15/1763.56	c      1764          10119         342         1          22.0000           0.0000          -
1763.23/1768.65	c      1769          10171         357         1          22.0000           0.0000          -
1774.40/1779.80	c      1780          10175         357         1          22.0000           0.0000          -
1779.59/1785.07	c      1785          10232         367         1          22.0000           0.0000          -
1836.31/1841.92	c      1842          10312         367         1          22.0000           0.0000          -
1841.99/1847.66	c      1848          10382         366         1          22.0000           0.0000          -
1847.97/1853.69	c      1854          10454         366         1          22.0000           0.0000          -
1893.83/1899.60	c      1900          10460         366         1          22.0000           0.0000          -
1899.51/1905.38	c      1905          10545         366         1          22.0000           0.0000          -
1905.31/1911.12	c      1911          10610         367         1          22.0000           0.0000          -
1937.40/1943.30	c      1943          10704         367         1          22.0000           0.0000          -
1943.19/1949.16	c      1949          10773         367         1          22.0000           0.0000          -
1948.66/1954.66	c      1955          10806         368         1          22.0000           0.0000          -
1957.23/1963.28	c      1963          10831         367         1          22.0000           0.0000          -
1963.02/1969.04	c      1969          10877         371         1          22.0000           0.0000          -
1996.04/2002.18	c      2002          10957         371         1          22.0000           0.0000          -
2028.95/2035.16	c      2035          11042         372         1          22.0000           0.0000          -
2036.83/2043.05	c      2043          11080         374         1          22.0000           0.0000          -
2066.45/2072.77	c      2073          11124         377         1          22.0000           0.0000          -
2071.94/2078.23	c      2078          11224         378         1          22.0000           0.0000          -
2077.42/2083.76	c      2084          11279         379         1          22.0000           0.0000          -
2083.51/2089.83	c      2090          11356         380         1          22.0000           0.0000          -
2096.78/2103.14	c      2103          11417         381         1          22.0000           0.0000          -
2113.23/2119.61	c      2120          11523         384         1          22.0000           0.0000          -
2138.36/2144.83	c      2145          11567         385         1          22.0000           0.0000          -
2163.80/2170.32	c      2170          11593         384         1          22.0000           0.0000          -
2169.39/2175.91	c      2176          11625         387         1          22.0000           0.0000          -
2174.58/2181.14	c      2181          11644         399         1          22.0000           0.0000          -
2180.25/2186.80	c      2187          11690         411         1          22.0000           0.0000          -
2185.64/2192.29	c      2192          11758         411         1          22.0000           0.0000          -
2210.18/2216.84	c      2217          11795         407         1          22.0000           0.0000          -
2222.65/2229.38	c      2229          11796         408         1          22.0000           0.0000          -
2242.50/2249.22	c      2249          11865         410         1          22.0000           0.0000          -
2247.68/2254.46	c      2254          11990         412         1          22.0000           0.0000          -
2252.77/2259.58	c      2260          12091         409         1          22.0000           0.0000          -
2258.55/2265.36	c      2265          12176         410         1          22.0000           0.0000          -
2263.93/2270.79	c      2271          12279         411         1          22.0000           0.0000          -
2269.42/2276.25	c      2276          12374         411         1          22.0000           0.0000          -
2274.90/2281.71	c      2282          12486         411         1          22.0000           0.0000          -
2279.99/2286.86	c      2287          12570         410         1          22.0000           0.0000          -
2285.58/2292.47	c      2292          12644         410         1          22.0000           0.0000          -
2299.26/2306.11	c      2306          12701         408         1          22.0000           0.0000          -
2314.51/2321.43	c      2321          12821         408         1          22.0000           0.0000          -
2319.69/2326.69	c      2327          12952         405         1          22.0000           0.0000          -
2325.28/2332.24	c      2332          13051         407         1          22.0000           0.0000          -
2330.76/2337.76	c      2338          13150         407         1          22.0000           0.0000          -
2336.16/2343.14	c      2343          13221         409         1          22.0000           0.0000          -
2341.44/2348.44	c      2348          13299         409         1          22.0000           0.0000          -
2347.32/2354.37	c      2354          13409         411         1          22.0000           0.0000          -
2352.70/2359.75	c      2360          13518         414         1          22.0000           0.0000          -
2357.89/2364.93	c      2365          13608         414         1          22.0000           0.0000          -
2363.37/2370.45	c      2370          13721         415         1          22.0000           0.0000          -
2369.26/2376.33	c      2376          13775         414         1          22.0000           0.0000          -
2374.84/2382.01	c      2382          13861         419         1          22.0000           0.0000          -
2381.82/2388.99	c      2389          13941         421         1          22.0000           0.0000          -
2389.10/2396.25	c      2396          14010         426         1          22.0000           0.0000          -
2394.48/2401.60	c      2402          14066         440         1          22.0000           0.0000          -
2399.77/2406.98	c      2407          14186         445         1          22.0000           0.0000          -
2404.96/2412.13	c      2412          14340         451         1          22.0000           0.0000          -
2410.04/2417.21	c      2417          14499         447         1          22.0000           0.0000          -
2415.32/2422.54	c      2423          14600         452         1          22.0000           0.0000          -
2436.47/2443.70	c      2444          14695         455         1          22.0000           0.0000          -
2448.93/2456.23	c      2456          14805         459         1          22.0000           0.0000          -
2456.21/2463.50	c      2464          14918         465         1          22.0000           0.0000          -
2462.30/2469.69	c      2470          15009         471         1          22.0000           0.0000          -
2486.24/2493.65	c      2494          15032         472         1          22.0000           0.0000          -
2502.10/2509.54	c      2510          15130         478         1          22.0000           0.0000          -
2507.49/2514.90	c      2515          15207         484         1          22.0000           0.0000          -
2512.58/2520.10	c      2520          15304         486         1          22.0000           0.0000          -
2525.94/2533.43	c      2533          15328         486         1          22.0000           0.0000          -
2531.32/2538.81	c      2539          15426         488         1          22.0000           0.0000          -
2555.27/2562.81	c      2563          15500         488         1          22.0000           0.0000          -
2564.75/2572.37	c      2572          15566         488         1          22.0000           0.0000          -
2583.51/2591.13	c      2591          15601         491         1          22.0000           0.0000          -
2588.78/2596.45	c      2596          15695         500         1          22.0000           0.0000          -
2594.77/2602.40	c      2602          15718         508         1          22.0000           0.0000          -
2615.91/2623.66	c      2624          15762         507         1          22.0000           0.0000          -
2622.00/2629.76	c      2630          15867         506         1          22.0000           0.0000          -
2643.75/2651.56	c      2652          15944         505         1          22.0000           0.0000          -
2649.53/2657.35	c      2657          16022         509         1          22.0000           0.0000          -
2655.11/2662.93	c      2663          16122         511         1          22.0000           0.0000          -
2670.07/2677.97	c      2678          16175         509         1          22.0000           0.0000          -
2685.43/2693.36	c      2693          16268         511         1          22.0000           0.0000          -
2712.66/2720.69	c      2721          16356         512         1          22.0000           0.0000          -
2717.94/2725.96	c      2726          16461         507         1          22.0000           0.0000          -
2727.72/2735.79	c      2736          16471         509         1          22.0000           0.0000          -
2751.66/2759.76	c      2760          16519         512         1          22.0000           0.0000          -
2758.44/2766.57	c      2767          16564         516         1          22.0000           0.0000          -
2784.69/2792.89	c      2793          16592         515         1          22.0000           0.0000          -
2789.98/2798.11	c      2798          16740         511         1          22.0000           0.0000          -
2798.86/2807.11	c      2807          16803         511         1          22.0000           0.0000          -
2804.23/2812.44	c      2812          16907         523         1          22.0000           0.0000          -
2809.31/2817.53	c      2818          17005         521         1          22.0000           0.0000          -
2827.78/2836.02	c      2836          17024         522         1          22.0000           0.0000          -
2847.12/2855.41	c      2855          17133         525         1          22.0000           0.0000          -
2852.62/2860.90	c      2861          17196         540         1          22.0000           0.0000          -
2857.90/2866.28	c      2866          17265         543         1          22.0000           0.0000          -
2863.59/2871.97	c      2872          17373         548         1          22.0000           0.0000          -
2868.97/2877.31	c      2877          17433         549         1          22.0000           0.0000          -
2874.16/2882.50	c      2882          17484         550         1          22.0000           0.0000          -
2879.24/2887.65	c      2888          17567         547         1          22.0000           0.0000          -
2884.53/2892.97	c      2893          17627         547         1          22.0000           0.0000          -
2889.91/2898.37	c      2898          17737         546         1          22.0000           0.0000          -
2918.34/2926.84	c      2927          17785         548         1          22.0000           0.0000          -
2923.72/2932.26	c      2932          17877         552         1          22.0000           0.0000          -
2928.92/2937.48	c      2937          18004         549         1          22.0000           0.0000          -
2940.89/2949.46	c      2949          18023         550         1          22.0000           0.0000          -
2948.07/2956.66	c      2957          18136         549         1          22.0000           0.0000          -
2953.25/2961.81	c      2962          18246         551         1          22.0000           0.0000          -
2965.44/2974.01	c      2974          18262         553         1          22.0000           0.0000          -
2970.52/2979.19	c      2979          18407         558         1          22.0000           0.0000          -
2979.59/2988.20	c      2988          18542         569         1          22.0000           0.0000          -
2993.47/3002.19	c      3002          18547         571         1          22.0000           0.0000          -
3008.12/3016.88	c      3017          18614         574         1          22.0000           0.0000          -
3013.60/3022.33	c      3022          18766         576         1          22.0000           0.0000          -
3019.09/3027.82	c      3028          18854         577         1          22.0000           0.0000          -
3024.47/3033.24	c      3033          18947         577         1          22.0000           0.0000          -
3054.32/3063.19	c      3063          18978         580         1          22.0000           0.0000          -
3059.68/3068.55	c      3069          19084         583         1          22.0000           0.0000          -
3065.37/3074.27	c      3074          19170         586         1          22.0000           0.0000          -
3070.65/3079.54	c      3080          19256         587         1          22.0000           0.0000          -
3075.95/3084.84	c      3085          19379         587         1          22.0000           0.0000          -
3082.03/3090.93	c      3091          19459         591         1          22.0000           0.0000          -
3094.40/3103.33	c      3103          19525         591         1          22.0000           0.0000          -
3112.85/3121.87	c      3122          19581         591         1          22.0000           0.0000          -
3134.49/3143.51	c      3144          19638         593         1          22.0000           0.0000          -
3160.04/3169.16	c      3169          19688         594         1          22.0000           0.0000          -
3166.61/3175.73	c      3176          19749         594         1          22.0000           0.0000          -
3190.45/3199.61	c      3200          19799         592         1          22.0000           0.0000          -
3198.03/3207.27	c      3207          19840         590         1          22.0000           0.0000          -
3213.80/3223.07	c      3223          19862         599         1          22.0000           0.0000          -
3226.96/3236.29	c      3236          19932         600         1          22.0000           0.0000          -
3232.85/3242.14	c      3242          20033         603         1          22.0000           0.0000          -
3238.84/3248.14	c      3248          20156         602         1          22.0000           0.0000          -
3244.21/3253.53	c      3254          20298         608         1          22.0000           0.0000          -
3257.27/3266.66	c      3267          20311         612         1          22.0000           0.0000          -
3262.37/3271.73	c      3272          20497         620         1          22.0000           0.0000          -
3268.05/3277.41	c      3277          20535         631         1          22.0000           0.0000          -
3273.14/3282.54	c      3283          20662         644         1          22.0000           0.0000          -
3278.32/3287.70	c      3288          20832         644         1          22.0000           0.0000          -
3283.73/3293.14	c      3293          20919         642         1          22.0000           0.0000          -
3288.71/3298.18	c      3298          20972         659         1          22.0000           0.0000          -
3307.25/3316.73	c      3317          20997         660         1          22.0000           0.0000          -
3312.44/3321.95	c      3322          21146         657         1          22.0000           0.0000          -
3318.02/3327.53	c      3328          21232         658         1          22.0000           0.0000          -
3323.21/3332.71	c      3333          21316         662         1          22.0000           0.0000          -
3328.79/3338.31	c      3338          21404         663         1          22.0000           0.0000          -
3334.28/3343.81	c      3344          21429         664         1          22.0000           0.0000          -
3339.76/3349.39	c      3349          21512         683         1          22.0000           0.0000          -
3344.94/3354.57	c      3355          21675         691         1          22.0000           0.0000          -
3350.12/3359.76	c      3360          21805         689         1          22.0000           0.0000          -
3355.41/3365.06	c      3365          21950         699         1          22.0000           0.0000          -
3365.68/3375.30	c      3375          22024         688         1          22.0000           0.0000          -
3370.86/3380.52	c      3381          22120         691         1          22.0000           0.0000          -
3376.45/3386.11	c      3386          22204         694         1          22.0000           0.0000          -
3381.82/3391.56	c      3392          22281         704         1          22.0000           0.0000          -
3387.10/3396.85	c      3397          22415         704         1          22.0000           0.0000          -
3392.48/3402.26	c      3402          22540         707         1          22.0000           0.0000          -
3398.56/3408.37	c      3408          22635         708         1          22.0000           0.0000          -
3403.65/3413.47	c      3413          22678         722         1          22.0000           0.0000          -
3409.24/3419.08	c      3419          22758         722         1          22.0000           0.0000          -
3424.78/3434.67	c      3435          22779         723         1          22.0000           0.0000          -
3430.46/3440.33	c      3440          22838         736         1          22.0000           0.0000          -
3436.16/3446.07	c      3446          22871         746         1          22.0000           0.0000          -
3466.85/3476.85	c      3477          22986         746         1          22.0000           0.0000          -
3491.17/3501.29	c      3501          23074         744         1          22.0000           0.0000          -
3497.15/3507.21	c      3507          23172         756         1          22.0000           0.0000          -
3512.20/3522.38	c      3522          23250         755         1          22.0000           0.0000          -
3517.48/3527.63	c      3528          23371         766         1          22.0000           0.0000          -
3544.10/3554.34	c      3554          23382         767         1          22.0000           0.0000          -
3558.27/3568.57	c      3569          23440         766         1          22.0000           0.0000          -
3571.03/3581.36	c      3581          23483         764         1          22.0000           0.0000          -
3582.49/3592.86	c      3593          23544         781         1          22.0000           0.0000          -
3587.68/3598.01	c      3598          23572         781         0          22.0000           0.0000          -
3587.97/3598.35	c SCIP Status        : c solving was interrupted [hard time limit reached]
3587.97/3598.35	c Total Time         : 3598.3400
3587.97/3598.35	c   solving          : 3598.3400
3587.97/3598.35	c   presolving       : 3.3576 (included in solving)
3587.97/3598.35	c B&B Tree           :
3587.97/3598.35	c   nodes (total)    : 1
3587.97/3598.35	c Solution           :
3587.97/3598.35	c   Solutions found  : 2
3587.97/3598.35	c   Primal Bound     : +2.20000000000000e+01
3587.97/3598.35	c   Dual Bound       : +0.00000000000000e+00
3587.97/3598.35	c Gap                :   infinite
3587.97/3598.35	c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3587.97/3598.38	o 22
3587.97/3598.38	s SATISFIABLE
3587.97/3598.38	v x924 -x923 -x922 x921 -x920 x919 -x918 x917 -x916 x915 -x914 x913 -x912 x911 -x910 x909 -x908 x907 -x906 x905 -x904 x903 -x902 
3587.97/3598.38	v x901 -x900 x899 -x898 x897 -x896 x895 -x894 x893 -x892 x891 -x890 x889 -x888 x887 -x886 x885 -x884 x883 -x882 x881 -x880 x879 
3587.97/3598.38	v -x878 x877 x276 x275 -x274 x273 -x272 -x271 x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 
3587.97/3598.38	v -x256 x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 
3587.97/3598.38	v -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 
3587.97/3598.38	v -x213 -x212 -x211 x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 
3587.97/3598.38	v -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 
3587.97/3598.38	v x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 
3587.97/3598.38	v -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 
3587.97/3598.38	v -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 
3587.97/3598.38	v -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 
3587.97/3598.38	v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 
3587.97/3598.38	v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 
3587.97/3598.38	v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 
3587.97/3598.38	v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x876 -x852 -x828 -x804 -x780 -x756 -x732 -x708 -x684 -x660 -x636 -x612 -x588 -x564 -x540 
3587.97/3598.38	v -x516 -x492 -x468 -x444 -x420 -x396 -x372 -x348 -x324 -x875 -x851 -x827 -x803 -x779 -x755 -x731 -x707 -x683 -x659 -x635 -x611 
3587.97/3598.38	v -x587 -x563 -x539 -x515 -x491 -x467 -x443 -x419 -x395 -x371 -x347 -x323 -x874 -x850 -x826 -x802 -x778 -x754 -x730 -x706 -x682 
3587.97/3598.38	v -x658 -x634 -x610 -x586 -x562 -x538 -x514 -x490 -x466 -x442 -x418 -x394 -x370 -x346 -x322 -x873 -x849 -x825 -x801 -x777 -x753 
3587.97/3598.38	v -x729 -x705 -x681 -x657 -x633 -x609 -x585 -x561 -x537 -x513 -x489 -x465 -x441 -x417 -x393 -x369 -x345 -x321 -x872 -x848 
3587.97/3598.38	v -x824 -x800 -x776 -x752 -x728 -x704 -x680 -x656 -x632 -x608 -x584 -x560 -x536 -x512 -x488 -x464 -x440 -x416 -x392 -x368 -x344 
3587.97/3598.38	v -x320 -x871 -x847 -x823 -x799 -x775 -x751 -x727 -x703 -x679 -x655 -x631 -x607 -x583 -x559 -x535 -x511 -x487 -x463 -x439 -x415 
3587.97/3598.38	v -x391 -x367 -x343 -x319 -x870 -x846 -x822 -x798 -x774 -x750 -x726 -x702 -x678 -x654 -x630 -x606 -x582 -x558 -x534 -x510 -x486 
3587.97/3598.38	v -x462 -x438 -x414 -x390 -x366 -x342 -x318 -x869 -x845 -x821 -x797 -x773 -x749 -x725 -x701 -x677 -x653 -x629 -x605 -x581 -x557 
3587.97/3598.38	v -x533 -x509 -x485 -x461 -x437 -x413 -x389 -x365 -x341 -x317 -x868 -x844 -x820 -x796 -x772 -x748 -x724 -x700 -x676 -x652 -x628 
3587.97/3598.38	v -x604 -x580 -x556 -x532 -x508 -x484 -x460 -x436 -x412 -x388 -x364 -x340 -x316 -x867 -x843 -x819 -x795 -x771 -x747 -x723 
3587.97/3598.38	v -x699 -x675 -x651 -x627 -x603 -x579 -x555 -x531 -x507 -x483 -x459 -x435 -x411 -x387 -x363 -x339 -x315 -x866 -x842 -x818 -x794 
3587.97/3598.38	v -x770 -x746 -x722 -x698 -x674 -x650 -x626 -x602 -x578 -x554 -x530 -x506 -x482 -x458 -x434 -x410 -x386 -x362 -x338 -x314 -x865 
3587.97/3598.38	v -x841 -x817 -x793 -x769 -x745 -x721 -x697 -x673 -x649 -x625 -x601 -x577 -x553 -x529 -x505 -x481 -x457 -x433 -x409 -x385 -x361 
3587.97/3598.38	v -x337 -x313 -x864 -x840 -x816 -x792 -x768 -x744 -x720 -x696 -x672 -x648 -x624 -x600 -x576 -x552 -x528 -x504 -x480 -x456 -x432 
3587.97/3598.38	v -x408 -x384 -x360 -x336 -x312 -x863 -x839 -x815 -x791 -x767 -x743 -x719 -x695 -x671 -x647 -x623 -x599 -x575 -x551 -x527 -x503 
3587.97/3598.38	v -x479 -x455 -x431 -x407 -x383 -x359 -x335 -x311 -x862 -x838 -x814 -x790 -x766 -x742 -x718 -x694 -x670 -x646 -x622 -x598 
3587.97/3598.38	v -x574 -x550 -x526 -x502 -x478 -x454 -x430 -x406 -x382 -x358 -x334 -x310 -x861 -x837 -x813 -x789 -x765 -x741 -x717 -x693 -x669 
3588.27/3598.62	v -x645 -x621 -x597 -x573 -x549 -x525 -x501 -x477 -x453 -x429 -x405 -x381 -x357 -x333 -x309 -x860 -x836 -x812 -x788 -x764 -x740 
3588.27/3598.62	v -x716 -x692 -x668 -x644 -x620 -x596 -x572 -x548 -x524 -x500 -x476 -x452 -x428 -x404 -x380 -x356 -x332 -x308 -x859 -x835 -x811 
3588.27/3598.62	v -x787 -x763 -x739 -x715 -x691 -x667 -x643 -x619 -x595 -x571 -x547 -x523 -x499 -x475 -x451 -x427 -x403 -x379 -x355 -x331 -x307 
3588.27/3598.62	v -x858 -x834 -x810 -x786 -x762 -x738 -x714 -x690 -x666 -x642 -x618 -x594 -x570 -x546 -x522 -x498 -x474 -x450 -x426 -x402 -x378 
3588.27/3598.62	v -x354 -x330 -x306 -x857 -x833 -x809 -x785 -x761 -x737 -x713 -x689 -x665 -x641 -x617 -x593 -x569 -x545 -x521 -x497 -x473 
3588.27/3598.62	v -x449 -x425 -x401 -x377 -x353 -x329 -x305 -x856 -x832 -x808 -x784 -x760 -x736 -x712 -x688 -x664 -x640 -x616 -x592 -x568 -x544 
3588.27/3598.62	v -x520 -x496 -x472 -x448 -x424 -x400 -x376 -x352 -x328 -x304 x855 -x831 -x807 -x783 -x759 -x735 -x711 -x687 -x663 -x639 -x615 
3588.27/3598.62	v -x591 -x567 -x543 -x519 -x495 -x471 -x447 -x423 -x399 -x375 -x351 -x327 -x303 -x854 x830 x806 x782 x758 x734 x710 x686 x662 
3588.27/3598.62	v x638 x614 x590 x566 x542 x518 x494 x470 x446 x422 x398 x374 x350 x326 x302 -x853 -x829 -x805 -x781 -x757 -x733 -x709 -x685 -x661 
3588.27/3598.62	v -x637 -x613 -x589 -x565 -x541 -x517 -x493 -x469 -x445 -x421 -x397 -x373 -x349 -x325 -x301 x300 x299 x298 x297 x296 x295 x294 
3588.27/3598.62	v x293 x292 x291 x290 x289 x288 x287 x286 x285 x284 x283 x282 x281 x280 -x279 -x278 x277 

Verifier Data

OK	22

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: 64096 MiB (63020 MiB free)
  memory of node 1: 64473 MiB (63757 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10011 s]*
/proc/loadavg: 2.05 1.68 2.51 7/235 36182
/proc/meminfo: memFree=129806860/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=36820 memory=24656 CPUtime=0.1 cores=4,6
/proc/36157/stat : 36157 (fscip) R 36154 36157 35100 0 -1 4194304 4066 0 0 0 9 1 0 0 20 0 1 0 5405917 37703680 6164 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 9205 6164 2347 3035 0 5601 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36820 KiB
Current children cumulated memory: 24656 KiB

[startup+0.213012 s]*
/proc/loadavg: 2.05 1.68 2.51 5/235 36186
/proc/meminfo: memFree=129793228/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=50608 memory=38872 CPUtime=0.21 cores=4,6
/proc/36157/stat : 36157 (fscip) R 36154 36157 35100 0 -1 4194304 7601 0 0 0 19 2 0 0 20 0 1 0 5405917 51822592 9718 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 12652 9718 2347 3035 0 9048 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 50608 KiB
Current children cumulated memory: 38872 KiB

[startup+0.311806 s]*
/proc/loadavg: 2.05 1.68 2.51 5/231 36219
/proc/meminfo: memFree=129826660/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=67884 memory=55584 CPUtime=0.31 cores=4,6
/proc/36157/stat : 36157 (fscip) R 36154 36157 35100 0 -1 4194304 11777 0 0 0 28 3 0 0 20 0 1 0 5405917 69513216 13896 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 16971 13896 2347 3035 0 13367 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 67884 KiB
Current children cumulated memory: 55584 KiB

[startup+0.700327 s]
/proc/loadavg: 2.05 1.68 2.51 5/230 36231
/proc/meminfo: memFree=129746840/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=158496 memory=147260 CPUtime=0.69 cores=4,6
/proc/36157/stat : 36157 (fscip) R 36154 36157 35100 0 -1 4194304 35276 0 0 0 59 10 0 0 20 0 1 0 5405917 162299904 36815 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 39624 36815 2555 3035 0 36020 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 158496 KiB
Current children cumulated memory: 147260 KiB

[startup+1.50036 s]
/proc/loadavg: 2.05 1.68 2.51 5/246 36255
/proc/meminfo: memFree=129567492/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=310088 memory=295228 CPUtime=1.48 cores=4,6
/proc/36157/stat : 36157 (fscip) R 36154 36157 35100 0 -1 4194304 69513 0 0 0 130 18 0 0 20 0 1 0 5405917 317530112 73807 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 77522 73807 2710 3035 0 73918 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 310088 KiB
Current children cumulated memory: 295228 KiB

[startup+3.1126 s]
/proc/loadavg: 2.37 1.76 2.52 5/246 36255
/proc/meminfo: memFree=129242344/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=586744 memory=530424 CPUtime=3.09 cores=4,6
/proc/36157/stat : 36157 (fscip) R 36154 36157 35100 0 -1 4194304 102422 0 0 0 283 26 0 0 20 0 1 0 5405917 600825856 132606 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 146686 132606 2774 3035 0 143082 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 586744 KiB
Current children cumulated memory: 530424 KiB

[startup+6.30027 s]
/proc/loadavg: 2.37 1.76 2.52 5/246 36303
/proc/meminfo: memFree=128722364/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=898604 memory=804064 CPUtime=6.25 cores=4,6
/proc/36157/stat : 36157 (fscip) S 36154 36157 35100 0 -1 1077936128 191346 0 0 0 574 51 0 0 20 0 3 0 5405917 920170496 201016 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 224651 201016 2790 3035 0 211381 0
[pid=36157/tid=36270] ppid=36154 vsize=898604 memory=266664 CPUtime=1.83 cores=4,6
/proc/36157/task/36270/stat : 36270 (fscip) R 36154 36157 35100 0 -1 4194368 70806 0 0 0 162 21 0 0 20 0 3 0 5406337 920170496 201016 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
[pid=36157/tid=36303] ppid=36154 vsize=898604 memory=0 CPUtime=0 cores=4,6
/proc/36157/task/36303/stat : 36303 (fscip) S 36154 36157 35100 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5406403 920170496 201016 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 898604 KiB
Current children cumulated memory: 804064 KiB

[startup+12.7003 s]
/proc/loadavg: 2.62 1.83 2.54 5/248 36306
/proc/meminfo: memFree=128297696/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=1029676 memory=931864 CPUtime=12.64 cores=4,6
/proc/36157/stat : 36157 (fscip) S 36154 36157 35100 0 -1 1077936128 244077 0 0 0 1206 58 0 0 20 0 3 0 5405917 1054388224 232966 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 257419 232966 2998 3035 0 244226 0
[pid=36157/tid=36270] ppid=36154 vsize=1029676 memory=596756 CPUtime=8.2 cores=4,6
/proc/36157/task/36270/stat : 36270 (fscip) R 36154 36157 35100 0 -1 4194368 123339 0 0 0 793 27 0 0 20 0 3 0 5406337 1054388224 232966 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
[pid=36157/tid=36303] ppid=36154 vsize=1029676 memory=2188 CPUtime=0 cores=4,6
/proc/36157/task/36303/stat : 36303 (fscip) S 36154 36157 35100 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 5406403 1054388224 232966 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1029676 KiB
Current children cumulated memory: 931864 KiB

[startup+25.5004 s]
/proc/loadavg: 2.83 1.90 2.56 5/248 36308
/proc/meminfo: memFree=128111684/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=1226284 memory=991160 CPUtime=25.4 cores=4,6
/proc/36157/stat : 36157 (fscip) S 36154 36157 35100 0 -1 1077936128 329389 0 0 0 2473 67 0 0 20 0 3 0 5405917 1255714816 247790 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 306571 247790 2998 3035 0 281707 0
[pid=36157/tid=36270] ppid=36154 vsize=1226284 memory=984220 CPUtime=20.97 cores=4,6
/proc/36157/task/36270/stat : 36270 (fscip) R 36154 36157 35100 0 -1 4194368 208646 0 0 0 2060 37 0 0 20 0 3 0 5406337 1255714816 247790 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
[pid=36157/tid=36303] ppid=36154 vsize=1226284 memory=962268 CPUtime=0 cores=4,6
/proc/36157/task/36303/stat : 36303 (fscip) S 36154 36157 35100 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5406403 1255714816 247790 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1226284 KiB
Current children cumulated memory: 991160 KiB

[startup+51.1127 s]
/proc/loadavg: 3.31 2.09 2.60 5/248 36312
/proc/meminfo: memFree=127870224/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=1438116 memory=1184912 CPUtime=50.94 cores=4,6
/proc/36157/stat : 36157 (fscip) S 36154 36157 35100 0 -1 1077936128 468037 0 0 0 5013 81 0 0 20 0 3 0 5405917 1472630784 296228 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 359529 296228 3014 3035 0 342180 0
[pid=36157/tid=36270] ppid=36154 vsize=1438116 memory=962268 CPUtime=46.52 cores=4,6
/proc/36157/task/36270/stat : 36270 (fscip) R 36154 36157 35100 0 -1 4194368 347250 0 0 0 4601 51 0 0 20 0 3 0 5406337 1472630784 296228 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
[pid=36157/tid=36303] ppid=36154 vsize=1438116 memory=1184912 CPUtime=0 cores=4,6
/proc/36157/task/36303/stat : 36303 (fscip) S 36154 36157 35100 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 5406403 1472630784 296228 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1438116 KiB
Current children cumulated memory: 1184912 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 2.49 2.71 5/248 36322
/proc/meminfo: memFree=127744800/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=1438116 memory=1186936 CPUtime=101.99 cores=4,6
/proc/36157/stat : 36157 (fscip) S 36154 36157 35100 0 -1 1077936128 576023 0 0 0 10112 87 0 0 20 0 3 0 5405917 1472630784 296734 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 359529 296734 3014 3035 0 342180 0
[pid=36157/tid=36270] ppid=36154 vsize=1438116 memory=1186936 CPUtime=97.56 cores=4,6
/proc/36157/task/36270/stat : 36270 (fscip) R 36154 36157 35100 0 -1 4194368 455164 0 0 0 9699 57 0 0 20 0 3 0 5406337 1472630784 296734 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
[pid=36157/tid=36303] ppid=36154 vsize=1438116 memory=1186936 CPUtime=0 cores=4,6
/proc/36157/task/36303/stat : 36303 (fscip) S 36154 36157 35100 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 5406403 1472630784 296734 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1438116 KiB
Current children cumulated memory: 1186936 KiB

[startup+162.3 s]
/proc/loadavg: 4.59 2.95 2.86 5/248 36332
/proc/meminfo: memFree=127658396/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=1438116 memory=1221716 CPUtime=161.82 cores=4,6
/proc/36157/stat : 36157 (fscip) S 36154 36157 35100 0 -1 1077936128 740634 0 0 0 16081 101 0 0 20 0 3 0 5405917 1472630784 305429 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 359529 305429 3014 3035 0 350264 0
[pid=36157/tid=36270] ppid=36154 vsize=1438116 memory=1220304 CPUtime=157.39 cores=4,6
/proc/36157/task/36270/stat : 36270 (fscip) R 36154 36157 35100 0 -1 4194368 619718 0 0 0 15668 71 0 0 20 0 3 0 5406337 1472630784 305429 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
[pid=36157/tid=36303] ppid=36154 vsize=1438116 memory=1221716 CPUtime=0 cores=4,6
/proc/36157/task/36303/stat : 36303 (fscip) S 36154 36157 35100 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 5406403 1472630784 305429 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1438116 KiB
Current children cumulated memory: 1221716 KiB

[startup+222.3 s]
/proc/loadavg: 4.31 3.17 2.94 5/248 36344
/proc/meminfo: memFree=127478476/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=1569188 memory=1317284 CPUtime=221.64 cores=4,6
/proc/36157/stat : 36157 (fscip) S 36154 36157 35100 0 -1 1077936128 894979 0 0 0 22050 114 0 0 20 0 3 0 5405917 1606848512 329321 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 392297 329321 3030 3035 0 376873 0
[pid=36157/tid=36270] ppid=36154 vsize=1569188 memory=1262464 CPUtime=217.19 cores=4,6
/proc/36157/task/36270/stat : 36270 (fscip) R 36154 36157 35100 0 -1 4194368 774009 0 0 0 21636 83 0 0 20 0 3 0 5406337 1606848512 329321 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
[pid=36157/tid=36303] ppid=36154 vsize=1569188 memory=1262468 CPUtime=0 cores=4,6
/proc/36157/task/36303/stat : 36303 (fscip) S 36154 36157 35100 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 5406403 1606848512 329321 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 1569188 KiB
Current children cumulated memory: 1317284 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 3.34 3.02 5/250 36359
/proc/meminfo: memFree=127375588/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=1569188 memory=1323580 CPUtime=281.44 cores=4,6
/proc/36157/stat : 36157 (fscip) S 36154 36157 35100 0 -1 1077936128 947360 0 0 0 28026 118 0 0 20 0 3 0 5405917 1606848512 330895 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 392297 330895 3030 3035 0 376873 0
[pid=36157/tid=36270] ppid=36154 vsize=1569188 memory=1322900 CPUtime=277 cores=4,6
/proc/36157/task/36270/stat : 36270 (fscip) R 36154 36157 35100 0 -1 4194368 826361 0 0 0 27612 88 0 0 20 0 3 0 5406337 1606848512 330895 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0

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

/proc/loadavg: 3.12 3.57 3.87 4/241 38141
/proc/meminfo: memFree=124064756/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=2767192 memory=2109728 CPUtime=3392.58 cores=4,6
/proc/36157/stat : 36157 (fscip) S 36154 36157 35100 0 -1 1077936128 1805391 0 0 0 339036 222 0 0 20 0 3 0 5405917 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 691798 527432 3030 3035 0 670378 0
[pid=36157/tid=36270] ppid=36154 vsize=2767192 memory=2089176 CPUtime=3387.94 cores=4,6
/proc/36157/task/36270/stat : 36270 (fscip) R 36154 36157 35100 0 -1 4194368 1683132 0 0 0 338611 183 0 0 20 0 3 0 5406337 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
[pid=36157/tid=36303] ppid=36154 vsize=2767192 memory=2109728 CPUtime=0.06 cores=4,6
/proc/36157/task/36303/stat : 36303 (fscip) S 36154 36157 35100 0 -1 1077936192 185 0 0 0 1 5 0 0 20 0 3 0 5406403 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 2767192 KiB
Current children cumulated memory: 2109728 KiB

[startup+3462.3 s]
/proc/loadavg: 3.14 3.49 3.82 4/240 38151
/proc/meminfo: memFree=124016020/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=2767192 memory=2109728 CPUtime=3452.4 cores=4,6
/proc/36157/stat : 36157 (fscip) S 36154 36157 35100 0 -1 1077936128 1807195 0 0 0 345017 223 0 0 20 0 3 0 5405917 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 691798 527432 3030 3035 0 670378 0
[pid=36157/tid=36270] ppid=36154 vsize=2767192 memory=2089176 CPUtime=3447.75 cores=4,6
/proc/36157/task/36270/stat : 36270 (fscip) R 36154 36157 35100 0 -1 4194368 1684911 0 0 0 344591 184 0 0 20 0 3 0 5406337 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
[pid=36157/tid=36303] ppid=36154 vsize=2767192 memory=2109728 CPUtime=0.06 cores=4,6
/proc/36157/task/36303/stat : 36303 (fscip) S 36154 36157 35100 0 -1 1077936192 187 0 0 0 1 5 0 0 20 0 3 0 5406403 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
Current children cumulated CPU time: 3452.4 s
Current children cumulated vsize: 2767192 KiB
Current children cumulated memory: 2109728 KiB

[startup+3522.3 s]
/proc/loadavg: 3.05 3.40 3.77 4/241 38162
/proc/meminfo: memFree=123977748/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=2767192 memory=2109728 CPUtime=3512.2 cores=4,6
/proc/36157/stat : 36157 (fscip) S 36154 36157 35100 0 -1 1077936128 1809505 0 0 0 350997 223 0 0 20 0 3 0 5405917 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 691798 527432 3030 3035 0 670378 0
[pid=36157/tid=36270] ppid=36154 vsize=2767192 memory=2109728 CPUtime=3507.56 cores=4,6
/proc/36157/task/36270/stat : 36270 (fscip) R 36154 36157 35100 0 -1 4194368 1687184 0 0 0 350572 184 0 0 20 0 3 0 5406337 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
[pid=36157/tid=36303] ppid=36154 vsize=2767192 memory=2109728 CPUtime=0.06 cores=4,6
/proc/36157/task/36303/stat : 36303 (fscip) S 36154 36157 35100 0 -1 1077936192 191 0 0 0 1 5 0 0 20 0 3 0 5406403 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
Current children cumulated CPU time: 3512.2 s
Current children cumulated vsize: 2767192 KiB
Current children cumulated memory: 2109728 KiB

[startup+3582.3 s]
/proc/loadavg: 3.13 3.36 3.73 4/241 38172
/proc/meminfo: memFree=123879984/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=2767192 memory=2109728 CPUtime=3572.03 cores=4,6
/proc/36157/stat : 36157 (fscip) S 36154 36157 35100 0 -1 1077936128 1812425 0 0 0 356979 224 0 0 20 0 3 0 5405917 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 691798 527432 3030 3035 0 670378 0
[pid=36157/tid=36270] ppid=36154 vsize=2767192 memory=2109728 CPUtime=3567.37 cores=4,6
/proc/36157/task/36270/stat : 36270 (fscip) R 36154 36157 35100 0 -1 4194368 1690075 0 0 0 356553 184 0 0 20 0 3 0 5406337 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
[pid=36157/tid=36303] ppid=36154 vsize=2767192 memory=-7594876038192128635 CPUtime=0.06 cores=4,6
/proc/36157/task/36303/stat : 36303 (fscip) S 36154 36157 35100 0 -1 1077936192 195 0 0 0 1 5 0 0 20 0 3 0 5406403 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 2767192 KiB
Current children cumulated memory: 2109728 KiB

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

# cumulated CPU time of all completed processes:  user=3586.02 s, system=2.29082 s

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

[startup+3584 s]*
/proc/loadavg: 3.12 3.35 3.72 4/241 38172
/proc/meminfo: memFree=123879544/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=2767192 memory=2109728 CPUtime=3573.73 cores=4,6
/proc/36157/stat : 36157 (fscip) S 36154 36157 35100 0 -1 1077936128 1812616 0 0 0 357149 224 0 0 20 0 3 0 5405917 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 691798 527432 3030 3035 0 670378 0
[pid=36157/tid=36270] ppid=36154 vsize=2767192 memory=-7522818444154199671 CPUtime=3569.08 cores=4,6
/proc/36157/task/36270/stat : 36270 (fscip) R 36154 36157 35100 0 -1 4194368 1690266 0 0 0 356724 184 0 0 20 0 3 0 5406337 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
[pid=36157/tid=36303] ppid=36154 vsize=2767192 memory=7367444360806894190 CPUtime=0.06 cores=4,6
/proc/36157/task/36303/stat : 36303 (fscip) S 36154 36157 35100 0 -1 1077936192 195 0 0 0 1 5 0 0 20 0 3 0 5406403 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
Current children cumulated CPU time: 3573.73 s
Current children cumulated vsize: 2767192 KiB
Current children cumulated memory: 2109728 KiB

[startup+3590.4 s]
/proc/loadavg: 3.11 3.34 3.72 4/238 38174
/proc/meminfo: memFree=123875280/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=2767192 memory=2109728 CPUtime=3580.1 cores=4,6
/proc/36157/stat : 36157 (fscip) S 36154 36157 35100 0 -1 1077936128 1812740 0 0 0 357786 224 0 0 20 0 3 0 5405917 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 691798 527432 3030 3035 0 670378 0
[pid=36157/tid=36270] ppid=36154 vsize=2767192 memory=2109728 CPUtime=3575.44 cores=4,6
/proc/36157/task/36270/stat : 36270 (fscip) R 36154 36157 35100 0 -1 4194368 1690390 0 0 0 357360 184 0 0 20 0 3 0 5406337 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
[pid=36157/tid=36303] ppid=36154 vsize=2767192 memory=139693878555712 CPUtime=0.06 cores=4,6
/proc/36157/task/36303/stat : 36303 (fscip) S 36154 36157 35100 0 -1 1077936192 195 0 0 0 1 5 0 0 20 0 3 0 5406403 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
Current children cumulated CPU time: 3580.1 s
Current children cumulated vsize: 2767192 KiB
Current children cumulated memory: 2109728 KiB

[startup+3593.6 s]
/proc/loadavg: 3.10 3.34 3.72 4/238 38175
/proc/meminfo: memFree=123874264/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=2767192 memory=2109728 CPUtime=3583.29 cores=4,6
/proc/36157/stat : 36157 (fscip) S 36154 36157 35100 0 -1 1077936128 1812832 0 0 0 358105 224 0 0 20 0 3 0 5405917 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 691798 527432 3030 3035 0 670378 0
[pid=36157/tid=36270] ppid=36154 vsize=2767192 memory=11516 CPUtime=3578.63 cores=4,6
/proc/36157/task/36270/stat : 36270 (fscip) R 36154 36157 35100 0 -1 4194368 1690482 0 0 0 357679 184 0 0 20 0 3 0 5406337 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
[pid=36157/tid=36303] ppid=36154 vsize=2767192 memory=2109728 CPUtime=0.06 cores=4,6
/proc/36157/task/36303/stat : 36303 (fscip) S 36154 36157 35100 0 -1 1077936192 195 0 0 0 1 5 0 0 20 0 3 0 5406403 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
Current children cumulated CPU time: 3583.29 s
Current children cumulated vsize: 2767192 KiB
Current children cumulated memory: 2109728 KiB

[startup+3596.8 s]
/proc/loadavg: 3.10 3.34 3.72 4/238 38175
/proc/meminfo: memFree=123872216/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=2767192 memory=2109728 CPUtime=3586.48 cores=4,6
/proc/36157/stat : 36157 (fscip) S 36154 36157 35100 0 -1 1077936128 1812895 0 0 0 358424 224 0 0 20 0 3 0 5405917 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 691798 527432 3030 3035 0 670378 0
[pid=36157/tid=36270] ppid=36154 vsize=2767192 memory=33 CPUtime=3581.83 cores=4,6
/proc/36157/task/36270/stat : 36270 (fscip) R 36154 36157 35100 0 -1 4194368 1690545 0 0 0 357999 184 0 0 20 0 3 0 5406337 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
[pid=36157/tid=36303] ppid=36154 vsize=2767192 memory=14720 CPUtime=0.06 cores=4,6
/proc/36157/task/36303/stat : 36303 (fscip) S 36154 36157 35100 0 -1 1077936192 195 0 0 0 1 5 0 0 20 0 3 0 5406403 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
Current children cumulated CPU time: 3586.48 s
Current children cumulated vsize: 2767192 KiB
Current children cumulated memory: 2109728 KiB

[startup+3597.6 s]
/proc/loadavg: 3.10 3.34 3.72 4/238 38175
/proc/meminfo: memFree=123872200/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=2767192 memory=2109728 CPUtime=3587.28 cores=4,6
/proc/36157/stat : 36157 (fscip) S 36154 36157 35100 0 -1 1077936128 1812898 0 0 0 358504 224 0 0 20 0 3 0 5405917 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 691798 527432 3030 3035 0 670378 0
[pid=36157/tid=36270] ppid=36154 vsize=2767192 memory=5492 CPUtime=3582.62 cores=4,6
/proc/36157/task/36270/stat : 36270 (fscip) R 36154 36157 35100 0 -1 4194368 1690548 0 0 0 358078 184 0 0 20 0 3 0 5406337 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
[pid=36157/tid=36303] ppid=36154 vsize=2767192 memory=1972 CPUtime=0.06 cores=4,6
/proc/36157/task/36303/stat : 36303 (fscip) S 36154 36157 35100 0 -1 1077936192 195 0 0 0 1 5 0 0 20 0 3 0 5406403 2833604608 527432 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
Current children cumulated CPU time: 3587.28 s
Current children cumulated vsize: 2767192 KiB
Current children cumulated memory: 2109728 KiB

[startup+3598.4 s]
/proc/loadavg: 3.09 3.33 3.71 4/238 38176
/proc/meminfo: memFree=123872216/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=1859848 memory=1546044 CPUtime=3588.07 cores=4,6
/proc/36157/stat : 36157 (fscip) R 36154 36157 35100 0 -1 4194304 1823194 0 0 0 358581 226 0 0 20 0 2 0 5405917 1904484352 386511 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 464962 386511 3030 3035 0 453306 0
[pid=36157/tid=36303] ppid=36154 vsize=1859848 memory=26156 CPUtime=0.06 cores=4,6
/proc/36157/task/36303/stat : 36303 (fscip) S 36154 36157 35100 0 -1 1077936192 195 0 0 0 1 5 0 0 20 0 2 0 5406403 1904484352 386511 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
Current children cumulated CPU time: 3588.07 s
Current children cumulated vsize: 1859848 KiB
Current children cumulated memory: 1546044 KiB

[startup+3598.6 s]
/proc/loadavg: 3.09 3.33 3.71 4/238 38176
/proc/meminfo: memFree=123872216/131655788 swapFree=131071216/131071996
[pid=36157] ppid=36154 vsize=1803232 memory=1489500 CPUtime=3588.27 cores=4,6
/proc/36157/stat : 36157 (fscip) R 36154 36157 35100 0 -1 4194304 1824087 0 0 0 358600 227 0 0 20 0 2 0 5405917 1846509568 372375 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
/proc/36157/statm: 450808 372375 3030 3035 0 439152 0
[pid=36157/tid=36303] ppid=36154 vsize=1803232 memory=11516 CPUtime=0.06 cores=4,6
/proc/36157/task/36303/stat : 36303 (fscip) S 36154 36157 35100 0 -1 1077936192 195 0 0 0 1 5 0 0 20 0 2 0 5406403 1846509568 372375 134679101440 4194304 16623229 140721137690112 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36896768 140721137693722 140721137693838 140721137693838 140721137700848 0
Current children cumulated CPU time: 3588.27 s
Current children cumulated vsize: 1803232 KiB
Current children cumulated memory: 1489500 KiB

Child status: 0

Real time (s): 3598.64
CPU time (s): 3588.31
CPU user time (s): 3586.02
CPU system time (s): 2.29082
CPU usage (%): 99.713
Max. virtual memory (cumulated for all children) (KiB): 2767192
Max. memory (cumulated for all children) (KiB): 2109736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.02
system time used= 2.29082
maximum resident set size= 2109736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1824281
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= 7001
involuntary context switches= 1527


# summary of solver processes directly reported to runsolver:
#   pid: 36157
#   total CPU time (s): 3588.31
#   total CPU user time (s): 3586.02
#   total CPU system time (s): 2.29082

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2008 second user time and 35.4401 second system time

The end

Launcher Data

Begin job on nodeC007 at 2024-07-31 03:45:53
IDJOB=4464564
IDBENCH=176087
IDSOLVER=3092
FILE ID=nodeC007/4464564-1722390353
RUNJOBID= nodeC007-1722390349-35752
SLURM_JOB_ID= 8249877
Free space on /tmp= 723696 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=24-t=2.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464564-1722390353/watcher-4464564-1722390353 -o /tmp/evaluation-result-4464564-1722390353/solver-4464564-1722390353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722390349-35752 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464564-1722390353.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 585ad78207efe7b44b7f003a9b0d83f6
RANDOM SEED=1630251586

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129801600 kB
MemAvailable:   130098292 kB
Buffers:          100432 kB
Cached:          1035440 kB
SwapCached:          100 kB
Active:           274604 kB
Inactive:        1156248 kB
Active(anon):       1488 kB
Inactive(anon):   314564 kB
Active(file):     273116 kB
Inactive(file):   841684 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:            117968 kB
Writeback:             0 kB
AnonPages:        294892 kB
Mapped:           114412 kB
Shmem:             21076 kB
KReclaimable:      44180 kB
Slab:             120420 kB
SReclaimable:      44180 kB
SUnreclaim:        76240 kB
KernelStack:        3888 kB
PageTables:         9760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     606724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6496 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 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:      174920 kB
DirectMap2M:     7069696 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 723692 MiB
End job on nodeC007 at 2024-07-31 04:45:52