Trace number 4450330

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02UNSAT 1471.51 1477.35

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l100-r099-n1.cnf-plain.pb.metafix.opb
MD5SUM432ceff95840c24def17352d86ee9883
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.65906
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8160
Total number of constraints25805
Number of constraints which are clauses25805
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.09	c Default LC presolving (default).
0.00/0.09	c ** Before presolving: virtualMemUsedAtLc = 81519444, getVmSize() = 73584640, SCIPgetMemUsed() = 44499660, SCIPgetMemTotal() = 50022948, SCIPgetMemExternEstim() = 31496496
0.00/0.09	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.39/0.47	c ** Estimated virtualMemUsedAtSolver = 109564172, getVmSize() = 161751040, SCIPgetMemUsed() = 97770570, SCIPgetMemTotal() = 132849762, SCIPgetMemExternEstim() = 31496496
0.39/0.47	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.39/0.47	c Original Problem   :
0.39/0.47	c   Problem name     : instance-4450330-1721410598
0.39/0.47	c   Variables        : 8160 (8160 binary, 0 integer, 0 implicit integer, 0 continuous)
0.39/0.47	c   Constraints      : 25805
0.39/0.47	c   Objective sense  : minimize
0.39/0.47	c Presolved Problem  :
0.39/0.47	c   Variables        : 8145 (8145 binary, 0 integer, 0 implicit integer, 0 continuous)
0.39/0.47	c   Constraints      : 17602
0.39/0.47	c Constraints        : Number
0.39/0.47	c   setppc           : 17601 
0.39/0.47	c   orbitope         : 1 
0.39/0.47	c ** Instance transfer method used: 0
0.39/0.50	c ** ParaScipInstance copy increased the number of variables. **
0.50/0.53	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.50/0.53	c                                Nodes    Active                                            
0.50/0.53	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
10.59/10.76	c        11              2           1         1                -           0.0000          -
19.00/19.29	c        19             22          21         1                -           0.0000          -
25.15/25.45	c        25             65          62         1                -           0.0000          -
30.80/31.19	c        31            105         100         1                -           0.0000          -
37.73/38.17	c        38            162         153         1                -           0.0000          -
43.18/43.64	c        44            322         216         1                -           0.0000          -
48.33/48.87	c        49            511         175         1                -           0.0000          -
53.58/54.11	c        54            735         177         1                -           0.0000          -
64.82/65.44	c        65            759           1         1                -           0.0000          -
70.21/70.82	c        71            802          36         1                -           0.0000          -
76.09/76.72	c        77           1053          71         1                -           0.0000          -
81.27/81.93	c        82           1331          65         1                -           0.0000          -
86.45/87.14	c        87           1523          77         1                -           0.0000          -
91.54/92.28	c        92           1786          87         1                -           0.0000          -
97.71/98.48	c        98           2099          52         1                -           0.0000          -
102.79/103.59	c       104           2354          47         1                -           0.0000          -
107.87/108.60	c       109           2544          61         1                -           0.0000          -
113.46/114.24	c       114           2695          66         1                -           0.0000          -
118.63/119.40	c       119           2964          35         1                -           0.0000          -
123.72/124.51	c       125           3250          30         1                -           0.0000          -
128.70/129.57	c       130           3519          43         1                -           0.0000          -
133.87/134.76	c       135           3821          40         1                -           0.0000          -
149.83/150.75	c       151           3927          43         1                -           0.0000          -
154.91/155.84	c       156           4196          46         1                -           0.0000          -
159.99/160.98	c       161           4460          49         1                -           0.0000          -
165.07/166.07	c       166           4690          46         1                -           0.0000          -
170.16/171.14	c       171           5016          43         1                -           0.0000          -
175.24/176.27	c       176           5214          40         1                -           0.0000          -
180.51/181.59	c       182           5486          36         1                -           0.0000          -
185.90/186.91	c       187           5809          39         1                -           0.0000          -
190.98/192.10	c       192           6090          39         1                -           0.0000          -
196.06/197.19	c       197           6388          43         1                -           0.0000          -
201.14/202.27	c       202           6675          44         1                -           0.0000          -
206.22/207.38	c       207           6976          43         1                -           0.0000          -
211.40/212.59	c       213           7279          39         1                -           0.0000          -
216.58/217.75	c       218           7586          38         1                -           0.0000          -
221.66/222.85	c       223           7832          37         1                -           0.0000          -
226.74/227.91	c       228           8091          32         1                -           0.0000          -
232.52/233.79	c       234           8339          57         1                -           0.0000          -
237.61/238.87	c       239           8605          36         1                -           0.0000          -
242.79/244.00	c       244           8894          38         1                -           0.0000          -
248.46/249.76	c       250           9201          35         1                -           0.0000          -
253.64/254.90	c       255           9461          53         1                -           0.0000          -
258.73/260.01	c       260           9705          38         1                -           0.0000          -
263.81/265.15	c       265           9955          38         1                -           0.0000          -
275.77/277.10	c       277          10257          41         1                -           0.0000          -
280.75/282.18	c       282          10589          46         1                -           0.0000          -
286.11/287.59	c       288          10935          54         1                -           0.0000          -
291.30/292.79	c       293          11308          49         1                -           0.0000          -
296.48/297.92	c       298          11613          47         1                -           0.0000          -
301.46/302.98	c       303          11996          44         1                -           0.0000          -
307.03/308.56	c       309          12290          56         1                -           0.0000          -
312.32/313.80	c       314          12610          53         1                -           0.0000          -
317.40/318.99	c       319          12928          48         1                -           0.0000          -
322.58/324.16	c       324          13277          45         1                -           0.0000          -
327.65/329.25	c       329          13635          53         1                -           0.0000          -
332.74/334.32	c       334          14025          45         1                -           0.0000          -
337.91/339.51	c       340          14334          39         1                -           0.0000          -
342.99/344.67	c       345          14663          36         1                -           0.0000          -
348.27/349.91	c       350          14956          60         1                -           0.0000          -
353.85/355.56	c       356          15277          41         1                -           0.0000          -
358.93/360.69	c       361          15607          39         1                -           0.0000          -
364.42/366.13	c       366          15961          40         1                -           0.0000          -
369.49/371.28	c       371          16290          40         1                -           0.0000          -
374.57/376.38	c       376          16596          57         1                -           0.0000          -
379.75/381.54	c       382          16895          47         1                -           0.0000          -
384.93/386.79	c       387          17185          41         1                -           0.0000          -
390.01/391.84	c       392          17452          50         1                -           0.0000          -
395.09/396.91	c       397          17757          50         1                -           0.0000          -
400.17/402.04	c       402          18057          49         1                -           0.0000          -
405.25/407.11	c       407          18360          49         1                -           0.0000          -
410.32/412.24	c       412          18680          44         1                -           0.0000          -
415.51/417.43	c       417          18996          41         1                -           0.0000          -
421.29/423.27	c       423          19245          32         1                -           0.0000          -
426.47/428.44	c       428          19586          40         1                -           0.0000          -
431.55/433.58	c       434          19875          35         1                -           0.0000          -
436.72/438.76	c       439          20220          32         1                -           0.0000          -
442.11/444.13	c       444          20400          56         1                -           0.0000          -
447.58/449.68	c       450          20514          78         1                -           0.0000          -
453.07/455.15	c       455          20717          67         1                -           0.0000          -
458.24/460.35	c       460          20884          93         1                -           0.0000          -
463.33/465.41	c       465          21157          61         1                -           0.0000          -
475.29/477.40	c       477          21187          67         1                -           0.0000          -
480.37/482.54	c       483          21413          65         1                -           0.0000          -
486.04/488.26	c       488          21677          53         1                -           0.0000          -
491.32/493.50	c       494          21929          46         1                -           0.0000          -
496.61/498.88	c       499          22190          55         1                -           0.0000          -
501.79/504.00	c       504          22410          49         1                -           0.0000          -
506.77/509.09	c       509          22702          53         1                -           0.0000          -
512.14/514.41	c       514          22942          60         1                -           0.0000          -
517.22/519.57	c       520          23223          48         1                -           0.0000          -
522.40/524.75	c       525          23538          44         1                -           0.0000          -
527.68/530.09	c       530          23849          43         1                -           0.0000          -
533.55/535.94	c       536          24071          49         1                -           0.0000          -
538.74/541.11	c       541          24412          56         1                -           0.0000          -
543.81/546.24	c       546          24704          57         1                -           0.0000          -
548.90/551.31	c       551          25007          57         1                -           0.0000          -
554.07/556.53	c       557          25363          62         1                -           0.0000          -
559.15/561.63	c       562          25651          52         1                -           0.0000          -
564.54/567.06	c       567          25893          66         1                -           0.0000          -
569.71/572.25	c       572          26143          68         1                -           0.0000          -
574.89/577.41	c       577          26417          56         1                -           0.0000          -
580.47/583.05	c       583          26725          57         1                -           0.0000          -
587.84/590.48	c       590          26867          67         1                -           0.0000          -
592.92/595.56	c       596          27210          54         1                -           0.0000          -
598.11/600.77	c       601          27458          36         1                -           0.0000          -
603.19/605.90	c       606          27742          47         1                -           0.0000          -
608.27/610.94	c       611          28046          58         1                -           0.0000          -
613.35/616.01	c       616          28381          40         1                -           0.0000          -
618.33/621.07	c       621          28744          47         1                -           0.0000          -
623.42/626.13	c       626          29075          61         1                -           0.0000          -
628.40/631.19	c       631          29406          59         1                -           0.0000          -
633.67/636.42	c       636          29739          48         1                -           0.0000          -
638.75/641.53	c       642          30064          48         1                -           0.0000          -
643.83/646.60	c       647          30360          53         1                -           0.0000          -
648.91/651.70	c       652          30642          53         1                -           0.0000          -
653.89/656.75	c       657          30955          47         1                -           0.0000          -
659.06/661.90	c       662          31256          49         1                -           0.0000          -
664.15/667.06	c       667          31571          51         1                -           0.0000          -
669.23/672.17	c       672          31917          46         1                -           0.0000          -
674.41/677.30	c       677          32289          41         1                -           0.0000          -
679.98/682.96	c       683          32568          56         1                -           0.0000          -
685.17/688.11	c       688          32874          51         1                -           0.0000          -
690.34/693.34	c       693          33165          54         1                -           0.0000          -
695.43/698.48	c       698          33443          56         1                -           0.0000          -
700.51/703.55	c       704          33743          55         1                -           0.0000          -
705.68/708.75	c       709          34039          72         1                -           0.0000          -
710.76/713.81	c       714          34297          55         1                -           0.0000          -
715.84/718.92	c       719          34592          55         1                -           0.0000          -
720.82/723.98	c       724          34862          46         1                -           0.0000          -
726.00/729.15	c       729          35146          43         1                -           0.0000          -
735.97/739.14	c       739          35207          46         1                -           0.0000          -
741.05/744.29	c       744          35470          55         1                -           0.0000          -
746.13/749.35	c       749          35833          52         1                -           0.0000          -
751.31/754.50	c       755          36164          54         1                -           0.0000          -
756.29/759.59	c       760          36495          48         1                -           0.0000          -
761.46/764.71	c       765          36877          46         1                -           0.0000          -
767.44/770.71	c       771          37134          54         1                -           0.0000          -
772.42/775.79	c       776          37446          48         1                -           0.0000          -
777.50/780.88	c       781          37739          58         1                -           0.0000          -
782.59/785.96	c       786          38067          52         1                -           0.0000          -
787.67/791.01	c       791          38405          48         1                -           0.0000          -
792.65/796.08	c       796          38774          51         1                -           0.0000          -
797.73/801.17	c       801          39119          52         1                -           0.0000          -
802.80/806.29	c       806          39426          48         1                -           0.0000          -
807.98/811.44	c       811          39754          58         1                -           0.0000          -
813.06/816.58	c       817          40113          44         1                -           0.0000          -
818.14/821.69	c       822          40449          52         1                -           0.0000          -
823.22/826.78	c       827          40762          61         1                -           0.0000          -
828.30/831.84	c       832          41076          48         1                -           0.0000          -
833.38/836.95	c       837          41423          56         1                -           0.0000          -
838.47/842.08	c       842          41747          48         1                -           0.0000          -
843.54/847.12	c       847          42107          44         1                -           0.0000          -
848.72/852.35	c       852          42424          41         1                -           0.0000          -
853.79/857.43	c       857          42724          45         1                -           0.0000          -
858.88/862.58	c       863          43091          45         1                -           0.0000          -
865.47/869.19	c       869          43207          54         1                -           0.0000          -
870.64/874.39	c       874          43515          47         1                -           0.0000          -
875.82/879.51	c       880          43818          41         1                -           0.0000          -
880.91/884.62	c       885          44099          41         1                -           0.0000          -
886.08/889.81	c       890          44366          38         1                -           0.0000          -
891.17/894.91	c       895          44655          33         1                -           0.0000          -
896.35/900.11	c       900          44859          39         1                -           0.0000          -
901.33/905.18	c       905          45169          44         1                -           0.0000          -
906.41/910.27	c       910          45524          48         1                -           0.0000          -
911.89/915.77	c       916          45839          40         1                -           0.0000          -
917.77/921.69	c       922          46117          81         1                -           0.0000          -
922.85/926.78	c       927          46460          61         1                -           0.0000          -
928.43/932.39	c       932          46815          58         1                -           0.0000          -
933.52/937.45	c       937          47175          34         1                -           0.0000          -
938.59/942.57	c       943          47534          40         1                -           0.0000          -
943.67/947.66	c       948          47926          28         1                -           0.0000          -
948.75/952.74	c       953          48159          32         1                -           0.0000          -
953.93/957.92	c       958          48469          34         1                -           0.0000          -
959.13/963.18	c       963          48799          32         1                -           0.0000          -
965.11/969.15	c       969          48919          36         1                -           0.0000          -
970.19/974.23	c       974          49317          52         1                -           0.0000          -
975.37/979.40	c       979          49699          27         1                -           0.0000          -
980.35/984.45	c       984          49802          37         1                -           0.0000          -
985.63/989.74	c       990          50142          42         1                -           0.0000          -
990.92/995.00	c       995          50446          43         1                -           0.0000          -
996.00/1000.18	c      1000          50667          44         1                -           0.0000          -
1001.17/1005.33	c      1005          50887          30         1                -           0.0000          -
1006.25/1010.47	c      1010          51210          31         1                -           0.0000          -
1011.52/1015.73	c      1016          51460          37         1                -           0.0000          -
1016.80/1021.00	c      1021          51735          37         1                -           0.0000          -
1021.87/1026.11	c      1026          52100          35         1                -           0.0000          -
1026.94/1031.20	c      1031          52399          53         1                -           0.0000          -
1031.93/1036.27	c      1036          52681          37         1                -           0.0000          -
1037.10/1041.40	c      1041          52960          36         1                -           0.0000          -
1042.18/1046.59	c      1047          53233          33         1                -           0.0000          -
1047.36/1051.73	c      1052          53541          30         1                -           0.0000          -
1060.81/1065.24	c      1065          53617          33         1                -           0.0000          -
1065.98/1070.40	c      1070          53898          29         1                -           0.0000          -
1071.07/1075.58	c      1076          54153          30         1                -           0.0000          -
1076.25/1080.79	c      1081          54399          34         1                -           0.0000          -
1081.34/1085.89	c      1086          54671          33         1                -           0.0000          -
1086.52/1091.04	c      1091          54981          18         1                -           0.0000          -
1091.69/1096.22	c      1096          55284          35         1                -           0.0000          -
1096.87/1101.49	c      1102          55630          46         1                -           0.0000          -
1102.06/1106.67	c      1107          55957          44         1                -           0.0000          -
1107.14/1111.78	c      1112          56274          36         1                -           0.0000          -
1112.23/1116.86	c      1117          56629          47         1                -           0.0000          -
1117.31/1121.97	c      1122          56983          43         1                -           0.0000          -
1122.49/1127.11	c      1127          57282          49         1                -           0.0000          -
1127.57/1132.25	c      1132          57604          41         1                -           0.0000          -
1132.75/1137.44	c      1137          57995          52         1                -           0.0000          -
1137.83/1142.56	c      1143          58351          65         1                -           0.0000          -
1142.91/1147.65	c      1148          58692          45         1                -           0.0000          -
1148.09/1152.80	c      1153          59003          52         1                -           0.0000          -
1153.07/1157.89	c      1158          59341          43         1                -           0.0000          -
1158.16/1162.95	c      1163          59671          34         1                -           0.0000          -
1163.44/1168.25	c      1168          59968          29         1                -           0.0000          -
1168.63/1173.41	c      1173          60252          24         1                -           0.0000          -
1173.91/1178.74	c      1179          60569          19         1                -           0.0000          -
1179.19/1184.09	c      1184          60831          21         1                -           0.0000          -
1184.37/1189.25	c      1189          61083          28         1                -           0.0000          -
1189.55/1194.49	c      1194          61411          33         1                -           0.0000          -
1195.02/1199.93	c      1200          61694          35         1                -           0.0000          -
1200.12/1205.05	c      1205          62011          27         1                -           0.0000          -
1205.40/1210.38	c      1210          62272          43         1                -           0.0000          -
1210.68/1215.61	c      1216          62605          27         1                -           0.0000          -
1215.76/1220.75	c      1221          62879          29         1                -           0.0000          -
1220.84/1225.82	c      1226          63254          26         1                -           0.0000          -
1226.12/1231.18	c      1231          63557          28         1                -           0.0000          -
1231.79/1236.81	c      1237          63759          43         1                -           0.0000          -
1237.18/1242.27	c      1242          64018          35         1                -           0.0000          -
1242.26/1247.35	c      1247          64300          27         1                -           0.0000          -
1247.35/1252.42	c      1252          64533          11         1                -           0.0000          -
1252.52/1257.66	c      1258          64793           9         1                -           0.0000          -
1257.70/1262.80	c      1263          65022          12         1                -           0.0000          -
1262.79/1267.93	c      1268          65323          11         1                -           0.0000          -
1268.07/1273.21	c      1273          65600           8         1                -           0.0000          -
1273.05/1278.27	c      1278          65961          17         1                -           0.0000          -
1278.24/1283.47	c      1283          66294          10         1                -           0.0000          -
1283.42/1288.68	c      1289          66612          15         1                -           0.0000          -
1288.50/1293.78	c      1294          66901          22         1                -           0.0000          -
1293.67/1298.94	c      1299          67198          20         1                -           0.0000          -
1298.87/1304.12	c      1304          67539          19         1                -           0.0000          -
1303.94/1309.20	c      1309          67888          14         1                -           0.0000          -
1309.02/1314.38	c      1314          68193          43         1                -           0.0000          -
1314.10/1319.43	c      1319          68539          39         1                -           0.0000          -
1319.18/1324.56	c      1325          68863          19         1                -           0.0000          -
1324.26/1329.63	c      1330          69214          17         1                -           0.0000          -
1329.44/1334.85	c      1335          69520          10         1                -           0.0000          -
1334.64/1340.02	c      1340          69856          12         1                -           0.0000          -
1346.70/1352.19	c      1352          70027          20         1                -           0.0000          -
1352.17/1357.67	c      1358          70364           8         1                -           0.0000          -
1357.45/1362.97	c      1363          70695          15         1                -           0.0000          -
1362.64/1368.14	c      1368          71041          16         1                -           0.0000          -
1367.71/1373.21	c      1373          71379          14         1                -           0.0000          -
1372.70/1378.28	c      1378          71754           8         1                -           0.0000          -
1378.18/1383.78	c      1384          72093          31         1                -           0.0000          -
1383.47/1389.09	c      1389          72478           9         1                -           0.0000          -
1388.64/1394.26	c      1394          72868          11         1                -           0.0000          -
1394.12/1399.79	c      1400          73189          26         1                -           0.0000          -
1399.30/1404.99	c      1405          73521          34         1                -           0.0000          -
1404.39/1410.05	c      1410          73911          24         1                -           0.0000          -
1409.47/1415.12	c      1415          74311          28         1                -           0.0000          -
1414.45/1420.19	c      1420          74663          23         1                -           0.0000          -
1419.63/1425.30	c      1425          75006          18         1                -           0.0000          -
1425.01/1430.70	c      1431          75268          18         1                -           0.0000          -
1429.99/1435.79	c      1436          75570          15         1                -           0.0000          -
1435.28/1441.01	c      1441          75937          12         1                -           0.0000          -
1440.36/1446.11	c      1446          76236          14         1                -           0.0000          -
1445.53/1451.36	c      1451          76564          10         1                -           0.0000          -
1450.71/1456.59	c      1457          76864          22         1                -           0.0000          -
1455.79/1461.65	c      1462          77177          23         1                -           0.0000          -
1460.88/1466.77	c      1467          77517          20         1                -           0.0000          -
1465.96/1471.83	c      1472          77761           7         1                -           0.0000          -
1471.05/1476.95	c      1477          78092           3         1                -           0.0000          -
1471.35/1477.22	c      1477          78109           0         0                -           0.0000          -
1471.45/1477.30	c      1477          78109           0         0                -           0.0000          -
1471.45/1477.30	c SCIP Status        : c problem is solved [infeasible]
1471.45/1477.30	c Total Time         : 1477.3100
1471.45/1477.30	c   solving          : 1477.3100
1471.45/1477.30	c   presolving       : 0.3864 (included in solving)
1471.45/1477.30	c B&B Tree           :
1471.45/1477.30	c   nodes (total)    : 78109
1471.45/1477.30	c Solution           :
1471.45/1477.30	c   Solutions found  : 0
1471.45/1477.30	c   Primal Bound     :          -
1471.45/1477.30	c   Dual Bound       :          -
1471.45/1477.30	c Gap                :          -
1471.45/1477.34	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (60633 MiB free)
  memory of node 1: 64510 MiB (61123 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100091 s]*
