Trace number 4452280

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02? 3591.7 3600.85

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: 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.79/0.80	c Default LC presolving (default).
0.79/0.80	c ** Before presolving: virtualMemUsedAtLc = 272727757, getVmSize() = 227545088, SCIPgetMemUsed() = 176212846, SCIPgetMemTotal() = 203270838, SCIPgetMemExternEstim() = 69456919
0.79/0.80	c ** set memory limit for presolving in LC to 8.79601e+12 for SCIP **
103.16/103.41	c ** Estimated virtualMemUsedAtSolver = 660597731, getVmSize() = 987582464, SCIPgetMemUsed() = 701749470, SCIPgetMemTotal() = 921439678, SCIPgetMemExternEstim() = 69456919
103.16/103.41	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
103.16/103.41	c Original Problem   :
103.16/103.41	c   Problem name     : instance-4452280-1721429134
103.16/103.41	c   Variables        : 57855 (57855 binary, 0 integer, 0 implicit integer, 0 continuous)
103.16/103.41	c   Constraints      : 1571
103.16/103.41	c   Objective sense  : minimize
103.16/103.41	c Presolved Problem  :
103.16/103.41	c   Variables        : 51334 (51334 binary, 0 integer, 0 implicit integer, 0 continuous)
103.16/103.41	c   Constraints      : 20518
103.16/103.41	c Constraints        : Number
103.16/103.41	c   knapsack         : 752 
103.16/103.41	c   setppc           : 19402 
103.16/103.41	c   orbitope         : 319 
103.16/103.41	c   logicor          : 45 
103.16/103.41	c ** Instance transfer method used: 0
103.36/103.60	c ** ParaScipInstance copy increased the number of variables. **
103.76/104.06	c LC is working with racing ramp-up and with rebuilding tree after racing.
103.76/104.06	c                                Nodes    Active                                            
103.76/104.06	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
530.42/531.89	c       532              2           1         1                -           0.0000          -
608.43/610.02	c       610              5           4         1                -           0.0000          -
634.75/636.41	c       636              6           5         1                -           0.0000          -
681.53/683.35	c       683              7           6         1                -           0.0000          -
728.99/730.94	c       731              8           7         1                -           0.0000          -
750.34/752.30	c       752              9           8         1                -           0.0000          -
812.99/815.17	c       815             12          11         1                -           0.0000          -
818.17/820.30	c       820             15          14         1                -           0.0000          -
852.18/854.43	c       854             17          16         1                -           0.0000          -
875.22/877.56	c       878             20          19         1                -           0.0000          -
917.11/919.57	c       920             22          21         1                -           0.0000          -
949.72/952.28	c       952             24          23         1                -           0.0000          -
955.30/957.88	c       958             29          24         1                -           0.0000          -
975.57/978.12	c       978             33          26         1                -           0.0000          -
994.00/996.60	c       997             36          29         1                -           0.0000          -
1006.68/1009.34	c      1009             38          31         1                -           0.0000          -
1021.54/1024.27	c      1024             39          32         1                -           0.0000          -
1038.49/1041.29	c      1041             41          34         1                -           0.0000          -
1045.77/1048.59	c      1049             43          36         1                -           0.0000          -
1077.09/1079.99	c      1080             45          38         1                -           0.0000          -
1094.74/1097.60	c      1098             48          41         1                -           0.0000          -
1109.50/1112.41	c      1112             49          42         1                -           0.0000          -
1118.28/1121.26	c      1121             51          44         1                -           0.0000          -
1134.94/1137.93	c      1138             52          45         1                -           0.0000          -
1140.31/1143.38	c      1143             53          46         1                -           0.0000          -
1154.58/1157.64	c      1158             54          47         1                -           0.0000          -
1173.94/1177.03	c      1177             59          48         1                -           0.0000          -
1187.91/1191.06	c      1191             60          49         1                -           0.0000          -
1203.15/1206.34	c      1206             67          50         1                -           0.0000          -
1220.31/1223.57	c      1224             71          52         1                -           0.0000          -
1238.56/1241.84	c      1242             80          51         1                -           0.0000          -
1257.61/1261.01	c      1261             91          50         1                -           0.0000          -
1280.54/1283.91	c      1284             95          50         1                -           0.0000          -
1289.74/1293.11	c      1293            115          46         1                -           0.0000          -
1296.62/1300.02	c      1300            117          46         1                -           0.0000          -
1303.09/1306.53	c      1307            120          49         1                -           0.0000          -
1319.95/1323.40	c      1323            126          51         1                -           0.0000          -
1338.89/1342.48	c      1342            127          52         1                -           0.0000          -
1344.18/1347.70	c      1348            130          53         1                -           0.0000          -
1360.55/1364.11	c      1364            131          54         1                -           0.0000          -
1380.59/1384.24	c      1384            147          52         1                -           0.0000          -
1385.68/1389.35	c      1389            148          53         1                -           0.0000          -
1400.35/1404.09	c      1404            149          54         1                -           0.0000          -
1414.10/1417.82	c      1418            157          54         1                -           0.0000          -
1421.78/1425.57	c      1426            159          56         1                -           0.0000          -
1431.56/1435.39	c      1435            174          57         1                -           0.0000          -
1442.13/1446.01	c      1446            177          58         1                -           0.0000          -
1480.32/1484.27	c      1484            183          57         1                -           0.0000          -
1501.37/1505.34	c      1505            186          58         1                -           0.0000          -
1507.76/1511.76	c      1512            190          58         1                -           0.0000          -
1524.13/1528.11	c      1528            193          59         1                -           0.0000          -
1546.65/1550.73	c      1551            195          59         1                -           0.0000          -
1570.39/1574.51	c      1575            199          59         1                -           0.0000          -
1578.88/1583.01	c      1583            203          61         1                -           0.0000          -
1597.43/1601.68	c      1602            206          62         1                -           0.0000          -
1616.98/1621.28	c      1621            207          63         1                -           0.0000          -
1635.64/1640.01	c      1640            216          62         1                -           0.0000          -
1642.32/1646.68	c      1647            233          61         1                -           0.0000          -
1650.40/1654.74	c      1655            234          62         1                -           0.0000          -
1676.04/1680.41	c      1680            236          64         1                -           0.0000          -
1693.49/1697.99	c      1698            238          66         1                -           0.0000          -
1707.95/1712.48	c      1712            239          67         1                -           0.0000          -
1713.14/1717.66	c      1718            240          66         1                -           0.0000          -
1734.88/1739.46	c      1739            242          66         1                -           0.0000          -
1745.06/1749.63	c      1750            244          66         1                -           0.0000          -
1750.84/1755.49	c      1755            246          66         1                -           0.0000          -
1772.09/1776.76	c      1777            249          67         1                -           0.0000          -
1788.25/1792.96	c      1793            251          69         1                -           0.0000          -
1806.32/1811.01	c      1811            252          68         1                -           0.0000          -
1815.58/1820.30	c      1820            254          70         1                -           0.0000          -
1831.14/1835.95	c      1836            256          72         1                -           0.0000          -
1844.90/1849.78	c      1850            257          73         1                -           0.0000          -
1858.77/1863.69	c      1864            260          72         1                -           0.0000          -
1881.81/1886.70	c      1887            264          72         1                -           0.0000          -
1900.76/1905.77	c      1906            266          74         1                -           0.0000          -
1923.20/1928.23	c      1928            267          75         1                -           0.0000          -
1930.19/1935.27	c      1935            271          77         1                -           0.0000          -
1936.87/1941.94	c      1942            272          76         1                -           0.0000          -
1943.66/1948.77	c      1949            274          78         1                -           0.0000          -
1957.32/1962.45	c      1962            277          79         1                -           0.0000          -
1974.57/1979.70	c      1980            281          81         1                -           0.0000          -
1984.75/1989.97	c      1990            282          80         1                -           0.0000          -
1991.03/1996.21	c      1996            283          81         1                -           0.0000          -
1997.12/2002.37	c      2002            284          80         1                -           0.0000          -
2013.17/2018.49	c      2018            286          82         1                -           0.0000          -
2023.55/2028.80	c      2029            287          81         1                -           0.0000          -
2046.09/2051.45	c      2051            289          81         1                -           0.0000          -
2052.69/2058.03	c      2058            290          82         1                -           0.0000          -
2071.34/2076.71	c      2077            291          83         1                -           0.0000          -
2087.71/2093.16	c      2093            292          84         1                -           0.0000          -
2119.81/2125.36	c      2125            295          87         1                -           0.0000          -
2144.47/2150.01	c      2150            297          89         1                -           0.0000          -
2152.93/2158.50	c      2158            298          88         1                -           0.0000          -
2158.82/2164.40	c      2164            299          89         1                -           0.0000          -
2169.89/2175.51	c      2176            300          88         1                -           0.0000          -
2204.31/2210.02	c      2210            302          88         1                -           0.0000          -
2240.91/2246.78	c      2247            304          90         1                -           0.0000          -
2259.06/2264.90	c      2265            305          91         1                -           0.0000          -
2269.03/2274.98	c      2275            308          92         1                -           0.0000          -
2296.86/2302.86	c      2303            309          93         1                -           0.0000          -
2333.17/2339.28	c      2339            311          95         1                -           0.0000          -
2346.84/2352.94	c      2353            313          97         1                -           0.0000          -
2361.51/2367.62	c      2368            314          98         1                -           0.0000          -
2367.59/2373.73	c      2374            315          97         1                -           0.0000          -
2441.09/2447.43	c      2447            317          99         1                -           0.0000          -
2458.54/2464.91	c      2465            319         101         1                -           0.0000          -
2478.09/2484.51	c      2485            320         100         1                -           0.0000          -
2499.24/2505.79	c      2506            322         100         1                -           0.0000          -
2505.42/2511.99	c      2512            324         100         1                -           0.0000          -
2522.28/2528.89	c      2529            326         102         1                -           0.0000          -
2535.05/2541.65	c      2542            327         103         1                -           0.0000          -
2542.83/2549.44	c      2549            328         102         1                -           0.0000          -
2552.01/2558.65	c      2559            332         102         1                -           0.0000          -
2567.39/2574.03	c      2574            334         104         1                -           0.0000          -
2577.26/2583.92	c      2584            337         103         1                -           0.0000          -
2586.63/2593.31	c      2593            341         103         1                -           0.0000          -
2597.50/2604.27	c      2604            345         105         1                -           0.0000          -
2611.86/2618.61	c      2619            346         106         1                -           0.0000          -
2657.05/2664.01	c      2664            347         107         1                -           0.0000          -
2674.90/2681.89	c      2682            349         109         1                -           0.0000          -
2699.23/2706.24	c      2706            350         110         1                -           0.0000          -
2704.72/2711.72	c      2712            351         111         1                -           0.0000          -
2711.70/2718.76	c      2719            353         111         1                -           0.0000          -
2719.28/2726.38	c      2726            355         113         1                -           0.0000          -
2724.67/2731.70	c      2732            356         112         1                -           0.0000          -
2741.72/2748.88	c      2749            359         113         1                -           0.0000          -
2750.70/2757.85	c      2758            361         113         1                -           0.0000          -
2757.09/2764.28	c      2764            366         114         1                -           0.0000          -
2773.06/2780.24	c      2780            370         114         1                -           0.0000          -
2848.47/2855.86	c      2856            372         116         1                -           0.0000          -
2859.55/2867.01	c      2867            376         116         1                -           0.0000          -
2866.33/2873.70	c      2874            381         121         1                -           0.0000          -
2882.70/2890.16	c      2890            382         122         1                -           0.0000          -
2899.85/2907.33	c      2907            384         124         1                -           0.0000          -
2918.00/2925.57	c      2926            385         123         1                -           0.0000          -
2937.16/2944.77	c      2945            387         123         1                -           0.0000          -
2953.22/2960.85	c      2961            389         125         1                -           0.0000          -
2971.67/2979.37	c      2979            392         126         1                -           0.0000          -
2976.86/2984.53	c      2985            393         125         1                -           0.0000          -
2994.61/3002.36	c      3002            395         125         1                -           0.0000          -
3003.09/3010.86	c      3011            397         125         1                -           0.0000          -
3029.24/3037.08	c      3037            399         125         1                -           0.0000          -
3059.53/3067.47	c      3067            402         126         1                -           0.0000          -
3077.19/3085.14	c      3085            404         128         1                -           0.0000          -
3095.32/3103.36	c      3103            405         127         1                -           0.0000          -
3112.86/3120.90	c      3121            408         128         1                -           0.0000          -
3131.80/3140.01	c      3140            410         128         1                -           0.0000          -
3137.01/3145.14	c      3145            411         129         1                -           0.0000          -
3158.85/3167.08	c      3167            412         128         1                -           0.0000          -
3165.42/3173.61	c      3174            414         130         1                -           0.0000          -
3170.70/3178.93	c      3179            416         130         1                -           0.0000          -
3178.38/3186.62	c      3187            417         129         1                -           0.0000          -
3184.67/3192.95	c      3193            421         131         1                -           0.0000          -
3200.63/3208.93	c      3209            422         132         1                -           0.0000          -
3214.39/3222.77	c      3223            423         133         1                -           0.0000          -
3220.57/3228.97	c      3229            426         132         1                -           0.0000          -
3239.32/3247.76	c      3248            428         132         1                -           0.0000          -
3259.37/3267.89	c      3268            430         132         1                -           0.0000          -
3279.33/3287.83	c      3288            432         132         1                -           0.0000          -
3286.82/3295.38	c      3295            434         134         1                -           0.0000          -
3301.29/3309.85	c      3310            435         135         1                -           0.0000          -
3310.27/3318.88	c      3319            438         134         1                -           0.0000          -
3326.44/3335.04	c      3335            440         136         1                -           0.0000          -
3348.78/3357.43	c      3357            443         135         1                -           0.0000          -
3356.07/3364.76	c      3365            445         135         1                -           0.0000          -
3381.91/3390.66	c      3391            447         137         1                -           0.0000          -
3396.78/3405.51	c      3406            449         139         1                -           0.0000          -
3418.82/3427.63	c      3428            452         140         1                -           0.0000          -
3434.69/3443.59	c      3444            455         141         1                -           0.0000          -
3448.27/3457.11	c      3457            456         142         1                -           0.0000          -
3472.71/3481.69	c      3482            459         141         1                -           0.0000          -
3486.28/3495.20	c      3495            461         143         1                -           0.0000          -
3493.76/3502.71	c      3503            464         142         1                -           0.0000          -
3507.04/3516.06	c      3516            466         142         1                -           0.0000          -
3523.30/3532.35	c      3532            468         144         1                -           0.0000          -
3537.27/3546.34	c      3546            469         145         1                -           0.0000          -
3556.42/3565.51	c      3566            472         146         1                -           0.0000          -
3582.97/3592.12	c      3592            473         147         1                -           0.0000          -
3589.45/3598.61	c      3599            475         147         1                -           0.0000          -
3591.14/3600.39	c SCIP Status        : c solving was interrupted [hard time limit reached]
3591.14/3600.39	c Total Time         : 3600.3900
3591.14/3600.39	c   solving          : 3600.3900
3591.14/3600.39	c   presolving       : 102.6108 (included in solving)
3591.14/3600.39	c B&B Tree           :
3591.14/3600.39	c   nodes (total)    : 1
3591.14/3600.39	c Solution           :
3591.14/3600.39	c   Solutions found  : 0
3591.14/3600.39	c   Primal Bound     :          -
3591.14/3600.39	c   Dual Bound       : +0.00000000000000e+00
3591.14/3600.39	c Gap                :          -
3591.64/3600.83	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 (59500 MiB free)
  memory of node 1: 64473 MiB (59413 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100102 s]*
