Trace number 4464703

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-30? 3589.65 3598.73

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-neos-948346.0.s.opb
MD5SUMfa44fc9c0c30a6a8030f0b23aafff6c8
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables57855
Total number of constraints1571
Number of constraints which are clauses45
Number of constraints which are cardinality constraints (but not clauses)632
Number of constraints which are nor clauses,nor cardinality constraints894
Minimum length of a constraint5
Maximum length of a constraint57675
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 10000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 578713
Number of bits of the biggest sum of numbers20
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.69/0.77	c Default LC presolving (default).
0.69/0.77	c ** Before presolving: virtualMemUsedAtLc = 272727757, getVmSize() = 227561472, SCIPgetMemUsed() = 176212926, SCIPgetMemTotal() = 203270838, SCIPgetMemExternEstim() = 69456919
0.69/0.77	c ** set memory limit for presolving in LC to 8.79601e+12 for SCIP **
103.36/103.67	c ** Estimated virtualMemUsedAtSolver = 660597731, getVmSize() = 987598848, SCIPgetMemUsed() = 701749550, SCIPgetMemTotal() = 921439678, SCIPgetMemExternEstim() = 69456919
103.36/103.67	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
103.36/103.67	c Original Problem   :
103.36/103.67	c   Problem name     : instance-4464703-1722387321
103.36/103.67	c   Variables        : 57855 (57855 binary, 0 integer, 0 implicit integer, 0 continuous)
103.36/103.67	c   Constraints      : 1571
103.36/103.67	c   Objective sense  : minimize
103.36/103.67	c Presolved Problem  :
103.36/103.67	c   Variables        : 51334 (51334 binary, 0 integer, 0 implicit integer, 0 continuous)
103.36/103.67	c   Constraints      : 20518
103.36/103.67	c Constraints        : Number
103.36/103.67	c   knapsack         : 752 
103.36/103.67	c   setppc           : 19402 
103.36/103.67	c   orbitope         : 319 
103.36/103.67	c   logicor          : 45 
103.36/103.67	c ** Instance transfer method used: 0
103.55/103.87	c ** ParaScipInstance copy increased the number of variables. **
104.05/104.33	c LC is working with racing ramp-up and with rebuilding tree after racing.
104.05/104.33	c                                Nodes    Active                                            
104.05/104.33	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
524.20/525.66	c       526              2           1         1                -           0.0000          -
601.80/603.41	c       603              5           4         1                -           0.0000          -
627.74/629.41	c       629              6           5         1                -           0.0000          -
674.23/676.02	c       676              7           6         1                -           0.0000          -
721.39/723.37	c       723              8           7         1                -           0.0000          -
742.23/744.20	c       744              9           8         1                -           0.0000          -
804.89/807.02	c       807             12          11         1                -           0.0000          -
809.88/812.09	c       812             15          14         1                -           0.0000          -
843.58/845.85	c       846             17          16         1                -           0.0000          -
866.43/868.76	c       869             20          19         1                -           0.0000          -
907.74/910.19	c       910             22          21         1                -           0.0000          -
940.14/942.67	c       943             24          23         1                -           0.0000          -
945.73/948.20	c       948             29          24         1                -           0.0000          -
965.68/968.25	c       968             33          26         1                -           0.0000          -
983.93/986.54	c       987             36          29         1                -           0.0000          -
996.51/999.12	c       999             38          31         1                -           0.0000          -
1011.16/1013.80	c      1014             39          32         1                -           0.0000          -
1028.01/1030.72	c      1031             41          34         1                -           0.0000          -
1035.20/1037.91	c      1038             43          36         1                -           0.0000          -
1066.32/1069.11	c      1069             45          38         1                -           0.0000          -
1083.67/1086.58	c      1087             48          41         1                -           0.0000          -
1098.33/1101.22	c      1101             49          42         1                -           0.0000          -
1107.00/1110.01	c      1110             51          44         1                -           0.0000          -
1123.44/1126.47	c      1126             52          45         1                -           0.0000          -
1128.84/1131.88	c      1132             53          46         1                -           0.0000          -
1142.90/1145.98	c      1146             54          47         1                -           0.0000          -
1161.95/1165.11	c      1165             59          48         1                -           0.0000          -
1175.92/1179.03	c      1179             60          49         1                -           0.0000          -
1190.97/1194.12	c      1194             67          50         1                -           0.0000          -
1207.93/1211.16	c      1211             71          52         1                -           0.0000          -
1225.98/1229.22	c      1229             80          51         1                -           0.0000          -
1244.92/1248.20	c      1248             91          50         1                -           0.0000          -
1267.46/1270.89	c      1271             95          50         1                -           0.0000          -
1276.65/1280.02	c      1280            115          46         1                -           0.0000          -
1282.92/1286.38	c      1286            117          46         1                -           0.0000          -
1289.40/1292.80	c      1293            120          49         1                -           0.0000          -
1305.96/1309.44	c      1309            126          51         1                -           0.0000          -
1324.81/1328.30	c      1328            127          52         1                -           0.0000          -
1329.90/1333.48	c      1333            130          53         1                -           0.0000          -
1346.05/1349.65	c      1350            131          54         1                -           0.0000          -
1365.81/1369.48	c      1369            147          52         1                -           0.0000          -
1370.89/1374.55	c      1375            148          53         1                -           0.0000          -
1385.37/1389.07	c      1389            149          54         1                -           0.0000          -
1398.92/1402.65	c      1403            157          54         1                -           0.0000          -
1406.60/1410.31	c      1410            159          56         1                -           0.0000          -
1416.28/1420.11	c      1420            174          57         1                -           0.0000          -
1426.74/1430.56	c      1431            177          58         1                -           0.0000          -
1464.65/1468.58	c      1469            183          57         1                -           0.0000          -
1485.59/1489.52	c      1490            186          58         1                -           0.0000          -
1491.97/1496.01	c      1496            190          58         1                -           0.0000          -
1508.03/1512.11	c      1512            193          59         1                -           0.0000          -
1530.46/1534.50	c      1534            195          59         1                -           0.0000          -
1554.01/1558.17	c      1558            199          59         1                -           0.0000          -
1562.47/1566.67	c      1567            203          61         1                -           0.0000          -
1580.83/1585.04	c      1585            206          62         1                -           0.0000          -
1600.08/1604.37	c      1604            207          63         1                -           0.0000          -
1618.53/1622.85	c      1623            216          62         1                -           0.0000          -
1625.11/1629.48	c      1629            233          61         1                -           0.0000          -
1633.09/1637.46	c      1637            234          62         1                -           0.0000          -
1658.64/1663.03	c      1663            236          64         1                -           0.0000          -
1675.88/1680.32	c      1680            238          66         1                -           0.0000          -
1690.15/1694.65	c      1695            239          67         1                -           0.0000          -
1695.33/1699.80	c      1700            240          66         1                -           0.0000          -
1716.67/1721.21	c      1721            242          66         1                -           0.0000          -
1726.73/1731.33	c      1731            244          66         1                -           0.0000          -
1732.43/1737.10	c      1737            246          66         1                -           0.0000          -
1753.36/1758.06	c      1758            249          67         1                -           0.0000          -
1769.32/1774.03	c      1774            251          69         1                -           0.0000          -
1787.04/1791.84	c      1792            252          68         1                -           0.0000          -
1796.23/1801.05	c      1801            254          70         1                -           0.0000          -
1811.56/1816.47	c      1816            256          72         1                -           0.0000          -
1825.23/1830.18	c      1830            257          73         1                -           0.0000          -
1838.98/1843.95	c      1844            260          72         1                -           0.0000          -
1861.60/1866.62	c      1867            264          72         1                -           0.0000          -
1880.35/1885.42	c      1885            266          74         1                -           0.0000          -
1902.26/1907.49	c      1907            267          75         1                -           0.0000          -
1909.34/1914.56	c      1915            271          77         1                -           0.0000          -
1915.93/1921.16	c      1921            272          76         1                -           0.0000          -
1922.70/1927.90	c      1928            274          78         1                -           0.0000          -
1936.16/1941.42	c      1941            277          79         1                -           0.0000          -
1953.20/1958.52	c      1959            281          81         1                -           0.0000          -
1963.27/1968.68	c      1969            282          80         1                -           0.0000          -
1969.66/1975.02	c      1975            283          81         1                -           0.0000          -
1975.64/1981.08	c      1981            284          80         1                -           0.0000          -
1991.58/1997.02	c      1997            286          82         1                -           0.0000          -
2001.73/2007.21	c      2007            287          81         1                -           0.0000          -
2023.97/2029.53	c      2030            289          81         1                -           0.0000          -
2030.64/2036.21	c      2036            290          82         1                -           0.0000          -
2048.88/2054.53	c      2055            291          83         1                -           0.0000          -
2064.63/2070.33	c      2070            292          84         1                -           0.0000          -
2095.75/2101.56	c      2102            295          87         1                -           0.0000          -
2119.49/2125.37	c      2125            297          89         1                -           0.0000          -
2127.67/2133.58	c      2134            298          88         1                -           0.0000          -
2133.45/2139.38	c      2139            299          89         1                -           0.0000          -
2144.14/2150.03	c      2150            300          88         1                -           0.0000          -
2177.25/2183.25	c      2183            302          88         1                -           0.0000          -
2212.87/2218.90	c      2219            304          90         1                -           0.0000          -
2230.33/2236.42	c      2236            305          91         1                -           0.0000          -
2240.19/2246.31	c      2246            308          92         1                -           0.0000          -
2267.04/2273.24	c      2273            309          93         1                -           0.0000          -
2302.26/2308.58	c      2309            311          95         1                -           0.0000          -
2315.42/2321.79	c      2322            313          97         1                -           0.0000          -
2329.59/2335.98	c      2336            314          98         1                -           0.0000          -
2335.57/2341.95	c      2342            315          97         1                -           0.0000          -
2407.52/2414.09	c      2414            317          99         1                -           0.0000          -
2424.48/2431.05	c      2431            319         101         1                -           0.0000          -
2443.45/2450.05	c      2450            320         100         1                -           0.0000          -
2463.99/2470.64	c      2471            322         100         1                -           0.0000          -
2470.08/2476.71	c      2477            324         100         1                -           0.0000          -
2486.23/2492.99	c      2493            326         102         1                -           0.0000          -
2498.71/2505.44	c      2505            327         103         1                -           0.0000          -
2506.19/2512.98	c      2513            328         102         1                -           0.0000          -
2515.17/2521.94	c      2522            332         102         1                -           0.0000          -
2530.04/2536.83	c      2537            334         104         1                -           0.0000          -
2539.62/2546.44	c      2546            337         103         1                -           0.0000          -
2548.69/2555.58	c      2556            341         103         1                -           0.0000          -
2559.37/2566.29	c      2566            345         105         1                -           0.0000          -
2573.25/2580.12	c      2580            346         106         1                -           0.0000          -
2617.34/2624.36	c      2624            347         107         1                -           0.0000          -
2634.60/2641.65	c      2642            349         109         1                -           0.0000          -
2658.24/2665.31	c      2665            350         110         1                -           0.0000          -
2663.61/2670.72	c      2671            351         111         1                -           0.0000          -
2670.39/2677.51	c      2678            353         111         1                -           0.0000          -
2677.88/2685.01	c      2685            355         113         1                -           0.0000          -
2682.86/2690.11	c      2690            356         112         1                -           0.0000          -
2699.42/2706.60	c      2707            359         113         1                -           0.0000          -
2708.10/2715.31	c      2715            361         113         1                -           0.0000          -
2714.29/2721.53	c      2722            366         114         1                -           0.0000          -
2729.65/2736.91	c      2737            370         114         1                -           0.0000          -
2803.97/2811.49	c      2811            372         116         1                -           0.0000          -
2814.75/2822.22	c      2822            376         116         1                -           0.0000          -
2821.05/2828.59	c      2829            381         121         1                -           0.0000          -
2836.70/2844.20	c      2844            382         122         1                -           0.0000          -
2852.98/2860.58	c      2861            384         124         1                -           0.0000          -
2870.34/2877.92	c      2878            385         123         1                -           0.0000          -
2888.60/2896.21	c      2896            387         123         1                -           0.0000          -
2903.97/2911.68	c      2912            389         125         1                -           0.0000          -
2921.63/2929.36	c      2929            392         126         1                -           0.0000          -
2943.58/2951.39	c      2951            395         125         1                -           0.0000          -
2951.77/2959.54	c      2960            397         125         1                -           0.0000          -
2976.51/2984.37	c      2984            399         125         1                -           0.0000          -
3005.56/3013.46	c      3013            402         126         1                -           0.0000          -
3022.32/3030.20	c      3030            404         128         1                -           0.0000          -
3039.58/3047.57	c      3048            405         127         1                -           0.0000          -
3056.44/3064.42	c      3064            408         128         1                -           0.0000          -
3074.60/3082.69	c      3083            410         128         1                -           0.0000          -
3079.68/3087.75	c      3088            411         129         1                -           0.0000          -
3100.64/3108.74	c      3109            412         128         1                -           0.0000          -
3106.83/3114.97	c      3115            414         130         1                -           0.0000          -
3111.93/3120.07	c      3120            416         130         1                -           0.0000          -
3119.30/3127.42	c      3127            417         129         1                -           0.0000          -
3125.29/3133.46	c      3133            421         131         1                -           0.0000          -
3140.36/3148.59	c      3149            422         132         1                -           0.0000          -
3153.63/3161.87	c      3162            423         133         1                -           0.0000          -
3159.62/3167.82	c      3168            426         132         1                -           0.0000          -
3177.48/3185.75	c      3186            428         132         1                -           0.0000          -
3196.64/3205.01	c      3205            430         132         1                -           0.0000          -
3216.40/3224.79	c      3225            432         132         1                -           0.0000          -
3223.89/3232.27	c      3232            434         134         1                -           0.0000          -
3238.16/3246.53	c      3247            435         135         1                -           0.0000          -
3247.14/3255.51	c      3256            438         134         1                -           0.0000          -
3263.10/3271.50	c      3272            440         136         1                -           0.0000          -
3285.25/3293.74	c      3294            443         135         1                -           0.0000          -
3292.45/3300.98	c      3301            445         135         1                -           0.0000          -
3317.89/3326.49	c      3326            447         137         1                -           0.0000          -
3332.57/3341.16	c      3341            449         139         1                -           0.0000          -
3354.31/3362.97	c      3363            452         140         1                -           0.0000          -
3370.18/3378.80	c      3379            455         141         1                -           0.0000          -
3383.55/3392.26	c      3392            456         142         1                -           0.0000          -
3407.90/3416.69	c      3417            459         141         1                -           0.0000          -
3421.86/3430.64	c      3431            461         143         1                -           0.0000          -
3429.36/3438.13	c      3438            464         142         1                -           0.0000          -
3442.52/3451.36	c      3451            466         142         1                -           0.0000          -
3458.78/3467.60	c      3468            468         144         1                -           0.0000          -
3472.65/3481.51	c      3482            469         145         1                -           0.0000          -
3491.61/3500.54	c      3501            472         146         1                -           0.0000          -
3517.66/3526.65	c      3527            473         147         1                -           0.0000          -
3524.05/3533.11	c      3533            475         147         1                -           0.0000          -
3536.42/3545.43	c      3545            477         147         1                -           0.0000          -
3553.38/3562.48	c      3562            479         147         1                -           0.0000          -
3562.66/3571.70	c      3572            481         147         1                -           0.0000          -
3577.73/3586.89	c      3587            484         150         1                -           0.0000          -
3583.93/3593.01	c      3593            485         149         1                -           0.0000          -
3589.21/3598.37	c SCIP Status        : c solving was interrupted [hard time limit reached]
3589.21/3598.37	c Total Time         : 3598.3600
3589.21/3598.37	c   solving          : 3598.3600
3589.21/3598.37	c   presolving       : 102.9055 (included in solving)
3589.21/3598.37	c B&B Tree           :
3589.21/3598.37	c   nodes (total)    : 1
3589.21/3598.37	c Solution           :
3589.21/3598.37	c   Solutions found  : 0
3589.21/3598.37	c   Primal Bound     :          -
3589.21/3598.37	c   Dual Bound       : +0.00000000000000e+00
3589.21/3598.37	c Gap                :          -
3589.61/3598.72	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (58187 MiB free)
  memory of node 1: 64473 MiB (63494 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100097 s]*
