Trace number 4426935

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? 3589.6 3601.84

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-18reduc_wcsp.wbo
MD5SUM85c9e899b779dcafda2f7e25c2fdc65d
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1758
Total number of constraints105203
Number of soft constraints105121
Number of constraints which are clauses105121
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint26
Top cost 3389
Min constraint cost 1
Max constraint cost 2436
Sum of constraints costs 36645766
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 27
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: 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.59/0.65	c Default LC presolving (default).
0.59/0.65	c ** Before presolving: virtualMemUsedAtLc = 657227705, getVmSize() = 406233088, SCIPgetMemUsed() = 354241457, SCIPgetMemTotal() = 365277969, SCIPgetMemExternEstim() = 291949736
0.59/0.65	c ** set memory limit for presolving in LC to 8.7959e+12 for SCIP **
68.89/69.15	c ** Estimated virtualMemUsedAtSolver = 873670721, getVmSize() = 1094561792, SCIPgetMemUsed() = 699560442, SCIPgetMemTotal() = 1018556346, SCIPgetMemExternEstim() = 291949736
68.89/69.15	c ** set memory limit for solvers to 4.39802e+12 for each SCIP **
68.89/69.15	c Original Problem   :
68.89/69.15	c   Problem name     : instance-4426935-1720906065
68.89/69.15	c   Variables        : 106879 (106879 binary, 0 integer, 0 implicit integer, 0 continuous)
68.89/69.15	c   Constraints      : 210325
68.89/69.15	c   Objective sense  : minimize
68.89/69.15	c Presolved Problem  :
68.89/69.15	c   Variables        : 211975 (106879 binary, 0 integer, 105096 implicit integer, 0 continuous)
68.89/69.15	c   Constraints      : 210325
68.89/69.15	c Constraints        : Number
68.89/69.15	c   knapsack         : 1 
68.89/69.15	c   setppc           : 82 
68.89/69.15	c   linear           : 105121 
68.89/69.15	c   indicator        : 105121 
68.89/69.15	c ** Instance transfer method used: 0
69.59/69.80	c ** ParaScipInstance copy increased the number of variables. **
70.18/70.46	c LC is working with racing ramp-up and with rebuilding tree after racing.
70.18/70.46	c                                Nodes    Active                                            
70.18/70.46	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
2144.24/2150.93	c      2151              2           1         1                -           0.0000          -
2151.61/2158.35	c      2158              3           2         1                -           0.0000          -
2159.28/2166.05	c      2166              4           3         1                -           0.0000          -
2173.91/2180.73	c      2181              5           4         1                -           0.0000          -
2182.38/2189.26	c      2189              6           5         1                -           0.0000          -
2193.92/2200.88	c      2201              7           6         1                -           0.0000          -
2204.88/2211.87	c      2212              8           7         1                -           0.0000          -
2214.54/2221.56	c      2222             10           9         1                -           0.0000          -
2228.88/2235.91	c      2236             11          10         1                -           0.0000          -
2238.44/2245.56	c      2246             12          11         1                -           0.0000          -
2245.01/2252.14	c      2252             13          12         1                -           0.0000          -
2250.58/2257.70	c      2258             14          13         1                -           0.0000          -
2265.42/2272.66	c      2273             15          14         1                -           0.0000          -
2273.28/2280.57	c      2281             16          15         1                -           0.0000          -
2288.32/2295.62	c      2296             17          16         1                -           0.0000          -
2298.49/2305.85	c      2306             18          17         1                -           0.0000          -
2304.46/2311.80	c      2312             19          18         1                -           0.0000          -
2311.23/2318.63	c      2319             20          19         1                -           0.0000          -
2319.08/2326.58	c      2327             21          20         1                -           0.0000          -
2330.15/2337.68	c      2338             22          21         1                -           0.0000          -
2342.09/2349.61	c      2350             23          22         1                -           0.0000          -
2358.15/2365.71	c      2366             24          21         1                -           0.0000          -
2366.01/2373.63	c      2374             25          22         1                -           0.0000          -
2372.28/2379.98	c      2380             26          23         1                -           0.0000          -
2387.82/2395.59	c      2396             27          24         1                -           0.0000          -
2393.78/2401.57	c      2402             28          25         1                -           0.0000          -
2402.45/2410.29	c      2410             29          26         1                -           0.0000          -
2416.79/2424.64	c      2425             30          27         1                -           0.0000          -
2425.86/2433.72	c      2434             31          28         1                -           0.0000          -
2431.15/2439.04	c      2439             40          37         1                -           0.0000          -
2440.31/2448.24	c      2448             46          43         1                -           0.0000          -
2456.74/2464.70	c      2465             53          50         1                -           0.0000          -
2466.71/2474.70	c      2475             59          56         1                -           0.0000          -
2475.48/2483.51	c      2484             72          69         1                -           0.0000          -
2481.16/2489.28	c      2489             78          77         1                -           0.0000          -
2488.93/2497.00	c      2497             84          81         1                -           0.0000          -
2505.47/2513.63	c      2514             88          85         1                -           0.0000          -
2511.25/2519.48	c      2519             94          91         1                -           0.0000          -
2529.88/2538.11	c      2538            104         101         1                -           0.0000          -
2543.51/2551.88	c      2552            110         107         1                -           0.0000          -
2557.06/2565.44	c      2565            119         118         1                -           0.0000          -
2565.63/2574.05	c      2574            124         121         1                -           0.0000          -
2573.89/2582.38	c      2582            133         130         1                -           0.0000          -
2582.46/2590.94	c      2591            139         136         1                -           0.0000          -
2588.34/2596.86	c      2597            147         144         1                -           0.0000          -
2595.72/2604.29	c      2604            158         155         1                -           0.0000          -
2610.06/2618.60	c      2619            163         160         1                -           0.0000          -
2627.87/2636.51	c      2637            177         174         1                -           0.0000          -
2641.43/2650.17	c      2650            180         177         1                -           0.0000          -
2650.69/2659.43	c      2659            188         185         1                -           0.0000          -
2661.65/2670.41	c      2670            202         191         1                -           0.0000          -
2671.71/2680.59	c      2681            209         198         1                -           0.0000          -
2684.87/2693.73	c      2694            218         207         1                -           0.0000          -
2690.93/2699.86	c      2700            220         209         1                -           0.0000          -
2696.81/2705.73	c      2706            229         218         1                -           0.0000          -
2702.09/2711.02	c      2711            238         223         1                -           0.0000          -
2723.62/2732.69	c      2733            239         224         1                -           0.0000          -
2729.49/2738.59	c      2739            241         226         1                -           0.0000          -
2736.56/2745.69	c      2746            247         232         1                -           0.0000          -
2769.24/2778.42	c      2778            258         243         1                -           0.0000          -
2776.62/2785.80	c      2786            262         247         1                -           0.0000          -
2781.81/2791.03	c      2791            275         257         1                -           0.0000          -
2787.18/2796.44	c      2796            278         260         1                -           0.0000          -
2792.45/2801.71	c      2802            284         266         1                -           0.0000          -
2797.74/2807.05	c      2807            299         269         1                -           0.0000          -
2803.00/2812.35	c      2812            302         272         1                -           0.0000          -
2808.67/2818.05	c      2818            310         280         1                -           0.0000          -
2814.06/2823.40	c      2823            317         282         1                -           0.0000          -
2824.80/2834.26	c      2834            330         291         1                -           0.0000          -
2833.27/2842.74	c      2843            335         294         1                -           0.0000          -
2848.30/2857.87	c      2858            340         299         1                -           0.0000          -
2856.65/2866.28	c      2866            350         309         1                -           0.0000          -
2867.21/2876.87	c      2877            358         313         1                -           0.0000          -
2872.18/2881.89	c      2882            371         320         1                -           0.0000          -
2878.46/2888.12	c      2888            381         324         1                -           0.0000          -
2883.53/2893.29	c      2893            391         334         1                -           0.0000          -
2892.41/2902.13	c      2902            398         337         1                -           0.0000          -
2897.68/2907.48	c      2907            406         345         1                -           0.0000          -
2902.87/2912.69	c      2913            411         348         1                -           0.0000          -
2910.74/2920.52	c      2921            418         353         1                -           0.0000          -
2922.00/2931.87	c      2932            427         360         1                -           0.0000          -
2931.76/2941.60	c      2942            433         366         1                -           0.0000          -
2939.14/2949.02	c      2949            450         377         1                -           0.0000          -
2955.48/2965.42	c      2965            451         378         1                -           0.0000          -
2961.46/2971.48	c      2971            454         381         1                -           0.0000          -
2967.44/2977.43	c      2977            463         390         1                -           0.0000          -
2973.91/2983.99	c      2984            470         395         1                -           0.0000          -
2980.38/2990.43	c      2990            478         394         1                -           0.0000          -
2990.73/3000.87	c      3001            486         402         1                -           0.0000          -
3002.09/3012.27	c      3012            500         412         1                -           0.0000          -
3008.57/3018.76	c      3019            504         414         1                -           0.0000          -
3016.34/3026.52	c      3027            507         417         1                -           0.0000          -
3022.02/3032.24	c      3032            515         425         1                -           0.0000          -
3027.20/3037.48	c      3037            530         434         1                -           0.0000          -
3036.78/3047.01	c      3047            531         435         1                -           0.0000          -
3042.95/3053.25	c      3053            533         437         1                -           0.0000          -
3048.43/3058.71	c      3059            540         444         1                -           0.0000          -
3059.68/3070.01	c      3070            553         457         1                -           0.0000          -
3065.56/3075.93	c      3076            555         459         1                -           0.0000          -
3075.22/3085.66	c      3086            561         465         1                -           0.0000          -
3080.49/3090.98	c      3091            569         471         1                -           0.0000          -
3088.67/3099.18	c      3099            584         476         1                -           0.0000          -
3094.64/3105.16	c      3105            587         477         1                -           0.0000          -
3104.51/3115.10	c      3115            594         484         1                -           0.0000          -
3110.38/3120.91	c      3121            612         490         1                -           0.0000          -
3116.66/3127.23	c      3127            613         491         1                -           0.0000          -
3122.73/3133.32	c      3133            618         492         1                -           0.0000          -
3128.10/3138.77	c      3139            626         500         1                -           0.0000          -
3135.68/3146.34	c      3146            635         509         1                -           0.0000          -
3151.33/3162.08	c      3162            636         510         1                -           0.0000          -
3162.09/3172.80	c      3173            640         514         1                -           0.0000          -
3172.36/3183.18	c      3183            647         521         1                -           0.0000          -
3178.14/3188.94	c      3189            662         530         1                -           0.0000          -
3184.71/3195.53	c      3196            669         533         1                -           0.0000          -
3190.39/3201.26	c      3201            672         536         1                -           0.0000          -
3195.47/3206.36	c      3206            682         544         1                -           0.0000          -
3203.25/3214.11	c      3214            689         548         1                -           0.0000          -
3209.52/3220.46	c      3220            702         559         1                -           0.0000          -
3215.30/3226.29	c      3226            714         561         1                -           0.0000          -
3220.78/3231.70	c      3232            718         563         1                -           0.0000          -
3226.35/3237.32	c      3237            728         573         1                -           0.0000          -
3233.53/3244.57	c      3245            744         574         1                -           0.0000          -
3239.81/3250.81	c      3251            749         579         1                -           0.0000          -
3245.27/3256.37	c      3256            759         587         1                -           0.0000          -
3255.94/3267.09	c      3267            765         589         1                -           0.0000          -
3263.12/3274.22	c      3274            770         594         1                -           0.0000          -
3269.19/3280.33	c      3280            778         599         1                -           0.0000          -
3277.06/3288.29	c      3288            779         600         1                -           0.0000          -
3282.75/3293.93	c      3294            790         609         1                -           0.0000          -
3290.72/3301.95	c      3302            802         615         1                -           0.0000          -
3295.70/3306.96	c      3307            808         621         1                -           0.0000          -
3301.29/3312.53	c      3313            811         624         1                -           0.0000          -
3312.36/3323.63	c      3324            822         625         1                -           0.0000          -
3318.23/3329.57	c      3330            823         626         1                -           0.0000          -
3324.01/3335.37	c      3335            833         636         1                -           0.0000          -
3330.79/3342.11	c      3342            842         639         1                -           0.0000          -
3346.74/3358.14	c      3358            849         640         1                -           0.0000          -
3355.61/3367.07	c      3367            859         648         1                -           0.0000          -
3360.98/3372.41	c      3372            865         654         1                -           0.0000          -
3368.36/3379.84	c      3380            871         656         1                -           0.0000          -
3374.43/3385.99	c      3386            884         661         1                -           0.0000          -
3379.53/3391.06	c      3391            887         662         1                -           0.0000          -
3385.30/3396.86	c      3397            892         667         1                -           0.0000          -
3390.77/3402.31	c      3402            894         669         1                -           0.0000          -
3395.86/3407.44	c      3407            903         674         1                -           0.0000          -
3408.42/3420.09	c      3420            904         675         1                -           0.0000          -
3413.60/3425.23	c      3425            919         678         1                -           0.0000          -
3423.26/3434.96	c      3435            928         683         1                -           0.0000          -
3432.63/3444.38	c      3444            935         690         1                -           0.0000          -
3441.40/3453.11	c      3453            939         694         1                -           0.0000          -
3448.87/3460.63	c      3461            949         704         1                -           0.0000          -
3455.15/3466.90	c      3467            958         704         1                -           0.0000          -
3461.13/3472.95	c      3473            969         713         1                -           0.0000          -
3470.39/3482.28	c      3482            971         715         1                -           0.0000          -
3475.88/3487.73	c      3488           1000         718         1                -           0.0000          -
3485.74/3497.64	c      3498           1011         725         1                -           0.0000          -
3496.11/3508.10	c      3508           1015         729         1                -           0.0000          -
3514.64/3526.63	c      3527           1041         741         1                -           0.0000          -
3521.81/3533.88	c      3534           1045         745         1                -           0.0000          -
3527.19/3539.26	c      3539           1053         753         1                -           0.0000          -
3533.26/3545.34	c      3545           1073         757         1                -           0.0000          -
3541.44/3553.58	c      3554           1077         759         1                -           0.0000          -
3549.80/3561.95	c      3562           1089         765         1                -           0.0000          -
3557.68/3569.82	c      3570           1094         770         1                -           0.0000          -
3566.54/3578.74	c      3579           1110         786         1                -           0.0000          -
3572.03/3584.27	c      3584           1118         794         1                -           0.0000          -
3577.81/3590.07	c      3590           1122         798         1                -           0.0000          -
3583.58/3595.89	c      3596           1124         800         1                -           0.0000          -
3588.96/3601.23	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.96/3601.23	c Total Time         : 3601.2400
3588.96/3601.23	c   solving          : 3601.2400
3588.96/3601.23	c   presolving       : 68.4989 (included in solving)
3588.96/3601.23	c B&B Tree           :
3588.96/3601.23	c   nodes (total)    : 1
3588.96/3601.23	c Solution           :
3588.96/3601.23	c   Solutions found  : 0
3588.96/3601.23	c   Primal Bound     :          -
3588.96/3601.23	c   Dual Bound       : +0.00000000000000e+00
3588.96/3601.23	c Gap                :          -
3589.46/3601.73	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426935-1720906065/watcher-4426935-1720906065 -o /tmp/evaluation-result-4426935-1720906065/solver-4426935-1720906065 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1720905425-723039 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426935-1720906065.wbo -qsol -t 3600 -sth 1 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=725088, runsolver pid=725085
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 4.10 4.00 3.62 5/260 725089
/proc/meminfo: memFree=124481180/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=77856 memory=66256 CPUtime=0.09 cores=5,7
/proc/725088/stat : 725088 (fscip) R 725085 725088 720886 0 -1 4194304 14472 0 0 0 8 1 0 0 20 0 1 0 142770643 79724544 16564 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 19464 16564 2318 3032 0 15864 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77856 KiB
Current children cumulated memory: 66256 KiB