/proc/loadavg: 4.68 4.29 4.22 5/248 1039049
/proc/meminfo: memFree=121716384/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=81332 memory=67168 CPUtime=0.1 cores=4,6
/proc/1039048/stat : 1039048 (fscip) R 1039045 1039048 1033539 0 -1 4194304 14713 0 0 0 6 4 0 0 20 0 1 0 195072213 83283968 16792 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 20333 16792 2318 3032 0 16733 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 81332 KiB
Current children cumulated memory: 67168 KiB

[startup+0.212889 s]*
/proc/loadavg: 4.68 4.29 4.22 5/248 1039049
/proc/meminfo: memFree=121696056/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=96508 memory=80976 CPUtime=0.21 cores=4,6
/proc/1039048/stat : 1039048 (fscip) R 1039045 1039048 1033539 0 -1 4194304 18168 0 0 0 16 5 0 0 20 0 1 0 195072213 98824192 20244 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 24127 20244 2318 3032 0 20527 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 96508 KiB
Current children cumulated memory: 80976 KiB

[startup+0.312528 s]*
/proc/loadavg: 4.68 4.29 4.22 5/248 1039049
/proc/meminfo: memFree=121692220/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=100400 memory=84672 CPUtime=0.31 cores=4,6
/proc/1039048/stat : 1039048 (fscip) R 1039045 1039048 1033539 0 -1 4194304 19087 0 0 0 26 5 0 0 20 0 1 0 195072213 102809600 21168 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 25100 21168 2318 3032 0 21500 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 100400 KiB
Current children cumulated memory: 84672 KiB