/proc/loadavg: 1.58 1.20 1.12 5/262 1040619
/proc/meminfo: memFree=124626140/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=74612 memory=63452 CPUtime=0.09 cores=0,2
/proc/1040618/stat : 1040618 (fscip) R 1040615 1040618 1040488 0 -1 4194304 13568 0 0 0 8 1 0 0 20 0 1 0 193229507 76402688 15863 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 18653 15863 2590 3032 0 15053 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74612 KiB
Current children cumulated memory: 63452 KiB

[startup+0.205598 s]*
/proc/loadavg: 1.58 1.20 1.12 5/262 1040619
/proc/meminfo: memFree=124612896/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=89912 memory=78316 CPUtime=0.2 cores=0,2
/proc/1040618/stat : 1040618 (fscip) R 1040615 1040618 1040488 0 -1 4194304 21811 0 0 0 17 3 0 0 20 0 1 0 193229507 92069888 19579 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 22478 19579 2670 3032 0 18878 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 89912 KiB
Current children cumulated memory: 78316 KiB

[startup+0.305509 s]*
/proc/loadavg: 1.58 1.20 1.12 5/262 1040619
/proc/meminfo: memFree=124602536/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=90748 memory=78596 CPUtime=0.3 cores=0,2
/proc/1040618/stat : 1040618 (fscip) R 1040615 1040618 1040488 0 -1 4194304 25119 0 0 0 27 3 0 0 20 0 1 0 193229507 92925952 19649 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 22687 19649 2686 3032 0 19087 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 90748 KiB
Current children cumulated memory: 78596 KiB