[startup+0.205499 s]*
/proc/loadavg: 4.10 4.00 3.62 5/260 725089
/proc/meminfo: memFree=124431284/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=126812 memory=115212 CPUtime=0.2 cores=5,7
/proc/725088/stat : 725088 (fscip) R 725085 725088 720886 0 -1 4194304 26711 0 0 0 17 3 0 0 20 0 1 0 142770643 129855488 28803 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 31703 28803 2318 3032 0 28103 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 126812 KiB
Current children cumulated memory: 115212 KiB

[startup+0.305455 s]*
/proc/loadavg: 4.10 4.00 3.62 5/260 725089
/proc/meminfo: memFree=124385224/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=171812 memory=160016 CPUtime=0.3 cores=5,7
/proc/725088/stat : 725088 (fscip) R 725085 725088 720886 0 -1 4194304 37889 0 0 0 25 5 0 0 20 0 1 0 142770643 175935488 40004 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 42953 40004 2318 3032 0 39353 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 171812 KiB
Current children cumulated memory: 160016 KiB

[startup+0.700238 s]
/proc/loadavg: 4.10 4.00 3.62 5/260 725089
/proc/meminfo: memFree=124222824/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=420048 memory=404520 CPUtime=0.69 cores=5,7
/proc/725088/stat : 725088 (fscip) R 725085 725088 720886 0 -1 4194304 99710 0 0 0 56 13 0 0 20 0 1 0 142770643 430129152 101130 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 105012 101130 2590 3032 0 101412 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 420048 KiB
Current children cumulated memory: 404520 KiB