[startup+0.700357 s]
/proc/loadavg: 4.68 4.29 4.22 5/248 1039049
/proc/meminfo: memFree=121680328/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=180880 memory=167916 CPUtime=0.69 cores=4,6
/proc/1039048/stat : 1039048 (fscip) R 1039045 1039048 1033539 0 -1 4194304 41960 0 0 0 58 11 0 0 20 0 1 0 195072213 185221120 41979 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 45220 41979 2542 3032 0 41620 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 180880 KiB
Current children cumulated memory: 167916 KiB

[startup+1.50034 s]
/proc/loadavg: 4.68 4.29 4.22 5/248 1039049
/proc/meminfo: memFree=121545956/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=313656 memory=287640 CPUtime=1.48 cores=4,6
/proc/1039048/stat : 1039048 (fscip) R 1039045 1039048 1033539 0 -1 4194304 67768 0 0 0 131 17 0 0 20 0 1 0 195072213 321183744 71910 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 78414 71910 2622 3032 0 74814 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 313656 KiB
Current children cumulated memory: 287640 KiB

[startup+3.11298 s]
/proc/loadavg: 4.62 4.28 4.22 5/248 1039049
/proc/meminfo: memFree=121499632/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=295200 memory=277292 CPUtime=3.09 cores=4,6
/proc/1039048/stat : 1039048 (fscip) R 1039045 1039048 1033539 0 -1 4194304 76304 0 0 0 288 21 0 0 20 0 1 0 195072213 302284800 69323 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 73800 69323 2686 3032 0 70200 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 295200 KiB
Current children cumulated memory: 277292 KiB