[startup+0.700444 s]
/proc/loadavg: 1.58 1.20 1.12 5/263 1040620
/proc/meminfo: memFree=124537984/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=260088 memory=193920 CPUtime=0.69 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 53971 0 0 0 62 7 0 0 20 0 3 0 193229507 266330112 48480 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 65022 48480 2766 3032 0 59323 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=260088 memory=5568 CPUtime=0.18 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 13744 0 0 0 17 1 0 0 20 0 3 0 193229555 266330112 48480 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 260088 KiB
Current children cumulated memory: 193920 KiB

[startup+1.50044 s]
/proc/loadavg: 1.58 1.20 1.12 5/264 1040621
/proc/meminfo: memFree=124466072/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=325768 memory=225712 CPUtime=1.47 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 61898 0 0 0 139 8 0 0 20 0 3 0 193229507 333586432 56428 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 81442 56428 2910 3032 0 67396 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=325768 memory=5568 CPUtime=0.97 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 21671 0 0 0 95 2 0 0 20 0 3 0 193229555 333586432 56428 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=325768 memory=12340 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 193229561 333586432 56428 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 325768 KiB
Current children cumulated memory: 225712 KiB

[startup+3.10642 s]
/proc/loadavg: 1.77 1.25 1.14 5/264 1040621
/proc/meminfo: memFree=124457536/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=325768 memory=226740 CPUtime=3.06 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 68679 0 0 0 298 8 0 0 20 0 3 0 193229507 333586432 56685 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 81442 56685 2910 3032 0 67558 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=325768 memory=-7664417297308213376 CPUtime=2.56 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 28445 0 0 0 254 2 0 0 20 0 3 0 193229555 333586432 56685 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=325768 memory=0 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 193229561 333586432 56685 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 325768 KiB
Current children cumulated memory: 226740 KiB