[startup+1.50024 s]
/proc/loadavg: 4.10 4.00 3.62 5/260 725089
/proc/meminfo: memFree=123994720/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=749736 memory=733804 CPUtime=1.49 cores=5,7
/proc/725088/stat : 725088 (fscip) R 725085 725088 720886 0 -1 4194304 181980 0 0 0 125 24 0 0 20 0 1 0 142770643 767729664 183451 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 187434 183451 2606 3032 0 183834 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 749736 KiB
Current children cumulated memory: 733804 KiB

[startup+3.10549 s]
/proc/loadavg: 4.10 4.00 3.62 5/260 725089
/proc/meminfo: memFree=123718264/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=846512 memory=825728 CPUtime=3.08 cores=5,7
/proc/725088/stat : 725088 (fscip) R 725085 725088 720886 0 -1 4194304 205475 0 0 0 281 27 0 0 20 0 1 0 142770643 866828288 206432 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 211628 206432 2654 3032 0 208028 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 846512 KiB
Current children cumulated memory: 825728 KiB

[startup+6.30023 s]
/proc/loadavg: 4.09 4.00 3.62 5/260 725090
/proc/meminfo: memFree=123717852/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=846512 memory=825728 CPUtime=6.27 cores=5,7
/proc/725088/stat : 725088 (fscip) R 725085 725088 720886 0 -1 4194304 205475 0 0 0 598 29 0 0 20 0 1 0 142770643 866828288 206432 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 211628 206432 2654 3032 0 208028 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 846512 KiB
Current children cumulated memory: 825728 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.00 3.62 5/260 725090
/proc/meminfo: memFree=123715280/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=846512 memory=825728 CPUtime=12.65 cores=5,7
/proc/725088/stat : 725088 (fscip) R 725085 725088 720886 0 -1 4194304 205475 0 0 0 1233 32 0 0 20 0 1 0 142770643 866828288 206432 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 211628 206432 2654 3032 0 208028 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 846512 KiB
Current children cumulated memory: 825728 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.02 3.63 5/261 725262
/proc/meminfo: memFree=123712452/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=846512 memory=825728 CPUtime=25.42 cores=5,7
/proc/725088/stat : 725088 (fscip) R 725085 725088 720886 0 -1 4194304 205475 0 0 0 2503 39 0 0 20 0 1 0 142770643 866828288 206432 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 211628 206432 2654 3032 0 208028 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 846512 KiB
Current children cumulated memory: 825728 KiB