[startup+6.30029 s]
/proc/loadavg: 4.62 4.28 4.22 5/248 1039051
/proc/meminfo: memFree=121376072/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=421416 memory=402652 CPUtime=6.27 cores=4,6
/proc/1039048/stat : 1039048 (fscip) R 1039045 1039048 1033539 0 -1 4194304 107740 0 0 0 602 25 0 0 20 0 1 0 195072213 431529984 100663 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 105354 100663 2718 3032 0 101754 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 421416 KiB
Current children cumulated memory: 402652 KiB

[startup+12.7003 s]
/proc/loadavg: 4.57 4.28 4.22 5/248 1039051
/proc/meminfo: memFree=121349760/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=447388 memory=425628 CPUtime=12.66 cores=4,6
/proc/1039048/stat : 1039048 (fscip) R 1039045 1039048 1033539 0 -1 4194304 113512 0 0 0 1239 27 0 0 20 0 1 0 195072213 458125312 106407 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 111847 106407 2734 3032 0 108247 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 447388 KiB
Current children cumulated memory: 425628 KiB

[startup+25.5004 s]
/proc/loadavg: 4.44 4.26 4.21 5/248 1039054
/proc/meminfo: memFree=121349536/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=447388 memory=425628 CPUtime=25.42 cores=4,6
/proc/1039048/stat : 1039048 (fscip) R 1039045 1039048 1033539 0 -1 4194304 113514 0 0 0 2515 27 0 0 20 0 1 0 195072213 458125312 106407 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 111847 106407 2734 3032 0 108247 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 447388 KiB
Current children cumulated memory: 425628 KiB

[startup+51.1125 s]
/proc/loadavg: 4.29 4.24 4.20 5/248 1039057
/proc/meminfo: memFree=120975788/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=893484 memory=796564 CPUtime=50.97 cores=4,6
/proc/1039048/stat : 1039048 (fscip) R 1039045 1039048 1033539 0 -1 4194304 199089 0 0 0 5057 40 0 0 20 0 1 0 195072213 914927616 199141 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 223371 199141 2766 3032 0 219771 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 893484 KiB
Current children cumulated memory: 796564 KiB