[startup+6.30044 s]
/proc/loadavg: 1.77 1.25 1.14 5/264 1040622
/proc/meminfo: memFree=124418448/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=334024 memory=246776 CPUtime=6.23 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 105382 0 0 0 611 12 0 0 20 0 3 0 193229507 342040576 61694 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 83506 61694 2926 3032 0 74582 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=334024 memory=246052 CPUtime=5.73 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 65145 0 0 0 567 6 0 0 20 0 3 0 193229555 342040576 61694 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=334024 memory=-7664417297308213376 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 193229561 342040576 61694 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 334024 KiB
Current children cumulated memory: 246776 KiB

[startup+12.7004 s]
/proc/loadavg: 2.12 1.34 1.17 5/264 1040622
/proc/meminfo: memFree=124389732/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=399560 memory=256188 CPUtime=12.57 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 124781 0 0 0 1243 14 0 0 20 0 3 0 193229507 409149440 64047 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 99890 64047 2974 3032 0 79904 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=399560 memory=246776 CPUtime=12.07 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 84503 0 0 0 1199 8 0 0 20 0 3 0 193229555 409149440 64047 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=399560 memory=12340 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 193229561 409149440 64047 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 399560 KiB
Current children cumulated memory: 256188 KiB

[startup+25.5004 s]
/proc/loadavg: 2.41 1.43 1.20 5/264 1040624
/proc/meminfo: memFree=124284812/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=399560 memory=297516 CPUtime=25.24 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 177812 0 0 0 2507 17 0 0 20 0 3 0 193229507 409149440 74379 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 99890 74379 2974 3032 0 91392 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=399560 memory=297516 CPUtime=24.74 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 137485 0 0 0 2463 11 0 0 20 0 3 0 193229555 409149440 74379 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=399560 memory=5492 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 193229561 409149440 74379 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 25.24 s
Current children cumulated vsize: 399560 KiB
Current children cumulated memory: 297516 KiB