[startup+51.1059 s]
/proc/loadavg: 4.09 4.01 3.64 5/261 725265
/proc/meminfo: memFree=123482888/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=846512 memory=825728 CPUtime=50.94 cores=5,7
/proc/725088/stat : 725088 (fscip) R 725085 725088 720886 0 -1 4194304 205475 0 0 0 5043 51 0 0 20 0 1 0 142770643 866828288 206432 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 211628 206432 2654 3032 0 208028 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 846512 KiB
Current children cumulated memory: 825728 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.03 3.67 5/263 725276
/proc/meminfo: memFree=121854432/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=2589372 memory=2426404 CPUtime=101.92 cores=5,7
/proc/725088/stat : 725088 (fscip) S 725085 725088 720886 0 -1 1077936128 820446 0 0 0 10061 131 0 0 20 0 3 0 142770643 2651516928 606601 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 647343 606601 2718 3032 0 640229 0
[pid=725088/tid=725270] ppid=725085 vsize=2589372 memory=2426404 CPUtime=32.31 cores=5,7
/proc/725088/task/725270/stat : 725270 (fscip) R 725085 725088 720886 0 -1 4194368 486673 0 0 0 3183 48 0 0 20 0 3 0 142777559 2651516928 606601 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
[pid=725088/tid=725271] ppid=725085 vsize=2589372 memory=2426404 CPUtime=0 cores=5,7
/proc/725088/task/725271/stat : 725271 (fscip) S 725085 725088 720886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 142777692 2651516928 606601 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 2589372 KiB
Current children cumulated memory: 2426404 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.03 3.70 5/265 725345
/proc/meminfo: memFree=121392436/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=3059768 memory=2816256 CPUtime=161.73 cores=5,7
/proc/725088/stat : 725088 (fscip) S 725085 725088 720886 0 -1 1077936128 1103843 0 0 0 16014 159 0 0 20 0 3 0 142770643 3133202432 704064 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 764942 704064 2750 3032 0 742022 0
[pid=725088/tid=725270] ppid=725085 vsize=3059768 memory=2816256 CPUtime=92.13 cores=5,7
/proc/725088/task/725270/stat : 725270 (fscip) R 725085 725088 720886 0 -1 4194368 770054 0 0 0 9136 77 0 0 20 0 3 0 142777559 3133202432 704064 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
[pid=725088/tid=725271] ppid=725085 vsize=3059768 memory=11604 CPUtime=0 cores=5,7
/proc/725088/task/725271/stat : 725271 (fscip) S 725085 725088 720886 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142777692 3133202432 704064 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 3059768 KiB
Current children cumulated memory: 2816256 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.04 3.73 5/263 725355
/proc/meminfo: memFree=121348612/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=3059768 memory=2836776 CPUtime=221.52 cores=5,7
/proc/725088/stat : 725088 (fscip) S 725085 725088 720886 0 -1 1077936128 1296964 0 0 0 21978 174 0 0 20 0 3 0 142770643 3133202432 709194 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 764942 709194 2750 3032 0 747392 0
[pid=725088/tid=725270] ppid=725085 vsize=3059768 memory=2816256 CPUtime=151.92 cores=5,7
/proc/725088/task/725270/stat : 725270 (fscip) R 725085 725088 720886 0 -1 4194368 963155 0 0 0 15100 92 0 0 20 0 3 0 142777559 3133202432 709194 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
[pid=725088/tid=725271] ppid=725085 vsize=3059768 memory=2836776 CPUtime=0 cores=5,7
/proc/725088/task/725271/stat : 725271 (fscip) S 725085 725088 720886 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 142777692 3133202432 709194 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 3059768 KiB
Current children cumulated memory: 2836776 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.06 3.76 5/263 725365
/proc/meminfo: memFree=121330204/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=3059768 memory=2836776 CPUtime=281.33 cores=5,7
/proc/725088/stat : 725088 (fscip) S 725085 725088 720886 0 -1 1077936128 1330978 0 0 0 27956 177 0 0 20 0 3 0 142770643 3133202432 709194 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 764942 709194 2750 3032 0 747392 0
[pid=725088/tid=725270] ppid=725085 vsize=3059768 memory=2836776 CPUtime=211.73 cores=5,7
/proc/725088/task/725270/stat : 725270 (fscip) R 725085 725088 720886 0 -1 4194368 997160 0 0 0 21078 95 0 0 20 0 3 0 142777559 3133202432 709194 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
[pid=725088/tid=725271] ppid=725085 vsize=3059768 memory=2836776 CPUtime=0 cores=5,7
/proc/725088/task/725271/stat : 725271 (fscip) S 725085 725088 720886 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 142777692 3133202432 709194 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 3059768 KiB
Current children cumulated memory: 2836776 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.05 3.77 5/263 725375
/proc/meminfo: memFree=121315848/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=3059768 memory=2837848 CPUtime=341.13 cores=5,7
/proc/725088/stat : 725088 (fscip) S 725085 725088 720886 0 -1 1077936128 1394706 0 0 0 33931 182 0 0 20 0 3 0 142770643 3133202432 709462 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 764942 709462 2750 3032 0 747648 0
[pid=725088/tid=725270] ppid=725085 vsize=3059768 memory=2836776 CPUtime=271.53 cores=5,7
/proc/725088/task/725270/stat : 725270 (fscip) R 725085 725088 720886 0 -1 4194368 1060873 0 0 0 27053 100 0 0 20 0 3 0 142777559 3133202432 709462 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
[pid=725088/tid=725271] ppid=725085 vsize=3059768 memory=2836776 CPUtime=0 cores=5,7
/proc/725088/task/725271/stat : 725271 (fscip) S 725085 725088 720886 0 -1 1077936192 81 0 0 0 0 0 0 0 20 0 3 0 142777692 3133202432 709462 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
Current children cumulated CPU time: 341.13 s

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