[startup+102.3 s]
/proc/loadavg: 4.25 4.23 4.20 5/248 1039066
/proc/meminfo: memFree=120953520/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=897300 memory=800228 CPUtime=102.06 cores=4,6
/proc/1039048/stat : 1039048 (fscip) R 1039045 1039048 1033539 0 -1 4194304 199977 0 0 0 10165 41 0 0 20 0 1 0 195072213 918835200 200057 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 224325 200057 2766 3032 0 220725 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 897300 KiB
Current children cumulated memory: 800228 KiB

[startup+162.3 s]
/proc/loadavg: 4.27 4.24 4.20 5/250 1039078
/proc/meminfo: memFree=120254076/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=1628080 memory=1484724 CPUtime=161.87 cores=4,6
/proc/1039048/stat : 1039048 (fscip) S 1039045 1039048 1033539 0 -1 1077936128 606588 0 0 0 16096 91 0 0 20 0 3 0 195072213 1667153920 371181 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 407020 371181 2830 3032 0 400772 0
[pid=1039048/tid=1039067] ppid=1039045 vsize=1628080 memory=1341256 CPUtime=58.49 cores=4,6
/proc/1039048/task/1039067/stat : 1039067 (fscip) R 1039045 1039048 1033539 0 -1 4194368 377088 0 0 0 5804 45 0 0 20 0 3 0 195082554 1667153920 371181 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
[pid=1039048/tid=1039068] ppid=1039045 vsize=1628080 memory=12740 CPUtime=0 cores=4,6
/proc/1039048/task/1039068/stat : 1039068 (fscip) S 1039045 1039048 1033539 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 195082620 1667153920 371181 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1628080 KiB
Current children cumulated memory: 1484724 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.22 4.20 5/249 1039090
/proc/meminfo: memFree=119984716/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=1956640 memory=1732376 CPUtime=221.71 cores=4,6
/proc/1039048/stat : 1039048 (fscip) S 1039045 1039048 1033539 0 -1 1077936128 795154 0 0 0 22060 111 0 0 20 0 3 0 195072213 2003599360 433094 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 489160 433094 2910 3032 0 481863 0
[pid=1039048/tid=1039067] ppid=1039045 vsize=1956640 memory=1484724 CPUtime=118.32 cores=4,6
/proc/1039048/task/1039067/stat : 1039067 (fscip) R 1039045 1039048 1033539 0 -1 4194368 565634 0 0 0 11767 65 0 0 20 0 3 0 195082554 2003599360 433094 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
[pid=1039048/tid=1039068] ppid=1039045 vsize=1956640 memory=50128 CPUtime=0 cores=4,6
/proc/1039048/task/1039068/stat : 1039068 (fscip) S 1039045 1039048 1033539 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 195082620 2003599360 433094 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 1956640 KiB
Current children cumulated memory: 1732376 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.18 4.18 5/249 1039100
/proc/meminfo: memFree=119940052/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=2022896 memory=1767656 CPUtime=281.55 cores=4,6
/proc/1039048/stat : 1039048 (fscip) S 1039045 1039048 1033539 0 -1 1077936128 872171 0 0 0 28038 117 0 0 20 0 3 0 195072213 2071445504 441914 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 505724 441914 2926 3032 0 490987 0
[pid=1039048/tid=1039067] ppid=1039045 vsize=2022896 memory=12740 CPUtime=178.17 cores=4,6
/proc/1039048/task/1039067/stat : 1039067 (fscip) R 1039045 1039048 1033539 0 -1 4194368 642643 0 0 0 17746 71 0 0 20 0 3 0 195082554 2071445504 441914 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
[pid=1039048/tid=1039068] ppid=1039045 vsize=2022896 memory=-7736474891345946231 CPUtime=0 cores=4,6
/proc/1039048/task/1039068/stat : 1039068 (fscip) S 1039045 1039048 1033539 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 195082620 2071445504 441914 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 2022896 KiB
Current children cumulated memory: 1767656 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.17 4.18 5/251 1039114
/proc/meminfo: memFree=119895856/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=2095580 memory=1809908 CPUtime=341.4 cores=4,6
/proc/1039048/stat : 1039048 (fscip) S 1039045 1039048 1033539 0 -1 1077936128 971244 0 0 0 34016 124 0 0 20 0 3 0 195072213 2145873920 452477 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 523895 452477 2926 3032 0 502777 0
[pid=1039048/tid=1039067] ppid=1039045 vsize=2095580 memory=1792844 CPUtime=238.01 cores=4,6
/proc/1039048/task/1039067/stat : 1039067 (fscip) R 1039045 1039048 1033539 0 -1 4194368 741708 0 0 0 23723 78 0 0 20 0 3 0 195082554 2145873920 452477 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
[pid=1039048/tid=1039068] ppid=1039045 vsize=2095580 memory=1767372 CPUtime=0 cores=4,6
/proc/1039048/task/1039068/stat : 1039068 (fscip) S 1039045 1039048 1033539 0 -1 1077936192 78 0 0 0 0 0 0 0 20 0 3 0 195082620 2145873920 452477 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 2095580 KiB
Current children cumulated memory: 1809908 KiB


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