/proc/loadavg: 4.08 4.10 4.09 5/250 33012
/proc/meminfo: memFree=124548304/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=82560 memory=68072 CPUtime=0.1 cores=1,3
/proc/33011/stat : 33011 (fscip) R 33008 33011 28221 0 -1 4194304 14907 0 0 0 6 4 0 0 20 0 1 0 5103236 84541440 17018 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 20640 17018 2347 3035 0 17036 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 82560 KiB
Current children cumulated memory: 68072 KiB

[startup+0.212463 s]*
/proc/loadavg: 4.08 4.10 4.09 5/250 33012
/proc/meminfo: memFree=124529992/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=96656 memory=81092 CPUtime=0.21 cores=1,3
/proc/33011/stat : 33011 (fscip) R 33008 33011 28221 0 -1 4194304 18219 0 0 0 16 5 0 0 20 0 1 0 5103236 98975744 20273 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 24164 20273 2347 3035 0 20560 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 96656 KiB
Current children cumulated memory: 81092 KiB

[startup+0.311933 s]*
/proc/loadavg: 4.08 4.10 4.09 5/250 33012
/proc/meminfo: memFree=124526184/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=100548 memory=84788 CPUtime=0.31 cores=1,3
/proc/33011/stat : 33011 (fscip) R 33008 33011 28221 0 -1 4194304 19122 0 0 0 25 6 0 0 20 0 1 0 5103236 102961152 21197 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 25137 21197 2347 3035 0 21533 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 100548 KiB
Current children cumulated memory: 84788 KiB