Current children cumulated CPU time: 3330.99 s
Current children cumulated vsize: 5434724 KiB
Current children cumulated memory: 4784812 KiB

[startup+3402.3 s]
/proc/loadavg: 2.93 3.83 3.99 3/244 727186
/proc/meminfo: memFree=121180144/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=5565796 memory=4792224 CPUtime=3390.77 cores=5,7
/proc/725088/stat : 725088 (fscip) S 725085 725088 720886 0 -1 1077936128 11238315 0 0 0 338273 804 0 0 20 0 3 0 142770643 5699375104 1198056 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 1391449 1198056 2990 3032 0 1359380 0
[pid=725088/tid=725270] ppid=725085 vsize=5565796 memory=4784532 CPUtime=3321.1 cores=5,7
/proc/725088/task/725270/stat : 725270 (fscip) R 725085 725088 720886 0 -1 4194368 10903448 0 0 0 331392 718 0 0 20 0 3 0 142777559 5699375104 1198056 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
[pid=725088/tid=725271] ppid=725085 vsize=5565796 memory=4784532 CPUtime=0.04 cores=5,7
/proc/725088/task/725271/stat : 725271 (fscip) S 725085 725088 720886 0 -1 1077936192 547 0 0 0 1 3 0 0 20 0 3 0 142777692 5699375104 1198056 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
Current children cumulated CPU time: 3390.77 s
Current children cumulated vsize: 5565796 KiB
Current children cumulated memory: 4792224 KiB