[startup+51.1064 s]
/proc/loadavg: 3.01 1.65 1.28 5/264 1040628
/proc/meminfo: memFree=124234668/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=465244 memory=297960 CPUtime=50.61 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 217572 0 0 0 5041 20 0 0 20 0 3 0 193229507 476409856 74490 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 116311 74490 2974 3032 0 98073 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=465244 memory=49044 CPUtime=50.1 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 177194 0 0 0 4996 14 0 0 20 0 3 0 193229555 476409856 74490 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=465244 memory=297800 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 193229561 476409856 74490 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 50.61 s
Current children cumulated vsize: 465244 KiB
Current children cumulated memory: 297960 KiB

[startup+102.3 s]
/proc/loadavg: 3.69 2.08 1.45 5/264 1040637
/proc/meminfo: memFree=124056396/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=551104 memory=344116 CPUtime=101.59 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 296299 0 0 0 10128 31 0 0 20 0 3 0 193229507 564330496 86029 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 137776 86029 2974 3032 0 124475 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=551104 memory=341552 CPUtime=101.09 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 255851 0 0 0 10084 25 0 0 20 0 3 0 193229555 564330496 86029 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=551104 memory=328136 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 193229561 564330496 86029 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 101.59 s
Current children cumulated vsize: 551104 KiB
Current children cumulated memory: 344116 KiB