[startup+0.700344 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 33012
/proc/meminfo: memFree=124498632/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=195472 memory=181636 CPUtime=0.69 cores=1,3
/proc/33011/stat : 33011 (fscip) R 33008 33011 28221 0 -1 4194304 45415 0 0 0 56 13 0 0 20 0 1 0 5103236 200163328 45409 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 48868 45409 2539 3035 0 45264 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 195472 KiB
Current children cumulated memory: 181636 KiB

[startup+1.50035 s]
/proc/loadavg: 4.08 4.10 4.09 6/250 33012
/proc/meminfo: memFree=124377308/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=313672 memory=290712 CPUtime=1.49 cores=1,3
/proc/33011/stat : 33011 (fscip) R 33008 33011 28221 0 -1 4194304 67461 0 0 0 132 17 0 0 20 0 1 0 5103236 321200128 72678 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 78418 72678 2630 3035 0 74814 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 313672 KiB
Current children cumulated memory: 290712 KiB

[startup+3.11334 s]
/proc/loadavg: 4.07 4.09 4.09 6/250 33012
/proc/meminfo: memFree=124333640/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=295216 memory=277720 CPUtime=3.09 cores=1,3
/proc/33011/stat : 33011 (fscip) R 33008 33011 28221 0 -1 4194304 76370 0 0 0 290 19 0 0 20 0 1 0 5103236 302301184 69430 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 73804 69430 2710 3035 0 70200 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 295216 KiB
Current children cumulated memory: 277720 KiB

[startup+6.30033 s]
/proc/loadavg: 4.07 4.09 4.09 6/250 33013
/proc/meminfo: memFree=124207204/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=421440 memory=403080 CPUtime=6.27 cores=1,3
/proc/33011/stat : 33011 (fscip) R 33008 33011 28221 0 -1 4194304 107807 0 0 0 604 23 0 0 20 0 1 0 5103236 431554560 100770 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 105360 100770 2742 3035 0 101756 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 421440 KiB
Current children cumulated memory: 403080 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.11 4.09 6/250 33013
/proc/meminfo: memFree=124184200/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=447408 memory=426056 CPUtime=12.65 cores=1,3
/proc/33011/stat : 33011 (fscip) R 33008 33011 28221 0 -1 4194304 113556 0 0 0 1241 24 0 0 20 0 1 0 5103236 458145792 106514 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 111852 106514 2758 3035 0 108248 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 447408 KiB
Current children cumulated memory: 426056 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.10 4.09 7/255 33389
/proc/meminfo: memFree=124176728/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=447408 memory=426056 CPUtime=25.41 cores=1,3
/proc/33011/stat : 33011 (fscip) R 33008 33011 28221 0 -1 4194304 113556 0 0 0 2517 24 0 0 20 0 1 0 5103236 458145792 106514 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 111852 106514 2758 3035 0 108248 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 447408 KiB
Current children cumulated memory: 426056 KiB

[startup+51.1132 s]
/proc/loadavg: 4.07 4.09 4.09 6/249 33409
/proc/meminfo: memFree=123908364/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=893628 memory=791692 CPUtime=50.97 cores=1,3
/proc/33011/stat : 33011 (fscip) R 33008 33011 28221 0 -1 4194304 197352 0 0 0 5060 37 0 0 20 0 1 0 5103236 915075072 197923 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 223407 197923 2774 3035 0 219803 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 893628 KiB
Current children cumulated memory: 791692 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/250 33420
/proc/meminfo: memFree=123900332/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=897444 memory=795324 CPUtime=102.06 cores=1,3
/proc/33011/stat : 33011 (fscip) R 33008 33011 28221 0 -1 4194304 198248 0 0 0 10168 38 0 0 20 0 1 0 5103236 918982656 198831 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 224361 198831 2774 3035 0 220757 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 897444 KiB
Current children cumulated memory: 795324 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/252 33432
/proc/meminfo: memFree=123211680/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=1628092 memory=1479944 CPUtime=161.82 cores=1,3
/proc/33011/stat : 33011 (fscip) S 33008 33011 28221 0 -1 1077936128 604734 0 0 0 16100 82 0 0 20 0 3 0 5103236 1667166208 369986 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 407023 369986 2854 3035 0 400775 0
[pid=33011/tid=33421] ppid=33008 vsize=1628092 memory=1337716 CPUtime=58.19 cores=1,3
/proc/33011/task/33421/stat : 33421 (fscip) R 33008 33011 28221 0 -1 4194368 376998 0 0 0 5779 40 0 0 20 0 3 0 5113603 1667166208 369986 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
[pid=33011/tid=33422] ppid=33008 vsize=1628092 memory=1335960 CPUtime=0 cores=1,3
/proc/33011/task/33422/stat : 33422 (fscip) S 33008 33011 28221 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 5113669 1667166208 369986 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1628092 KiB
Current children cumulated memory: 1479944 KiB

[startup+222.3 s]
/proc/loadavg: 4.60 4.23 4.14 6/254 33612
/proc/meminfo: memFree=122953268/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=1956936 memory=1727580 CPUtime=221.65 cores=1,3
/proc/33011/stat : 33011 (fscip) S 33008 33011 28221 0 -1 1077936128 792228 0 0 0 22064 101 0 0 20 0 3 0 5103236 2003902464 431895 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 489234 431895 2950 3035 0 481831 0
[pid=33011/tid=33421] ppid=33008 vsize=1956936 memory=1530708 CPUtime=118.02 cores=1,3
/proc/33011/task/33421/stat : 33421 (fscip) R 33008 33011 28221 0 -1 4194368 564474 0 0 0 11743 59 0 0 20 0 3 0 5113603 2003902464 431895 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
[pid=33011/tid=33422] ppid=33008 vsize=1956936 memory=11392 CPUtime=0 cores=1,3
/proc/33011/task/33422/stat : 33422 (fscip) S 33008 33011 28221 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 5113669 2003902464 431895 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 1956936 KiB
Current children cumulated memory: 1727580 KiB

[startup+282.3 s]
/proc/loadavg: 4.50 4.29 4.16 6/254 33623
/proc/meminfo: memFree=122897828/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=2023124 memory=1763248 CPUtime=281.5 cores=1,3
/proc/33011/stat : 33011 (fscip) S 33008 33011 28221 0 -1 1077936128 868628 0 0 0 28044 106 0 0 20 0 3 0 5103236 2071678976 440812 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 505781 440812 2966 3035 0 490955 0
[pid=33011/tid=33421] ppid=33008 vsize=2023124 memory=1763020 CPUtime=177.86 cores=1,3
/proc/33011/task/33421/stat : 33421 (fscip) R 33008 33011 28221 0 -1 4194368 640866 0 0 0 17722 64 0 0 20 0 3 0 5113603 2071678976 440812 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
[pid=33011/tid=33422] ppid=33008 vsize=2023124 memory=1763020 CPUtime=0 cores=1,3
/proc/33011/task/33422/stat : 33422 (fscip) S 33008 33011 28221 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 5113669 2071678976 440812 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 2023124 KiB
Current children cumulated memory: 1763248 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 4.25 4.16 6/257 33650
/proc/meminfo: memFree=122836784/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=2088820 memory=1800032 CPUtime=341.36 cores=1,3
/proc/33011/stat : 33011 (fscip) S 33008 33011 28221 0 -1 1077936128 983384 0 0 0 34021 115 0 0 20 0 3 0 5103236 2138951680 450008 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 522205 450008 2966 3035 0 501692 0
[pid=33011/tid=33421] ppid=33008 vsize=2088820 memory=11392 CPUtime=237.72 cores=1,3
/proc/33011/task/33421/stat : 33421 (fscip) R 33008 33011 28221 0 -1 4194368 755612 0 0 0 23699 73 0 0 20 0 3 0 5113603 2138951680 450008 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
[pid=33011/tid=33422] ppid=33008 vsize=2088820 memory=-5155626916533332869 CPUtime=0 cores=1,3
/proc/33011/task/33422/stat : 33422 (fscip) S 33008 33011 28221 0 -1 1077936192 76 0 0 0 0 0 0 0 20 0 3 0 5113669 2138951680 450008 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 2088820 KiB
Current children cumulated memory: 1800032 KiB


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

Current children cumulated vsize: 2352300 KiB
Current children cumulated memory: 2233980 KiB

[startup+3462.3 s]
/proc/loadavg: 1.13 1.14 1.77 2/225 34960
/proc/meminfo: memFree=126914956/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=2352300 memory=2237356 CPUtime=3453.5 cores=1,3
/proc/33011/stat : 33011 (fscip) S 33008 33011 28221 0 -1 1077936128 4561143 0 0 0 345013 337 0 0 20 0 3 0 5103236 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 588075 559339 3014 3035 0 581711 0
[pid=33011/tid=33421] ppid=33008 vsize=2352300 memory=12880 CPUtime=3349.77 cores=1,3
/proc/33011/task/33421/stat : 33421 (fscip) R 33008 33011 28221 0 -1 4194368 4332049 0 0 0 334687 290 0 0 20 0 3 0 5113603 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
[pid=33011/tid=33422] ppid=33008 vsize=2352300 memory=2231300 CPUtime=0.05 cores=1,3
/proc/33011/task/33422/stat : 33422 (fscip) S 33008 33011 28221 0 -1 1077936192 477 0 0 0 2 3 0 0 20 0 3 0 5113669 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
Current children cumulated CPU time: 3453.5 s
Current children cumulated vsize: 2352300 KiB
Current children cumulated memory: 2237356 KiB

[startup+3522.3 s]
/proc/loadavg: 1.10 1.13 1.72 2/225 34970
/proc/meminfo: memFree=126914316/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=2352300 memory=2237356 CPUtime=3513.37 cores=1,3
/proc/33011/stat : 33011 (fscip) S 33008 33011 28221 0 -1 1077936128 4562965 0 0 0 351000 337 0 0 20 0 3 0 5103236 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 588075 559339 3014 3035 0 581711 0
[pid=33011/tid=33421] ppid=33008 vsize=2352300 memory=2237356 CPUtime=3409.64 cores=1,3
/proc/33011/task/33421/stat : 33421 (fscip) R 33008 33011 28221 0 -1 4194368 4333851 0 0 0 340674 290 0 0 20 0 3 0 5113603 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
[pid=33011/tid=33422] ppid=33008 vsize=2352300 memory=2237356 CPUtime=0.05 cores=1,3
/proc/33011/task/33422/stat : 33422 (fscip) S 33008 33011 28221 0 -1 1077936192 488 0 0 0 2 3 0 0 20 0 3 0 5113669 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
Current children cumulated CPU time: 3513.37 s
Current children cumulated vsize: 2352300 KiB
Current children cumulated memory: 2237356 KiB

[startup+3582.3 s]
/proc/loadavg: 1.11 1.12 1.68 2/225 34980
/proc/meminfo: memFree=126913560/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=2352300 memory=2237356 CPUtime=3573.24 cores=1,3
/proc/33011/stat : 33011 (fscip) S 33008 33011 28221 0 -1 1077936128 4565010 0 0 0 356987 337 0 0 20 0 3 0 5103236 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 588075 559339 3014 3035 0 581711 0
[pid=33011/tid=33421] ppid=33008 vsize=2352300 memory=2237356 CPUtime=3469.52 cores=1,3
/proc/33011/task/33421/stat : 33421 (fscip) R 33008 33011 28221 0 -1 4194368 4335874 0 0 0 346661 291 0 0 20 0 3 0 5113603 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
[pid=33011/tid=33422] ppid=33008 vsize=2352300 memory=11392 CPUtime=0.05 cores=1,3
/proc/33011/task/33422/stat : 33422 (fscip) S 33008 33011 28221 0 -1 1077936192 493 0 0 0 2 3 0 0 20 0 3 0 5113669 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
Current children cumulated CPU time: 3573.24 s
Current children cumulated vsize: 2352300 KiB
Current children cumulated memory: 2237356 KiB

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

# cumulated CPU time of all completed processes:  user=3586.25 s, system=3.39682 s

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

[startup+3584 s]*
/proc/loadavg: 1.10 1.12 1.68 2/225 34980
/proc/meminfo: memFree=126913560/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=2352300 memory=2237356 CPUtime=3574.95 cores=1,3
/proc/33011/stat : 33011 (fscip) S 33008 33011 28221 0 -1 1077936128 4565016 0 0 0 357158 337 0 0 20 0 3 0 5103236 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 588075 559339 3014 3035 0 581711 0
[pid=33011/tid=33421] ppid=33008 vsize=2352300 memory=33504 CPUtime=3471.23 cores=1,3
/proc/33011/task/33421/stat : 33421 (fscip) R 33008 33011 28221 0 -1 4194368 4335880 0 0 0 346832 291 0 0 20 0 3 0 5113603 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
[pid=33011/tid=33422] ppid=33008 vsize=2352300 memory=4624 CPUtime=0.05 cores=1,3
/proc/33011/task/33422/stat : 33422 (fscip) S 33008 33011 28221 0 -1 1077936192 493 0 0 0 2 3 0 0 20 0 3 0 5113669 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
Current children cumulated CPU time: 3574.95 s
Current children cumulated vsize: 2352300 KiB
Current children cumulated memory: 2237356 KiB

[startup+3590.4 s]
/proc/loadavg: 1.09 1.12 1.67 2/225 34982
/proc/meminfo: memFree=126913420/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=2352300 memory=2237356 CPUtime=3581.32 cores=1,3
/proc/33011/stat : 33011 (fscip) S 33008 33011 28221 0 -1 1077936128 4565262 0 0 0 357795 337 0 0 20 0 3 0 5103236 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 588075 559339 3014 3035 0 581711 0
[pid=33011/tid=33421] ppid=33008 vsize=2352300 memory=38684 CPUtime=3477.61 cores=1,3
/proc/33011/task/33421/stat : 33421 (fscip) R 33008 33011 28221 0 -1 4194368 4336126 0 0 0 347470 291 0 0 20 0 3 0 5113603 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
[pid=33011/tid=33422] ppid=33008 vsize=2352300 memory=11392 CPUtime=0.05 cores=1,3
/proc/33011/task/33422/stat : 33422 (fscip) S 33008 33011 28221 0 -1 1077936192 493 0 0 0 2 3 0 0 20 0 3 0 5113669 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
Current children cumulated CPU time: 3581.32 s
Current children cumulated vsize: 2352300 KiB
Current children cumulated memory: 2237356 KiB

[startup+3593.6 s]
/proc/loadavg: 1.09 1.12 1.67 2/225 34982
/proc/meminfo: memFree=126913420/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=2352300 memory=2237356 CPUtime=3584.52 cores=1,3
/proc/33011/stat : 33011 (fscip) S 33008 33011 28221 0 -1 1077936128 4565710 0 0 0 358115 337 0 0 20 0 3 0 5103236 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 588075 559339 3014 3035 0 581711 0
[pid=33011/tid=33421] ppid=33008 vsize=2352300 memory=2237356 CPUtime=3480.8 cores=1,3
/proc/33011/task/33421/stat : 33421 (fscip) R 33008 33011 28221 0 -1 4194368 4336574 0 0 0 347789 291 0 0 20 0 3 0 5113603 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
[pid=33011/tid=33422] ppid=33008 vsize=2352300 memory=2237356 CPUtime=0.05 cores=1,3
/proc/33011/task/33422/stat : 33422 (fscip) S 33008 33011 28221 0 -1 1077936192 493 0 0 0 2 3 0 0 20 0 3 0 5113669 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
Current children cumulated CPU time: 3584.52 s
Current children cumulated vsize: 2352300 KiB
Current children cumulated memory: 2237356 KiB

[startup+3596.8 s]
/proc/loadavg: 1.08 1.11 1.67 2/225 34983
/proc/meminfo: memFree=126913420/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=2352300 memory=2237356 CPUtime=3587.71 cores=1,3
/proc/33011/stat : 33011 (fscip) S 33008 33011 28221 0 -1 1077936128 4565713 0 0 0 358434 337 0 0 20 0 3 0 5103236 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 588075 559339 3014 3035 0 581711 0
[pid=33011/tid=33421] ppid=33008 vsize=2352300 memory=2237356 CPUtime=3483.99 cores=1,3
/proc/33011/task/33421/stat : 33421 (fscip) R 33008 33011 28221 0 -1 4194368 4336577 0 0 0 348108 291 0 0 20 0 3 0 5113603 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
[pid=33011/tid=33422] ppid=33008 vsize=2352300 memory=5 CPUtime=0.05 cores=1,3
/proc/33011/task/33422/stat : 33422 (fscip) S 33008 33011 28221 0 -1 1077936192 493 0 0 0 2 3 0 0 20 0 3 0 5113669 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
Current children cumulated CPU time: 3587.71 s
Current children cumulated vsize: 2352300 KiB
Current children cumulated memory: 2237356 KiB

[startup+3597.6 s]
/proc/loadavg: 1.08 1.11 1.67 2/225 34983
/proc/meminfo: memFree=126913336/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=2352300 memory=2237356 CPUtime=3588.51 cores=1,3
/proc/33011/stat : 33011 (fscip) S 33008 33011 28221 0 -1 1077936128 4565713 0 0 0 358514 337 0 0 20 0 3 0 5103236 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 588075 559339 3014 3035 0 581711 0
[pid=33011/tid=33421] ppid=33008 vsize=2352300 memory=12880 CPUtime=3484.79 cores=1,3
/proc/33011/task/33421/stat : 33421 (fscip) R 33008 33011 28221 0 -1 4194368 4336577 0 0 0 348188 291 0 0 20 0 3 0 5113603 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
[pid=33011/tid=33422] ppid=33008 vsize=2352300 memory=12356 CPUtime=0.05 cores=1,3
/proc/33011/task/33422/stat : 33422 (fscip) S 33008 33011 28221 0 -1 1077936192 493 0 0 0 2 3 0 0 20 0 3 0 5113669 2408755200 559339 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
Current children cumulated CPU time: 3588.51 s
Current children cumulated vsize: 2352300 KiB
Current children cumulated memory: 2237356 KiB

[startup+3598.4 s]
/proc/loadavg: 1.08 1.11 1.67 2/225 34983
/proc/meminfo: memFree=126913308/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=2286764 memory=2171876 CPUtime=3589.31 cores=1,3
/proc/33011/stat : 33011 (fscip) R 33008 33011 28221 0 -1 4194304 4572927 0 0 0 358593 338 0 0 20 0 2 0 5103236 2341646336 542969 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 571691 542969 3014 3035 0 565341 0
[pid=33011/tid=33422] ppid=33008 vsize=2286764 memory=2237356 CPUtime=0.05 cores=1,3
/proc/33011/task/33422/stat : 33422 (fscip) S 33008 33011 28221 0 -1 1077936192 493 0 0 0 2 3 0 0 20 0 2 0 5113669 2341646336 542969 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
Current children cumulated CPU time: 3589.31 s
Current children cumulated vsize: 2286764 KiB
Current children cumulated memory: 2171876 KiB

[startup+3598.6 s]
/proc/loadavg: 1.08 1.11 1.67 2/225 34983
/proc/meminfo: memFree=126913308/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=2286764 memory=2171876 CPUtime=3589.51 cores=1,3
/proc/33011/stat : 33011 (fscip) R 33008 33011 28221 0 -1 4194304 4572975 0 0 0 358613 338 0 0 20 0 2 0 5103236 2341646336 542969 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 571691 542969 3014 3035 0 565341 0
[pid=33011/tid=33422] ppid=33008 vsize=2286764 memory=1876 CPUtime=0.05 cores=1,3
/proc/33011/task/33422/stat : 33422 (fscip) S 33008 33011 28221 0 -1 1077936192 493 0 0 0 2 3 0 0 20 0 2 0 5113669 2341646336 542969 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
Current children cumulated CPU time: 3589.51 s
Current children cumulated vsize: 2286764 KiB
Current children cumulated memory: 2171876 KiB

[startup+3598.7 s]
/proc/loadavg: 1.08 1.11 1.67 2/225 34983
/proc/meminfo: memFree=126913308/131655788 swapFree=131071996/131071996
[pid=33011] ppid=33008 vsize=2234136 memory=2119376 CPUtime=3589.61 cores=1,3
/proc/33011/stat : 33011 (fscip) R 33008 33011 28221 0 -1 4194304 4574637 0 0 0 358623 338 0 0 20 0 1 0 5103236 2287755264 529844 134679101440 4194304 16623229 140735638224736 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35610624 140735638230038 140735638230154 140735638230154 140735638237168 0
/proc/33011/statm: 558534 529844 3014 3035 0 552184 0
Current children cumulated CPU time: 3589.61 s
Current children cumulated vsize: 2234136 KiB
Current children cumulated memory: 2119376 KiB

Child status: 0

Real time (s): 3598.73
CPU time (s): 3589.65
CPU user time (s): 3586.25
CPU system time (s): 3.39682
CPU usage (%): 99.7476
Max. virtual memory (cumulated for all children) (KiB): 2417836
Max. memory (cumulated for all children) (KiB): 2237356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.25
system time used= 3.39682
maximum resident set size= 2237356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4578251
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= 4093
involuntary context switches= 5026


# summary of solver processes directly reported to runsolver:
#   pid: 33011
#   total CPU time (s): 3589.65
#   total CPU user time (s): 3586.25
#   total CPU system time (s): 3.39682

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8042 second user time and 32.0088 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-31 02:55:21
IDJOB=4464703
IDBENCH=164221
IDSOLVER=3092
FILE ID=nodeC004/4464703-1722387321
RUNJOBID= nodeC004-1722378594-28233
SLURM_JOB_ID= 8249834
Free space on /tmp= 723684 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-neos-948346.0.s.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-4464703-1722387321/watcher-4464703-1722387321 -o /tmp/evaluation-result-4464703-1722387321/solver-4464703-1722387321 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722378594-28233 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464703-1722387321.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= fa44fc9c0c30a6a8030f0b23aafff6c8
RANDOM SEED=292526229

nodeC004.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		: 3660.843
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.85
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		: 3404.118
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.39
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.391
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.85
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		: 1246.689
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.39
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		: 3675.339
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.85
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		: 3671.792
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.39
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.268
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.85
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.400
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124602340 kB
MemAvailable:   125631920 kB
Buffers:          102648 kB
Cached:          1761152 kB
SwapCached:            0 kB
Active:           270480 kB
Inactive:        6341380 kB
Active(anon):       1432 kB
Inactive(anon):  4767952 kB
Active(file):     269048 kB
Inactive(file):  1573428 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             34288 kB
Writeback:             4 kB
AnonPages:       4747632 kB
Mapped:           125908 kB
Shmem:             21320 kB
KReclaimable:      54604 kB
Slab:             130764 kB
SReclaimable:      54604 kB
SUnreclaim:        76160 kB
KernelStack:        3984 kB
PageTables:        18880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2657064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6976 kB
HardwareCorrupted:     0 kB
AnonHugePages:    751616 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:      172872 kB
DirectMap2M:     9168896 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723748 MiB
End job on nodeC004 at 2024-07-31 03:55:20