[startup+3462.3 s]
/proc/loadavg: 2.45 3.52 3.88 3/246 727580
/proc/meminfo: memFree=121172852/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=5696868 memory=4798752 CPUtime=3450.57 cores=5,7
/proc/725088/stat : 725088 (fscip) S 725085 725088 720886 0 -1 1077936128 11550361 0 0 0 344235 822 0 0 20 0 3 0 142770643 5833592832 1199688 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 1424217 1199688 2990 3032 0 1379147 0
[pid=725088/tid=725270] ppid=725085 vsize=5696868 memory=4784532 CPUtime=3380.89 cores=5,7
/proc/725088/task/725270/stat : 725270 (fscip) R 725085 725088 720886 0 -1 4194368 11215444 0 0 0 337353 736 0 0 20 0 3 0 142777559 5833592832 1199688 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
[pid=725088/tid=725271] ppid=725085 vsize=5696868 memory=4784532 CPUtime=0.04 cores=5,7
/proc/725088/task/725271/stat : 725271 (fscip) S 725085 725088 720886 0 -1 1077936192 553 0 0 0 1 3 0 0 20 0 3 0 142777692 5833592832 1199688 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
Current children cumulated CPU time: 3450.57 s
Current children cumulated vsize: 5696868 KiB
Current children cumulated memory: 4798752 KiB

[startup+3522.3 s]
/proc/loadavg: 1.69 3.12 3.71 2/237 727620
/proc/meminfo: memFree=123998664/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=5762404 memory=4801528 CPUtime=3510.36 cores=5,7
/proc/725088/stat : 725088 (fscip) S 725085 725088 720886 0 -1 1077936128 11810882 0 0 0 350200 836 0 0 20 0 3 0 142770643 5900701696 1200382 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 1440601 1200382 2990 3032 0 1403781 0
[pid=725088/tid=725270] ppid=725085 vsize=5762404 memory=11604 CPUtime=3440.67 cores=5,7
/proc/725088/task/725270/stat : 725270 (fscip) R 725085 725088 720886 0 -1 4194368 11475954 0 0 0 343318 749 0 0 20 0 3 0 142777559 5900701696 1200382 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
[pid=725088/tid=725271] ppid=725085 vsize=5762404 memory=4801528 CPUtime=0.04 cores=5,7
/proc/725088/task/725271/stat : 725271 (fscip) S 725085 725088 720886 0 -1 1077936192 560 0 0 0 1 3 0 0 20 0 3 0 142777692 5900701696 1200382 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
Current children cumulated CPU time: 3510.36 s
Current children cumulated vsize: 5762404 KiB
Current children cumulated memory: 4801528 KiB

[startup+3582.3 s]
/proc/loadavg: 1.30 2.75 3.55 2/237 727631
/proc/meminfo: memFree=123995528/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=5827940 memory=4804524 CPUtime=3570.13 cores=5,7
/proc/725088/stat : 725088 (fscip) S 725085 725088 720886 0 -1 1077936128 12017269 0 0 0 356166 847 0 0 20 0 3 0 142770643 5967810560 1201131 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 1456985 1201131 2990 3032 0 1408747 0
[pid=725088/tid=725270] ppid=725085 vsize=5827940 memory=4801528 CPUtime=3500.45 cores=5,7
/proc/725088/task/725270/stat : 725270 (fscip) R 725085 725088 720886 0 -1 4194368 11682315 0 0 0 349285 760 0 0 20 0 3 0 142777559 5967810560 1201131 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
[pid=725088/tid=725271] ppid=725085 vsize=5827940 memory=11604 CPUtime=0.04 cores=5,7
/proc/725088/task/725271/stat : 725271 (fscip) S 725085 725088 720886 0 -1 1077936192 563 0 0 0 1 3 0 0 20 0 3 0 142777692 5967810560 1201131 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
Current children cumulated CPU time: 3570.13 s
Current children cumulated vsize: 5827940 KiB
Current children cumulated memory: 4804524 KiB

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