[startup+162.3 s]
/proc/loadavg: 3.99 2.46 1.62 5/264 1040648
/proc/meminfo: memFree=123934608/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=616640 memory=366068 CPUtime=161.38 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 347184 0 0 0 16099 39 0 0 20 0 3 0 193229507 631439360 91517 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 154160 91517 2974 3032 0 134319 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=616640 memory=347196 CPUtime=160.88 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 306689 0 0 0 16055 33 0 0 20 0 3 0 193229555 631439360 91517 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=616640 memory=-6953412438251638636 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 193229561 631439360 91517 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 161.38 s
Current children cumulated vsize: 616640 KiB
Current children cumulated memory: 366068 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.76 1.78 5/264 1040658
/proc/meminfo: memFree=123855372/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=620028 memory=395676 CPUtime=221.16 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 382877 0 0 0 22072 44 0 0 20 0 3 0 193229507 634908672 98919 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 155007 98919 2974 3032 0 143351 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=620028 memory=384436 CPUtime=220.65 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 342339 0 0 0 22027 38 0 0 20 0 3 0 193229555 634908672 98919 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=620028 memory=395200 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 193229561 634908672 98919 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 221.16 s
Current children cumulated vsize: 620028 KiB

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

/proc/1040618/statm: 241831 213908 2974 3032 0 226540 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=967324 memory=49348 CPUtime=1356.27 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 634096 0 0 0 135534 93 0 0 20 0 3 0 193229555 990539776 213908 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=967324 memory=855536 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 102 0 0 0 0 0 0 0 20 0 3 0 193229561 990539776 213908 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 1356.86 s
Current children cumulated vsize: 967324 KiB
Current children cumulated memory: 855632 KiB