[startup+3402.3 s]
/proc/loadavg: 1.57 3.23 3.83 2/225 1040934
/proc/meminfo: memFree=122178072/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=2357724 memory=2212584 CPUtime=3393.58 cores=4,6
/proc/1039048/stat : 1039048 (fscip) S 1039045 1039048 1033539 0 -1 1077936128 2356146 0 0 0 339131 227 0 0 20 0 3 0 195072213 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 589431 553146 2974 3032 0 583370 0
[pid=1039048/tid=1039067] ppid=1039045 vsize=2357724 memory=2212584 CPUtime=3290.11 cores=4,6
/proc/1039048/task/1039067/stat : 1039067 (fscip) R 1039045 1039048 1033539 0 -1 4194368 2125193 0 0 0 328837 174 0 0 20 0 3 0 195082554 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
[pid=1039048/tid=1039068] ppid=1039045 vsize=2357724 memory=2212584 CPUtime=0.05 cores=4,6
/proc/1039048/task/1039068/stat : 1039068 (fscip) S 1039045 1039048 1033539 0 -1 1077936192 511 0 0 0 1 4 0 0 20 0 3 0 195082620 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
Current children cumulated CPU time: 3393.58 s
Current children cumulated vsize: 2357724 KiB
Current children cumulated memory: 2212584 KiB

[startup+3462.3 s]
/proc/loadavg: 1.26 2.84 3.66 2/225 1040945
/proc/meminfo: memFree=122177744/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=2357724 memory=2212584 CPUtime=3453.46 cores=4,6
/proc/1039048/stat : 1039048 (fscip) S 1039045 1039048 1033539 0 -1 1077936128 2360237 0 0 0 345118 228 0 0 20 0 3 0 195072213 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 589431 553146 2974 3032 0 583370 0
[pid=1039048/tid=1039067] ppid=1039045 vsize=2357724 memory=2212584 CPUtime=3349.98 cores=4,6
/proc/1039048/task/1039067/stat : 1039067 (fscip) R 1039045 1039048 1033539 0 -1 4194368 2129246 0 0 0 334823 175 0 0 20 0 3 0 195082554 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
[pid=1039048/tid=1039068] ppid=1039045 vsize=2357724 memory=2212584 CPUtime=0.05 cores=4,6
/proc/1039048/task/1039068/stat : 1039068 (fscip) S 1039045 1039048 1033539 0 -1 1077936192 519 0 0 0 1 4 0 0 20 0 3 0 195082620 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
Current children cumulated CPU time: 3453.46 s
Current children cumulated vsize: 2357724 KiB
Current children cumulated memory: 2212584 KiB

[startup+3522.3 s]
/proc/loadavg: 1.23 2.55 3.51 2/225 1040955
/proc/meminfo: memFree=122177556/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=2357724 memory=2212584 CPUtime=3513.32 cores=4,6
/proc/1039048/stat : 1039048 (fscip) S 1039045 1039048 1033539 0 -1 1077936128 2364230 0 0 0 351103 229 0 0 20 0 3 0 195072213 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 589431 553146 2974 3032 0 583370 0
[pid=1039048/tid=1039067] ppid=1039045 vsize=2357724 memory=2212584 CPUtime=3409.85 cores=4,6
/proc/1039048/task/1039067/stat : 1039067 (fscip) R 1039045 1039048 1033539 0 -1 4194368 2133216 0 0 0 340809 176 0 0 20 0 3 0 195082554 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
[pid=1039048/tid=1039068] ppid=1039045 vsize=2357724 memory=2212584 CPUtime=0.05 cores=4,6
/proc/1039048/task/1039068/stat : 1039068 (fscip) S 1039045 1039048 1033539 0 -1 1077936192 526 0 0 0 1 4 0 0 20 0 3 0 195082620 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
Current children cumulated CPU time: 3513.32 s
Current children cumulated vsize: 2357724 KiB
Current children cumulated memory: 2212584 KiB

[startup+3582.3 s]
/proc/loadavg: 1.14 2.28 3.35 2/225 1040966
/proc/meminfo: memFree=122177404/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=2357724 memory=2212584 CPUtime=3573.18 cores=4,6
/proc/1039048/stat : 1039048 (fscip) S 1039045 1039048 1033539 0 -1 1077936128 2367788 0 0 0 357089 229 0 0 20 0 3 0 195072213 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 589431 553146 2974 3032 0 583370 0
[pid=1039048/tid=1039067] ppid=1039045 vsize=2357724 memory=2212584 CPUtime=3469.71 cores=4,6
/proc/1039048/task/1039067/stat : 1039067 (fscip) R 1039045 1039048 1033539 0 -1 4194368 2136748 0 0 0 346795 176 0 0 20 0 3 0 195082554 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
[pid=1039048/tid=1039068] ppid=1039045 vsize=2357724 memory=12740 CPUtime=0.05 cores=4,6
/proc/1039048/task/1039068/stat : 1039068 (fscip) S 1039045 1039048 1033539 0 -1 1077936192 536 0 0 0 1 4 0 0 20 0 3 0 195082620 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
Current children cumulated CPU time: 3573.18 s
Current children cumulated vsize: 2357724 KiB
Current children cumulated memory: 2212584 KiB

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

# cumulated CPU time of all completed processes:  user=3589.36 s, system=2.3378 s

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