# cumulated CPU time of all completed processes:  user=3580.9 s, system=8.70197 s

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

[startup+3584 s]*
/proc/loadavg: 1.30 2.75 3.55 2/237 727633
/proc/meminfo: memFree=123995500/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=5827940 memory=4804524 CPUtime=3571.83 cores=5,7
/proc/725088/stat : 725088 (fscip) S 725085 725088 720886 0 -1 1077936128 12031387 0 0 0 356335 848 0 0 20 0 3 0 142770643 5967810560 1201131 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 1456985 1201131 2990 3032 0 1408747 0
[pid=725088/tid=725270] ppid=725085 vsize=5827940 memory=6720665462868622447 CPUtime=3502.15 cores=5,7
/proc/725088/task/725270/stat : 725270 (fscip) R 725085 725088 720886 0 -1 4194368 11696424 0 0 0 349454 761 0 0 20 0 3 0 142777559 5967810560 1201131 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
[pid=725088/tid=725271] ppid=725085 vsize=5827940 memory=-8693842179048259230 CPUtime=0.04 cores=5,7
/proc/725088/task/725271/stat : 725271 (fscip) S 725085 725088 720886 0 -1 1077936192 563 0 0 0 1 3 0 0 20 0 3 0 142777692 5967810560 1201131 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
Current children cumulated CPU time: 3571.83 s
Current children cumulated vsize: 5827940 KiB
Current children cumulated memory: 4804524 KiB

[startup+3590.4 s]
/proc/loadavg: 1.25 2.69 3.52 2/237 727633
/proc/meminfo: memFree=123995500/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=5827940 memory=4804524 CPUtime=3578.2 cores=5,7
/proc/725088/stat : 725088 (fscip) S 725085 725088 720886 0 -1 1077936128 12035418 0 0 0 356972 848 0 0 20 0 3 0 142770643 5967810560 1201131 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 1456985 1201131 2990 3032 0 1408747 0
[pid=725088/tid=725270] ppid=725085 vsize=5827940 memory=12576 CPUtime=3508.52 cores=5,7
/proc/725088/task/725270/stat : 725270 (fscip) R 725085 725088 720886 0 -1 4194368 11700446 0 0 0 350091 761 0 0 20 0 3 0 142777559 5967810560 1201131 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
[pid=725088/tid=725271] ppid=725085 vsize=5827940 memory=6720665462868622447 CPUtime=0.04 cores=5,7
/proc/725088/task/725271/stat : 725271 (fscip) S 725085 725088 720886 0 -1 1077936192 563 0 0 0 1 3 0 0 20 0 3 0 142777692 5967810560 1201131 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
Current children cumulated CPU time: 3578.2 s
Current children cumulated vsize: 5827940 KiB
Current children cumulated memory: 4804524 KiB

[startup+3596.8 s]
/proc/loadavg: 1.23 2.66 3.50 2/237 727635
/proc/meminfo: memFree=123995408/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=5827940 memory=4804524 CPUtime=3584.58 cores=5,7
/proc/725088/stat : 725088 (fscip) S 725085 725088 720886 0 -1 1077936128 12038377 0 0 0 357610 848 0 0 20 0 3 0 142770643 5967810560 1201131 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 1456985 1201131 2990 3032 0 1408747 0
[pid=725088/tid=725270] ppid=725085 vsize=5827940 memory=4804524 CPUtime=3514.89 cores=5,7
/proc/725088/task/725270/stat : 725270 (fscip) R 725085 725088 720886 0 -1 4194368 11703405 0 0 0 350728 761 0 0 20 0 3 0 142777559 5967810560 1201131 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
[pid=725088/tid=725271] ppid=725085 vsize=5827940 memory=279572977918080 CPUtime=0.04 cores=5,7
/proc/725088/task/725271/stat : 725271 (fscip) S 725085 725088 720886 0 -1 1077936192 563 0 0 0 1 3 0 0 20 0 3 0 142777692 5967810560 1201131 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
Current children cumulated CPU time: 3584.58 s
Current children cumulated vsize: 5827940 KiB
Current children cumulated memory: 4804524 KiB

[startup+3600 s]*
/proc/loadavg: 1.21 2.63 3.49 2/237 727635
/proc/meminfo: memFree=123995416/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=5827940 memory=4804524 CPUtime=3587.78 cores=5,7
/proc/725088/stat : 725088 (fscip) R 725085 725088 720886 0 -1 1077936128 12047892 0 0 0 357929 849 0 0 20 0 3 0 142770643 5967810560 1201131 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 1456985 1201131 2990 3032 0 1408747 0
[pid=725088/tid=725270] ppid=725085 vsize=5827940 memory=-6242758081835399876 CPUtime=3518.09 cores=5,7
/proc/725088/task/725270/stat : 725270 (fscip) R 725085 725088 720886 0 -1 4194368 11712920 0 0 0 351047 762 0 0 20 0 3 0 142777559 5967810560 1201131 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
[pid=725088/tid=725271] ppid=725085 vsize=5827940 memory=-8693842179048259230 CPUtime=0.04 cores=5,7
/proc/725088/task/725271/stat : 725271 (fscip) S 725085 725088 720886 0 -1 1077936192 563 0 0 0 1 3 0 0 20 0 3 0 142777692 5967810560 1201131 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
Current children cumulated CPU time: 3587.78 s
Current children cumulated vsize: 5827940 KiB
Current children cumulated memory: 4804524 KiB