[startup+1422.3 s]
/proc/loadavg: 4.08 4.09 3.54 5/263 1041525
/proc/meminfo: memFree=121823088/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=967324 memory=855816 CPUtime=1416.64 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 677994 0 0 0 141562 102 0 0 20 0 3 0 193229507 990539776 213954 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 241831 213954 2974 3032 0 226540 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=967324 memory=49348 CPUtime=1416.05 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 637088 0 0 0 141511 94 0 0 20 0 3 0 193229555 990539776 213954 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=967324 memory=2172 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 104 0 0 0 0 0 0 0 20 0 3 0 193229561 990539776 213954 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 1416.64 s
Current children cumulated vsize: 967324 KiB
Current children cumulated memory: 855816 KiB

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

# cumulated CPU time of all completed processes:  user=1470.44 s, system=1.06555 s

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

[startup+1433.6 s]
/proc/loadavg: 4.06 4.09 3.55 5/263 1041527
/proc/meminfo: memFree=121820308/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=967324 memory=855816 CPUtime=1427.9 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 678301 0 0 0 142688 102 0 0 20 0 3 0 193229507 990539776 213954 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 241831 213954 2974 3032 0 226540 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=967324 memory=855536 CPUtime=1427.31 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 637379 0 0 0 142637 94 0 0 20 0 3 0 193229555 990539776 213954 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=967324 memory=855636 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 104 0 0 0 0 0 0 0 20 0 3 0 193229561 990539776 213954 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 1427.9 s
Current children cumulated vsize: 967324 KiB
Current children cumulated memory: 855816 KiB

[startup+1459.2 s]
/proc/loadavg: 4.10 4.10 3.56 5/264 1041547
/proc/meminfo: memFree=121818540/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=967324 memory=855928 CPUtime=1453.4 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 680200 0 0 0 145237 103 0 0 20 0 3 0 193229507 990539776 213982 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 241831 213982 2974 3032 0 230285 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=967324 memory=855816 CPUtime=1452.82 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 639278 0 0 0 145187 95 0 0 20 0 3 0 193229555 990539776 213982 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=967324 memory=49348 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 104 0 0 0 0 0 0 0 20 0 3 0 193229561 990539776 213982 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 1453.4 s
Current children cumulated vsize: 967324 KiB
Current children cumulated memory: 855928 KiB

[startup+1465.6 s]
/proc/loadavg: 4.10 4.10 3.57 5/264 1041547
/proc/meminfo: memFree=121818000/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=967324 memory=855936 CPUtime=1459.79 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 680234 0 0 0 145875 104 0 0 20 0 3 0 193229507 990539776 213984 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 241831 213984 2974 3032 0 230723 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=967324 memory=49348 CPUtime=1459.19 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 639312 0 0 0 145824 95 0 0 20 0 3 0 193229555 990539776 213984 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=967324 memory=855928 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 104 0 0 0 0 0 0 0 20 0 3 0 193229561 990539776 213984 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 1459.79 s
Current children cumulated vsize: 967324 KiB
Current children cumulated memory: 855936 KiB

[startup+1472 s]*
/proc/loadavg: 4.08 4.09 3.57 5/264 1041549
/proc/meminfo: memFree=121817956/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=967324 memory=855940 CPUtime=1466.17 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 680407 0 0 0 146513 104 0 0 20 0 3 0 193229507 990539776 213985 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 241831 213985 2974 3032 0 231152 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=967324 memory=-7812159286163826272 CPUtime=1465.58 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 639481 0 0 0 146463 95 0 0 20 0 3 0 193229555 990539776 213985 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=967324 memory=1469647303355498625 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 106 0 0 0 0 0 0 0 20 0 3 0 193229561 990539776 213985 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 1466.17 s
Current children cumulated vsize: 967324 KiB
Current children cumulated memory: 855940 KiB

[startup+1475.2 s]
/proc/loadavg: 4.08 4.09 3.57 5/264 1041549
/proc/meminfo: memFree=121775284/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=1032860 memory=890892 CPUtime=1469.35 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 690794 0 0 0 146830 105 0 0 20 0 3 0 193229507 1057648640 222723 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 258215 222723 2974 3032 0 240567 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=1032860 memory=1816 CPUtime=1468.76 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 649868 0 0 0 146780 96 0 0 20 0 3 0 193229555 1057648640 222723 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=1032860 memory=855940 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 106 0 0 0 0 0 0 0 20 0 3 0 193229561 1057648640 222723 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 1469.35 s
Current children cumulated vsize: 1032860 KiB
Current children cumulated memory: 890892 KiB

[startup+1476 s]*
/proc/loadavg: 4.08 4.09 3.57 5/264 1041550
/proc/meminfo: memFree=121775284/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=1032860 memory=891040 CPUtime=1470.16 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 690801 0 0 0 146911 105 0 0 20 0 3 0 193229507 1057648640 222760 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 258215 222760 2974 3032 0 240567 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=1032860 memory=-7812159286163826272 CPUtime=1469.56 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 649875 0 0 0 146860 96 0 0 20 0 3 0 193229555 1057648640 222760 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=1032860 memory=1469647303355498625 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 106 0 0 0 0 0 0 0 20 0 3 0 193229561 1057648640 222760 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 1470.16 s
Current children cumulated vsize: 1032860 KiB
Current children cumulated memory: 891040 KiB