[startup+3584 s]*
/proc/loadavg: 1.13 2.26 3.34 2/225 1040967
/proc/meminfo: memFree=122177068/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=2357724 memory=2212584 CPUtime=3574.89 cores=4,6
/proc/1039048/stat : 1039048 (fscip) S 1039045 1039048 1033539 0 -1 1077936128 2367793 0 0 0 357260 229 0 0 20 0 3 0 195072213 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 589431 553146 2974 3032 0 583370 0
[pid=1039048/tid=1039067] ppid=1039045 vsize=2357724 memory=280369425608079 CPUtime=3471.41 cores=4,6
/proc/1039048/task/1039067/stat : 1039067 (fscip) R 1039045 1039048 1033539 0 -1 4194368 2136753 0 0 0 346965 176 0 0 20 0 3 0 195082554 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
[pid=1039048/tid=1039068] ppid=1039045 vsize=2357724 memory=280371975422208 CPUtime=0.05 cores=4,6
/proc/1039048/task/1039068/stat : 1039068 (fscip) S 1039045 1039048 1033539 0 -1 1077936192 536 0 0 0 1 4 0 0 20 0 3 0 195082620 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
Current children cumulated CPU time: 3574.89 s
Current children cumulated vsize: 2357724 KiB
Current children cumulated memory: 2212584 KiB

[startup+3590.4 s]
/proc/loadavg: 1.12 2.24 3.33 2/225 1040969
/proc/meminfo: memFree=122177228/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=2357724 memory=2212584 CPUtime=3581.26 cores=4,6
/proc/1039048/stat : 1039048 (fscip) S 1039045 1039048 1033539 0 -1 1077936128 2367805 0 0 0 357897 229 0 0 20 0 3 0 195072213 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 589431 553146 2974 3032 0 583370 0
[pid=1039048/tid=1039067] ppid=1039045 vsize=2357724 memory=50524 CPUtime=3477.79 cores=4,6
/proc/1039048/task/1039067/stat : 1039067 (fscip) R 1039045 1039048 1033539 0 -1 4194368 2136762 0 0 0 347603 176 0 0 20 0 3 0 195082554 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
[pid=1039048/tid=1039068] ppid=1039045 vsize=2357724 memory=2212584 CPUtime=0.05 cores=4,6
/proc/1039048/task/1039068/stat : 1039068 (fscip) S 1039045 1039048 1033539 0 -1 1077936192 539 0 0 0 1 4 0 0 20 0 3 0 195082620 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
Current children cumulated CPU time: 3581.26 s
Current children cumulated vsize: 2357724 KiB
Current children cumulated memory: 2212584 KiB

[startup+3596.8 s]
/proc/loadavg: 1.11 2.21 3.31 2/225 1040970
/proc/meminfo: memFree=122177144/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=2357724 memory=2212584 CPUtime=3587.65 cores=4,6
/proc/1039048/stat : 1039048 (fscip) S 1039045 1039048 1033539 0 -1 1077936128 2368999 0 0 0 358536 229 0 0 20 0 3 0 195072213 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 589431 553146 2974 3032 0 583370 0
[pid=1039048/tid=1039067] ppid=1039045 vsize=2357724 memory=11936 CPUtime=3484.17 cores=4,6
/proc/1039048/task/1039067/stat : 1039067 (fscip) R 1039045 1039048 1033539 0 -1 4194368 2137939 0 0 0 348241 176 0 0 20 0 3 0 195082554 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
[pid=1039048/tid=1039068] ppid=1039045 vsize=2357724 memory=5624 CPUtime=0.05 cores=4,6
/proc/1039048/task/1039068/stat : 1039068 (fscip) S 1039045 1039048 1033539 0 -1 1077936192 540 0 0 0 1 4 0 0 20 0 3 0 195082620 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
Current children cumulated CPU time: 3587.65 s
Current children cumulated vsize: 2357724 KiB
Current children cumulated memory: 2212584 KiB

[startup+3598.4 s]
/proc/loadavg: 1.11 2.21 3.31 2/225 1040970
/proc/meminfo: memFree=122177144/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=2357724 memory=2212584 CPUtime=3589.25 cores=4,6
/proc/1039048/stat : 1039048 (fscip) S 1039045 1039048 1033539 0 -1 1077936128 2369050 0 0 0 358696 229 0 0 20 0 3 0 195072213 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 589431 553146 2974 3032 0 583370 0
[pid=1039048/tid=1039067] ppid=1039045 vsize=2357724 memory=11936 CPUtime=3485.77 cores=4,6
/proc/1039048/task/1039067/stat : 1039067 (fscip) R 1039045 1039048 1033539 0 -1 4194368 2137990 0 0 0 348401 176 0 0 20 0 3 0 195082554 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
[pid=1039048/tid=1039068] ppid=1039045 vsize=2357724 memory=2212584 CPUtime=0.05 cores=4,6
/proc/1039048/task/1039068/stat : 1039068 (fscip) S 1039045 1039048 1033539 0 -1 1077936192 540 0 0 0 1 4 0 0 20 0 3 0 195082620 2414309376 553146 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
Current children cumulated CPU time: 3589.25 s
Current children cumulated vsize: 2357724 KiB
Current children cumulated memory: 2212584 KiB