[startup+3600.8 s]
/proc/loadavg: 1.21 2.63 3.49 2/237 727635
/proc/meminfo: memFree=123995416/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=5827940 memory=4804524 CPUtime=3588.56 cores=5,7
/proc/725088/stat : 725088 (fscip) S 725085 725088 720886 0 -1 1077936128 12111354 0 0 0 358004 852 0 0 20 0 3 0 142770643 5967810560 1201131 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 1456985 1201131 2990 3032 0 1408747 0
[pid=725088/tid=725270] ppid=725085 vsize=5827940 memory=7692 CPUtime=3518.88 cores=5,7
/proc/725088/task/725270/stat : 725270 (fscip) R 725085 725088 720886 0 -1 4194368 11776403 0 0 0 351123 765 0 0 20 0 3 0 142777559 5967810560 1201131 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
[pid=725088/tid=725271] ppid=725085 vsize=5827940 memory=28488 CPUtime=0.04 cores=5,7
/proc/725088/task/725271/stat : 725271 (fscip) S 725085 725088 720886 0 -1 1077936192 563 0 0 0 1 3 0 0 20 0 3 0 142777692 5967810560 1201131 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
Current children cumulated CPU time: 3588.56 s
Current children cumulated vsize: 5827940 KiB
Current children cumulated memory: 4804524 KiB

[startup+3601.6 s]
/proc/loadavg: 1.21 2.63 3.49 2/237 727635
/proc/meminfo: memFree=123995288/131524600 swapFree=131071996/131071996
[pid=725088] ppid=725085 vsize=4974144 memory=4749672 CPUtime=3589.36 cores=5,7
/proc/725088/stat : 725088 (fscip) R 725085 725088 720886 0 -1 4194304 12232803 0 0 0 358078 858 0 0 20 0 2 0 142770643 5093523456 1187418 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
/proc/725088/statm: 1243536 1187418 2990 3032 0 1228766 0
[pid=725088/tid=725271] ppid=725085 vsize=4974144 memory=4804524 CPUtime=0.04 cores=5,7
/proc/725088/task/725271/stat : 725271 (fscip) S 725085 725088 720886 0 -1 1077936192 563 0 0 0 1 3 0 0 20 0 2 0 142777692 5093523456 1187418 134679101440 4194304 16613245 140723570902848 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38957056 140723570910177 140723570910293 140723570910293 140723570917360 0
Current children cumulated CPU time: 3589.36 s
Current children cumulated vsize: 4974144 KiB
Current children cumulated memory: 4749672 KiB

[startup+3601.8 s]*
/proc/loadavg: 1.21 2.63 3.49 2/236 727635
/proc/meminfo: memFree=127622080/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3601.84
CPU time (s): 3589.6
CPU user time (s): 3580.9
CPU system time (s): 8.70197
CPU usage (%): 99.6602
Max. virtual memory (cumulated for all children) (KiB): 5827940
Max. memory (cumulated for all children) (KiB): 4804524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.9
system time used= 8.70197
maximum resident set size= 4804524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12261309
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= 4448
involuntary context switches= 2105


# summary of solver processes directly reported to runsolver:
#   pid: 725088
#   total CPU time (s): 3589.6
#   total CPU user time (s): 3580.9
#   total CPU system time (s): 8.70197

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08977 second user time and 18.5086 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-13 23:27:57
IDJOB=4426935
IDBENCH=143871
IDSOLVER=3044
FILE ID=nodeC022/4426935-1720906065
RUNJOBID= nodeC022-1720905425-723039
SLURM_JOB_ID= 7486081
Free space on /tmp= 889992 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-18reduc_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426935-1720906065/watcher-4426935-1720906065 -o /tmp/evaluation-result-4426935-1720906065/solver-4426935-1720906065 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1720905425-723039 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4426935-1720906065.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 85c9e899b779dcafda2f7e25c2fdc65d
RANDOM SEED=1420054025

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124535864 kB
MemAvailable:   125619948 kB
Buffers:          331972 kB
Cached:          1584744 kB
SwapCached:            0 kB
Active:           537728 kB
Inactive:        5855084 kB
Active(anon):       1580 kB
Inactive(anon):  4512236 kB
Active(file):     536148 kB
Inactive(file):  1342848 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             30864 kB
Writeback:             0 kB
AnonPages:       4475508 kB
Mapped:           136000 kB
Shmem:             37720 kB
KReclaimable:      89472 kB
Slab:             190400 kB
SReclaimable:      89472 kB
SUnreclaim:       100928 kB
KernelStack:        4172 kB
PageTables:        18300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4461008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54368 kB
HardwareCorrupted:     0 kB
AnonHugePages:    708608 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:      213716 kB
DirectMap2M:    18434048 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC022 at 2024-07-14 00:27:59