[startup+1476.8 s]
/proc/loadavg: 4.08 4.09 3.57 5/264 1041550
/proc/meminfo: memFree=121775284/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=1032860 memory=891040 CPUtime=1470.95 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 690805 0 0 0 146990 105 0 0 20 0 3 0 193229507 1057648640 222760 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 258215 222760 2974 3032 0 240567 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=1032860 memory=890892 CPUtime=1470.35 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 649879 0 0 0 146939 96 0 0 20 0 3 0 193229555 1057648640 222760 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=1032860 memory=890892 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 106 0 0 0 0 0 0 0 20 0 3 0 193229561 1057648640 222760 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 1470.95 s
Current children cumulated vsize: 1032860 KiB
Current children cumulated memory: 891040 KiB

[startup+1477.2 s]
/proc/loadavg: 4.07 4.09 3.57 5/264 1041550
/proc/meminfo: memFree=121775332/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=1032860 memory=891040 CPUtime=1471.35 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 690806 0 0 0 147030 105 0 0 20 0 3 0 193229507 1057648640 222760 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 258215 222760 2974 3032 0 240567 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=1032860 memory=684652 CPUtime=1470.75 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 649880 0 0 0 146979 96 0 0 20 0 3 0 193229555 1057648640 222760 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=1032860 memory=706796 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 106 0 0 0 0 0 0 0 20 0 3 0 193229561 1057648640 222760 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 1471.35 s
Current children cumulated vsize: 1032860 KiB
Current children cumulated memory: 891040 KiB

[startup+1477.3 s]
/proc/loadavg: 4.07 4.09 3.57 5/264 1041550
/proc/meminfo: memFree=121775332/131524600 swapFree=131071996/131071996
[pid=1040618] ppid=1040615 vsize=1032860 memory=891040 CPUtime=1471.45 cores=0,2
/proc/1040618/stat : 1040618 (fscip) S 1040615 1040618 1040488 0 -1 1077936128 690952 0 0 0 147040 105 0 0 20 0 3 0 193229507 1057648640 222760 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
/proc/1040618/statm: 258215 222760 2974 3032 0 240567 0
[pid=1040618/tid=1040620] ppid=1040615 vsize=1032860 memory=855928 CPUtime=1470.85 cores=0,2
/proc/1040618/task/1040620/stat : 1040620 (fscip) R 1040615 1040618 1040488 0 -1 4194368 650026 0 0 0 146989 96 0 0 20 0 3 0 193229555 1057648640 222760 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
[pid=1040618/tid=1040621] ppid=1040615 vsize=1032860 memory=-7812159286163826272 CPUtime=0 cores=0,2
/proc/1040618/task/1040621/stat : 1040621 (fscip) S 1040615 1040618 1040488 0 -1 1077936192 106 0 0 0 0 0 0 0 20 0 3 0 193229561 1057648640 222760 134679101440 4194304 16613245 140735995547440 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 30289920 140735995548691 140735995548807 140735995548807 140735995555824 0
Current children cumulated CPU time: 1471.45 s
Current children cumulated vsize: 1032860 KiB
Current children cumulated memory: 891040 KiB

Child status: 0

Real time (s): 1477.35
CPU time (s): 1471.51
CPU user time (s): 1470.44
CPU system time (s): 1.06555
CPU usage (%): 99.6042
Max. virtual memory (cumulated for all children) (KiB): 1032860
Max. memory (cumulated for all children) (KiB): 891040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1470.44
system time used= 1.06555
maximum resident set size= 891040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 694696
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= 4160
involuntary context switches= 10695


# summary of solver processes directly reported to runsolver:
#   pid: 1040618
#   total CPU time (s): 1471.51
#   total CPU user time (s): 1470.44
#   total CPU system time (s): 1.06555

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.45915 second user time and 7.63688 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-19 19:36:50
IDJOB=4450330
IDBENCH=160421
IDSOLVER=3064
FILE ID=nodeC033/4450330-1721410598
RUNJOBID= nodeC033-1721410598-1040498
SLURM_JOB_ID= 7545470
Free space on /tmp= 890000 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-left3reg-l100-r099-n1.cnf-plain.pb.metafix.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450330-1721410598/watcher-4450330-1721410598 -o /tmp/evaluation-result-4450330-1721410598/solver-4450330-1721410598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721410598-1040498 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4450330-1721410598.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 432ceff95840c24def17352d86ee9883
RANDOM SEED=1235540016

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124679476 kB
MemAvailable:   129045584 kB
Buffers:          567072 kB
Cached:          4592036 kB
SwapCached:            0 kB
Active:          1027564 kB
Inactive:        5090056 kB
Active(anon):       1556 kB
Inactive(anon):  1002860 kB
Active(file):    1026008 kB
Inactive(file):  4087196 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            114816 kB
Writeback:             0 kB
AnonPages:        955924 kB
Mapped:           143216 kB
Shmem:             45908 kB
KReclaimable:     185100 kB
Slab:             308412 kB
SReclaimable:     185100 kB
SUnreclaim:       123312 kB
KernelStack:        4208 kB
PageTables:        11304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     946188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            71072 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 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:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC033 at 2024-07-19 20:01:28