[startup+3600 s]*
/proc/loadavg: 1.10 2.19 3.30 2/223 1040970
/proc/meminfo: memFree=122177216/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=2357724 memory=2212628 CPUtime=3590.85 cores=4,6
/proc/1039048/stat : 1039048 (fscip) S 1039045 1039048 1033539 0 -1 1077936128 2370288 0 0 0 358856 229 0 0 20 0 3 0 195072213 2414309376 553157 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 589431 553157 2974 3032 0 583370 0
[pid=1039048/tid=1039067] ppid=1039045 vsize=2357724 memory=-7383225827200243043 CPUtime=3487.39 cores=4,6
/proc/1039048/task/1039067/stat : 1039067 (fscip) R 1039045 1039048 1033539 0 -1 4194368 2139223 0 0 0 348562 177 0 0 20 0 3 0 195082554 2414309376 553157 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
[pid=1039048/tid=1039068] ppid=1039045 vsize=2357724 memory=-7097531092225842560 CPUtime=0.05 cores=4,6
/proc/1039048/task/1039068/stat : 1039068 (fscip) S 1039045 1039048 1033539 0 -1 1077936192 540 0 0 0 1 4 0 0 20 0 3 0 195082620 2414309376 553157 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
Current children cumulated CPU time: 3590.85 s
Current children cumulated vsize: 2357724 KiB
Current children cumulated memory: 2212628 KiB

[startup+3600.41 s]
/proc/loadavg: 1.10 2.19 3.30 2/223 1040970
/proc/meminfo: memFree=122177216/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=2161116 memory=2054124 CPUtime=3591.25 cores=4,6
/proc/1039048/stat : 1039048 (fscip) R 1039045 1039048 1033539 0 -1 4194304 2377300 0 0 0 358895 230 0 0 20 0 2 0 195072213 2212982784 513531 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 540279 513531 2974 3032 0 534352 0
[pid=1039048/tid=1039068] ppid=1039045 vsize=2161116 memory=12740 CPUtime=0.05 cores=4,6
/proc/1039048/task/1039068/stat : 1039068 (fscip) S 1039045 1039048 1033539 0 -1 1077936192 540 0 0 0 1 4 0 0 20 0 2 0 195082620 2212982784 513531 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
Current children cumulated CPU time: 3591.25 s
Current children cumulated vsize: 2161116 KiB
Current children cumulated memory: 2054124 KiB

[startup+3600.8 s]
/proc/loadavg: 1.10 2.19 3.30 2/223 1040970
/proc/meminfo: memFree=122177216/131655788 swapFree=131071996/131071996
[pid=1039048] ppid=1039045 vsize=2098112 memory=1990224 CPUtime=3591.64 cores=4,6
/proc/1039048/stat : 1039048 (fscip) R 1039045 1039048 1033539 0 -1 4194304 2380015 0 0 0 358933 231 0 0 20 0 1 0 195072213 2148466688 497556 134679101440 4194304 16613245 140728418688016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 28131328 140728418694163 140728418694279 140728418694279 140728418701296 0
/proc/1039048/statm: 524528 497556 2974 3032 0 518601 0
Current children cumulated CPU time: 3591.64 s
Current children cumulated vsize: 2098112 KiB
Current children cumulated memory: 1990224 KiB

Child status: 0

Real time (s): 3600.85
CPU time (s): 3591.7
CPU user time (s): 3589.36
CPU system time (s): 2.3378
CPU usage (%): 99.746
Max. virtual memory (cumulated for all children) (KiB): 2423260
Max. memory (cumulated for all children) (KiB): 2243736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.36
system time used= 2.3378
maximum resident set size= 2243736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2382477
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= 4066
involuntary context switches= 1530


# summary of solver processes directly reported to runsolver:
#   pid: 1039048
#   total CPU time (s): 3591.7
#   total CPU user time (s): 3589.36
#   total CPU system time (s): 2.3378

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0645 second user time and 35.3636 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-20 00:45:46
IDJOB=4452280
IDBENCH=164221
IDSOLVER=3064
FILE ID=nodeC005/4452280-1721429134
RUNJOBID= nodeC005-1721421610-1033550
SLURM_JOB_ID= 7545501
Free space on /tmp= 723684 MiB

SOLVER NAME= FiberSCIP 2024-07-02
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-4452280-1721429134/watcher-4452280-1721429134 -o /tmp/evaluation-result-4452280-1721429134/solver-4452280-1721429134 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033550 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4452280-1721429134.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= fa44fc9c0c30a6a8030f0b23aafff6c8
RANDOM SEED=21008048

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.360
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121768384 kB
MemAvailable:   127309692 kB
Buffers:          543800 kB
Cached:          5778408 kB
SwapCached:            0 kB
Active:          1156612 kB
Inactive:        8026192 kB
Active(anon):       3448 kB
Inactive(anon):  2902712 kB
Active(file):    1153164 kB
Inactive(file):  5123480 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             34168 kB
Writeback:             0 kB
AnonPages:       2859372 kB
Mapped:           144008 kB
Shmem:             45896 kB
KReclaimable:     209724 kB
Slab:             329160 kB
SReclaimable:     209724 kB
SUnreclaim:       119436 kB
KernelStack:        3984 kB
PageTables:        14896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2038960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61568 kB
HardwareCorrupted:     0 kB
AnonHugePages:    552960 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:      285512 kB
DirectMap2M:    36319232 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723748 MiB
End job on nodeC005 at 2024-07-20 01:45:47