Trace number 4459939

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-02OPT-14 281.076 282.002

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_2.opb
MD5SUMcf766711a707813c9bd3325657edcc33
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark281.076
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1232
Sum of products size (including duplicates)2464
Number of different products616
Sum of products size1232

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00	c Default LC presolving (default).
0.00/0.00	c ** Before presolving: virtualMemUsedAtLc = 25419776, getVmSize() = 25419776, SCIPgetMemUsed() = 2743942, SCIPgetMemTotal() = 3930422, SCIPgetMemExternEstim() = 1508932
0.00/0.00	c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.01	c ** Estimated virtualMemUsedAtSolver = 17794389, getVmSize() = 27963392, SCIPgetMemUsed() = 3018175, SCIPgetMemTotal() = 5270487, SCIPgetMemExternEstim() = 1508932
0.00/0.01	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.01	c Original Problem   :
0.00/0.01	c   Problem name     : instance-4459939-1721943061
0.00/0.01	c   Variables        : 716 (100 binary, 0 integer, 616 implicit integer, 0 continuous)
0.00/0.01	c   Constraints      : 867
0.00/0.01	c   Objective sense  : minimize
0.00/0.01	c Presolved Problem  :
0.00/0.01	c   Variables        : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01	c   Constraints      : 151
0.00/0.01	c Constraints        : Number
0.00/0.01	c   knapsack         : 100 
0.00/0.01	c   setppc           : 50 
0.00/0.01	c   linear           : 1 
0.00/0.01	c ** Instance transfer method used: 0
0.00/0.01	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01	c                                Nodes    Active                                            
0.00/0.01	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.00/0.02	c *       0              0           1         1          -1.0000                -          -
0.00/0.07	c *       0              0           1         1          -8.0000                -          -
0.10/0.10	c *       0              0           1         1          -9.0000                -          -
0.21/0.24	c *       0              0           1         1         -10.0000                -          -
1.78/1.80	c *       2              2           1         1         -11.0000         -22.4697    104.27%
4.08/4.15	c *       4            314         160         1         -12.0000         -22.2750     85.62%
5.56/5.66	c         6            392         205         1         -12.0000         -22.0004     83.34%
8.66/8.71	c *       9            722         429         1         -13.0000         -21.7766     67.51%
10.95/11.06	c        11           1402         459         1         -13.0000         -21.4587     65.07%
16.33/16.48	c        16           2817          48         1         -13.0000         -20.9946     61.50%
21.52/21.65	c        22           5451         402         1         -13.0000         -20.9946     61.50%
26.50/26.67	c        27           9746         821         1         -13.0000         -20.4405     57.23%
31.58/31.75	c        32          14556        1407         1         -13.0000         -20.0330     54.10%
36.67/36.81	c        37          19576        2007         1         -13.0000         -19.6873     51.44%
41.76/41.92	c        42          24646        2767         1         -13.0000         -19.4080     49.29%
46.84/47.10	c        47          30506        3541         1         -13.0000         -19.1694     47.46%
51.93/52.17	c        52          35956        4291         1         -13.0000         -19.0204     46.31%
57.01/57.22	c        57          40646        4963         1         -13.0000         -18.8913     45.32%
61.99/62.29	c        62          45396        5611         1         -13.0000         -18.7649     44.35%
67.08/67.36	c        67          50096        6183         1         -13.0000         -18.6532     43.49%
72.17/72.44	c        72          54706        6699         1         -13.0000         -18.5655     42.81%
77.25/77.50	c        78          60306        7405         1         -13.0000         -18.4860     42.20%
82.23/82.52	c        83          66266        8029         1         -13.0000         -18.3940     41.49%
87.22/87.58	c        88          71886        8703         1         -13.0000         -18.3231     40.95%
92.30/92.60	c        93          77246        9315         1         -13.0000         -18.2344     40.26%
97.39/97.77	c        98          82846        9931         1         -13.0000         -18.1615     39.70%
102.37/102.77	c       103          88076       10483         1         -13.0000         -18.1080     39.29%
107.35/107.78	c       108          94746       11087         1         -13.0000         -18.0412     38.78%
108.35/108.70	c *     109          95806       11161         1         -14.0000         -18.0343     28.82%
112.44/112.83	c       113         100686        5301         1         -14.0000         -17.9940     28.53%
117.42/117.86	c       118         107536        5457         1         -14.0000         -17.9492     28.21%
122.51/122.96	c       123         113376        5665         1         -14.0000         -17.8846     27.75%
127.70/128.15	c       128         120246        5911         1         -14.0000         -17.8321     27.37%
132.87/133.31	c       133         126716        6127         1         -14.0000         -17.7833     27.02%
137.85/138.32	c       138         132926        6247         1         -14.0000         -17.7355     26.68%
142.84/143.33	c       143         139376        6395         1         -14.0000         -17.6836     26.31%
147.82/148.39	c       148         146356        6539         1         -14.0000         -17.6419     26.01%
152.81/153.39	c       153         153086        6665         1         -14.0000         -17.5969     25.69%
157.89/158.45	c       158         159706        6775         1         -14.0000         -17.5486     25.35%
162.97/163.50	c       164         166836        6847         1         -14.0000         -17.4970     24.98%
167.96/168.55	c       169         173196        6901         1         -14.0000         -17.4519     24.66%
172.94/173.58	c       174         179986        7009         1         -14.0000         -17.4088     24.35%
178.13/178.72	c       179         186406        6981         1         -14.0000         -17.3600     24.00%
183.12/183.73	c       184         193626        6981         1         -14.0000         -17.3053     23.61%
188.20/188.80	c       189         200226        6953         1         -14.0000         -17.2599     23.29%
193.19/193.83	c       194         207026        6899         1         -14.0000         -17.2118     22.94%
198.17/198.86	c       199         213956        6819         1         -14.0000         -17.1749     22.68%
203.13/203.88	c       204         220816        6761         1         -14.0000         -17.1280     22.34%
208.22/208.92	c       209         227266        6691         1         -14.0000         -17.0760     21.97%
213.20/213.95	c       214         233536        6545         1         -14.0000         -17.0298     21.64%
218.18/218.99	c       219         240486        6383         1         -14.0000         -16.9905     21.36%
223.27/224.00	c       224         247166        6229         1         -14.0000         -16.9335     20.95%
228.26/229.04	c       229         253466        6061         1         -14.0000         -16.8874     20.62%
233.24/234.08	c       234         260446        5853         1         -14.0000         -16.8285     20.20%
238.32/239.13	c       239         266746        5629         1         -14.0000         -16.7811     19.87%
243.30/244.16	c       244         273276        5287         1         -14.0000         -16.7283     19.49%
248.47/249.32	c       249         280666        4881         1         -14.0000         -16.6719     19.09%
253.46/254.38	c       254         287936        4471         1         -14.0000         -16.6131     18.66%
258.53/259.42	c       259         295826        3963         1         -14.0000         -16.5378     18.13%
263.52/264.43	c       264         303066        3393         1         -14.0000         -16.4584     17.56%
268.60/269.55	c       270         310506        2733         1         -14.0000         -16.3609     16.86%
273.69/274.63	c       275         317976        1944         1         -14.0000         -16.2370     15.98%
278.67/279.66	c       280         325436         854         1         -14.0000         -15.9786     14.13%
280.96/281.98	c       282         328195           0         0         -14.0000         -14.0000      0.00%
280.96/282.00	c       282         328195           0         0         -14.0000         -14.0000          -
280.96/282.00	c SCIP Status        : c problem is solved
280.96/282.00	c Total Time         : 282.0000
280.96/282.00	c   solving          : 282.0000
280.96/282.00	c   presolving       : 0.0076 (included in solving)
280.96/282.00	c B&B Tree           :
280.96/282.00	c   nodes (total)    : 328195
280.96/282.00	c Solution           :
280.96/282.00	c   Solutions found  : 9
280.96/282.00	c   Primal Bound     : -1.40000000000000e+01
280.96/282.00	c   Dual Bound       : -1.40000000000000e+01
280.96/282.00	c Gap                : 0.00000 %
280.96/282.00	o -14
280.96/282.00	s OPTIMUM FOUND
280.96/282.00	v -x90 -x69 -x56 -x86 -x85 -x63 x60 -x57 x95 -x72 x79 -x58 x67 -x54 -x97 -x61 -x92 x66 -x52 -x98 -x84 x83 x77 -x71 -x59 -x53 -x81 
280.96/282.00	v -x68 -x74 -x55 -x88 x94 -x100 x80 -x51 x87 x82 -x75 x73 -x64 -x93 -x96 x78 -x65 x99 -x62 -x76 -x89 -x70 -x91 -x50 -x49 x48 -x47 
280.96/282.00	v x46 -x45 -x44 x43 x42 -x41 -x40 x39 x38 -x37 -x36 x35 -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 x21 
280.96/282.00	v -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 x12 x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-14

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 (49711 MiB free)
  memory of node 1: 64510 MiB (58329 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100082 s]*
/proc/loadavg: 1.12 1.13 1.18 5/259 248808
/proc/meminfo: memFree=110522064/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=112588 memory=34852 CPUtime=0.1 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 6084 0 0 0 10 0 0 0 20 0 3 0 30830330 115290112 8713 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 28147 8713 2910 3032 0 11985 0
[pid=248797/tid=248807] ppid=248788 vsize=112588 memory=4026531959 CPUtime=0.08 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 3981 0 0 0 8 0 0 0 20 0 3 0 30830331 115290112 8713 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=112588 memory=224262924862 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30830331 115290112 8713 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112588 KiB
Current children cumulated memory: 34852 KiB

[startup+0.206586 s]*
/proc/loadavg: 1.12 1.13 1.18 6/258 248818
/proc/meminfo: memFree=110436536/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=117904 memory=44884 CPUtime=0.21 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 8593 0 0 0 20 1 0 0 20 0 3 0 30830330 120733696 11221 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 29476 11221 2910 3032 0 14703 0
[pid=248797/tid=248807] ppid=248788 vsize=117904 memory=3472328300254200125 CPUtime=0.18 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 6509 0 0 0 18 0 0 0 20 0 3 0 30830331 120733696 11221 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=117904 memory=219966341476 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30830331 120733696 11221 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 117904 KiB
Current children cumulated memory: 44884 KiB

[startup+0.306198 s]*
/proc/loadavg: 1.12 1.13 1.18 5/258 248818
/proc/meminfo: memFree=110390968/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=125540 memory=55972 CPUtime=0.3 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 11350 0 0 0 29 1 0 0 20 0 3 0 30830330 128552960 13993 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 31385 13993 2910 3032 0 17679 0
[pid=248797/tid=248807] ppid=248788 vsize=125540 memory=-8600295721349653180 CPUtime=0.29 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 9247 0 0 0 28 1 0 0 20 0 3 0 30830331 128552960 13993 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=125540 memory=0 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30830331 128552960 13993 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 125540 KiB
Current children cumulated memory: 55972 KiB

[startup+0.700202 s]
/proc/loadavg: 1.12 1.13 1.18 6/258 248846
/proc/meminfo: memFree=110407432/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=126480 memory=58876 CPUtime=0.68 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 12076 0 0 0 67 1 0 0 20 0 3 0 30830330 129515520 14719 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 31620 14719 2910 3032 0 18379 0
[pid=248797/tid=248807] ppid=248788 vsize=126480 memory=0 CPUtime=0.67 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 9973 0 0 0 66 1 0 0 20 0 3 0 30830331 129515520 14719 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=126480 memory=0 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30830331 129515520 14719 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 126480 KiB
Current children cumulated memory: 58876 KiB

[startup+1.50022 s]
/proc/loadavg: 1.12 1.13 1.18 5/260 248884
/proc/meminfo: memFree=110301296/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=126480 memory=60720 CPUtime=1.48 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 15605 0 0 0 146 2 0 0 20 0 3 0 30830330 129515520 15180 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 31620 15180 2910 3032 0 19115 0
[pid=248797/tid=248807] ppid=248788 vsize=126480 memory=0 CPUtime=1.46 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 13479 0 0 0 145 1 0 0 20 0 3 0 30830331 129515520 15180 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=126480 memory=0 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30830331 129515520 15180 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 126480 KiB
Current children cumulated memory: 60720 KiB

[startup+3.10597 s]
/proc/loadavg: 1.12 1.13 1.18 5/267 248908
/proc/meminfo: memFree=110099216/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=139592 memory=78120 CPUtime=3.08 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 21384 0 0 0 306 2 0 0 20 0 3 0 30830330 142942208 19530 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 34898 19530 2958 3032 0 23560 0
[pid=248797/tid=248807] ppid=248788 vsize=139592 memory=0 CPUtime=3.07 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 19196 0 0 0 305 2 0 0 20 0 3 0 30830331 142942208 19530 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=139592 memory=-6152871923884931940 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 30830331 142942208 19530 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 139592 KiB
Current children cumulated memory: 78120 KiB

[startup+6.30024 s]
/proc/loadavg: 1.35 1.18 1.20 5/267 248908
/proc/meminfo: memFree=110016532/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=139592 memory=79816 CPUtime=6.27 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 27056 0 0 0 624 3 0 0 20 0 3 0 30830330 142942208 19954 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 34898 19954 2958 3032 0 24183 0
[pid=248797/tid=248807] ppid=248788 vsize=139592 memory=0 CPUtime=6.25 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 24835 0 0 0 623 2 0 0 20 0 3 0 30830331 142942208 19954 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=139592 memory=79724 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 30830331 142942208 19954 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 139592 KiB
Current children cumulated memory: 79816 KiB

[startup+12.7002 s]
/proc/loadavg: 1.57 1.23 1.21 5/267 248910
/proc/meminfo: memFree=109873520/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=140616 memory=85736 CPUtime=12.64 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 41482 0 0 0 1261 3 0 0 20 0 3 0 30830330 143990784 21434 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 35154 21434 2974 3032 0 25439 0
[pid=248797/tid=248807] ppid=248788 vsize=140616 memory=0 CPUtime=12.63 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 39163 0 0 0 1260 3 0 0 20 0 3 0 30830331 143990784 21434 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=140616 memory=85068 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 30830331 143990784 21434 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 140616 KiB
Current children cumulated memory: 85736 KiB

[startup+25.5003 s]
/proc/loadavg: 2.19 1.38 1.26 5/267 248911
/proc/meminfo: memFree=109808288/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=141724 memory=88904 CPUtime=25.4 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 70634 0 0 0 2534 6 0 0 20 0 3 0 30830330 145125376 22226 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 35431 22226 2974 3032 0 26100 0
[pid=248797/tid=248807] ppid=248788 vsize=141724 memory=88852 CPUtime=25.38 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 68243 0 0 0 2532 6 0 0 20 0 3 0 30830331 145125376 22226 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=141724 memory=11480 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 30830331 145125376 22226 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 141724 KiB
Current children cumulated memory: 88904 KiB

[startup+51.1061 s]
/proc/loadavg: 2.81 1.59 1.34 5/267 248916
/proc/meminfo: memFree=109734200/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=150204 memory=104128 CPUtime=50.93 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 103626 0 0 0 5079 14 0 0 20 0 3 0 30830330 153808896 26032 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 37551 26032 2974 3032 0 29965 0
[pid=248797/tid=248807] ppid=248788 vsize=150204 memory=16076 CPUtime=50.89 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 101154 0 0 0 5076 13 0 0 20 0 3 0 30830331 153808896 26032 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=150204 memory=0 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 30830331 153808896 26032 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 150204 KiB
Current children cumulated memory: 104128 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 1.98 1.49 5/267 248926
/proc/meminfo: memFree=109583576/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=234784 memory=137640 CPUtime=101.97 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 152642 0 0 0 10171 26 0 0 20 0 3 0 30830330 240418816 34410 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 58696 34410 2974 3032 0 39004 0
[pid=248797/tid=248807] ppid=248788 vsize=234784 memory=137636 CPUtime=101.89 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 150090 0 0 0 10165 24 0 0 20 0 3 0 30830331 240418816 34410 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=234784 memory=11480 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 30830331 240418816 34410 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 234784 KiB
Current children cumulated memory: 137640 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 2.38 1.66 5/267 248937
/proc/meminfo: memFree=109551780/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=236232 memory=144036 CPUtime=161.78 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 186375 0 0 0 16136 42 0 0 20 0 3 0 30830330 241901568 36009 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 59058 36009 2974 3032 0 40427 0
[pid=248797/tid=248807] ppid=248788 vsize=236232 memory=142524 CPUtime=161.64 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 183710 0 0 0 16126 38 0 0 20 0 3 0 30830331 241901568 36009 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=236232 memory=143756 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 30830331 241901568 36009 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 236232 KiB
Current children cumulated memory: 144036 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.69 1.81 5/266 248948
/proc/meminfo: memFree=109530240/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=246008 memory=154576 CPUtime=221.57 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 205953 0 0 0 22101 56 0 0 20 0 3 0 30830330 251912192 38644 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 61502 38644 2974 3032 0 43686 0
[pid=248797/tid=248807] ppid=248788 vsize=246008 memory=144180 CPUtime=221.39 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 203255 0 0 0 22088 51 0 0 20 0 3 0 30830331 251912192 38644 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=246008 memory=153896 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 30830331 251912192 38644 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 246008 KiB
Current children cumulated memory: 154576 KiB

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

# cumulated CPU time of all completed processes:  user=280.315 s, system=0.76097 s

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

[startup+256 s]*
/proc/loadavg: 4.08 2.86 1.90 5/265 248953
/proc/meminfo: memFree=109525976/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=248096 memory=156472 CPUtime=255.16 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 223376 0 0 0 25450 66 0 0 20 0 3 0 30830330 254050304 39118 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 62024 39118 2974 3032 0 44320 0
[pid=248797/tid=248807] ppid=248788 vsize=248096 memory=6720662130125192807 CPUtime=254.94 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 220650 0 0 0 25434 60 0 0 20 0 3 0 30830331 254050304 39118 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=248096 memory=5464 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 30830331 254050304 39118 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 255.16 s
Current children cumulated vsize: 248096 KiB
Current children cumulated memory: 156472 KiB

[startup+268.8 s]
/proc/loadavg: 4.07 2.89 1.92 5/265 248955
/proc/meminfo: memFree=109525740/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=248096 memory=156748 CPUtime=267.9 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 223554 0 0 0 26721 69 0 0 20 0 3 0 30830330 254050304 39187 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 62024 39187 2974 3032 0 44325 0
[pid=248797/tid=248807] ppid=248788 vsize=248096 memory=156532 CPUtime=267.67 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 220828 0 0 0 26704 63 0 0 20 0 3 0 30830331 254050304 39187 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=248096 memory=61728 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 30830331 254050304 39187 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 267.9 s
Current children cumulated vsize: 248096 KiB
Current children cumulated memory: 156748 KiB

[startup+275.2 s]
/proc/loadavg: 4.13 2.95 1.95 5/265 248956
/proc/meminfo: memFree=109523896/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=248096 memory=158248 CPUtime=274.28 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 223588 0 0 0 27357 71 0 0 20 0 3 0 30830330 254050304 39562 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 62024 39562 2974 3032 0 44325 0
[pid=248797/tid=248807] ppid=248788 vsize=248096 memory=16076 CPUtime=274.03 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 220862 0 0 0 27339 64 0 0 20 0 3 0 30830331 254050304 39562 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=248096 memory=11480 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 30830331 254050304 39562 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 274.28 s
Current children cumulated vsize: 248096 KiB
Current children cumulated memory: 158248 KiB

[startup+278.4 s]
/proc/loadavg: 4.13 2.95 1.95 5/265 248956
/proc/meminfo: memFree=109523876/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=248096 memory=158320 CPUtime=277.47 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 223785 0 0 0 27676 71 0 0 20 0 3 0 30830330 254050304 39580 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 62024 39580 2974 3032 0 44325 0
[pid=248797/tid=248807] ppid=248788 vsize=248096 memory=11480 CPUtime=277.22 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 221059 0 0 0 27657 65 0 0 20 0 3 0 30830331 254050304 39580 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=248096 memory=158320 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 30830331 254050304 39580 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 277.47 s
Current children cumulated vsize: 248096 KiB
Current children cumulated memory: 158320 KiB

[startup+280 s]*
/proc/loadavg: 4.12 2.96 1.96 5/265 248958
/proc/meminfo: memFree=109523224/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=248096 memory=158872 CPUtime=279.08 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 231473 0 0 0 27835 73 0 0 20 0 3 0 30830330 254050304 39718 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 62024 39718 2974 3032 0 44451 0
[pid=248797/tid=248807] ppid=248788 vsize=248096 memory=282712 CPUtime=278.82 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 228741 0 0 0 27816 66 0 0 20 0 3 0 30830331 254050304 39718 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=248096 memory=42404 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 30830331 254050304 39718 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 279.08 s
Current children cumulated vsize: 248096 KiB
Current children cumulated memory: 158872 KiB

[startup+280.8 s]
/proc/loadavg: 4.12 2.96 1.96 5/265 248958
/proc/meminfo: memFree=109523224/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=248096 memory=158872 CPUtime=279.87 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 234881 0 0 0 27914 73 0 0 20 0 3 0 30830330 254050304 39718 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 62024 39718 2974 3032 0 44451 0
[pid=248797/tid=248807] ppid=248788 vsize=248096 memory=6720668761521143401 CPUtime=279.61 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 232146 0 0 0 27895 66 0 0 20 0 3 0 30830331 254050304 39718 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=248096 memory=1616675 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 30830331 254050304 39718 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 279.87 s
Current children cumulated vsize: 248096 KiB
Current children cumulated memory: 158872 KiB

[startup+281.6 s]
/proc/loadavg: 4.12 2.96 1.96 5/265 248958
/proc/meminfo: memFree=109519944/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=251636 memory=164548 CPUtime=280.66 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 239310 0 0 0 27992 74 0 0 20 0 3 0 30830330 257675264 41137 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 62909 41137 2974 3032 0 45788 0
[pid=248797/tid=248807] ppid=248788 vsize=251636 memory=12256 CPUtime=280.41 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 236574 0 0 0 27974 67 0 0 20 0 3 0 30830331 257675264 41137 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=251636 memory=155696 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 30830331 257675264 41137 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 280.66 s
Current children cumulated vsize: 251636 KiB
Current children cumulated memory: 164548 KiB

[startup+281.8 s]
/proc/loadavg: 4.12 2.96 1.96 5/265 248958
/proc/meminfo: memFree=109519944/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=251636 memory=164548 CPUtime=280.86 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 239907 0 0 0 28012 74 0 0 20 0 3 0 30830330 257675264 41137 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 62909 41137 2974 3032 0 45788 0
[pid=248797/tid=248807] ppid=248788 vsize=251636 memory=156532 CPUtime=280.61 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 237171 0 0 0 27993 68 0 0 20 0 3 0 30830331 257675264 41137 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=251636 memory=158248 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 30830331 257675264 41137 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 280.86 s
Current children cumulated vsize: 251636 KiB
Current children cumulated memory: 164548 KiB

[startup+281.9 s]
/proc/loadavg: 4.12 2.96 1.96 5/265 248958
/proc/meminfo: memFree=109519944/131524600 swapFree=131054736/131071996
[pid=248797] ppid=248788 vsize=251636 memory=164548 CPUtime=280.96 cores=4,6
/proc/248797/stat : 248797 (fscip) S 248788 248797 246692 0 -1 1077936128 239976 0 0 0 28022 74 0 0 20 0 3 0 30830330 257675264 41137 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
/proc/248797/statm: 62909 41137 2974 3032 0 45788 0
[pid=248797/tid=248807] ppid=248788 vsize=251636 memory=156620 CPUtime=280.71 cores=4,6
/proc/248797/task/248807/stat : 248807 (fscip) R 248788 248797 246692 0 -1 4194368 237241 0 0 0 28003 68 0 0 20 0 3 0 30830331 257675264 41137 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
[pid=248797/tid=248808] ppid=248788 vsize=251636 memory=158320 CPUtime=0 cores=4,6
/proc/248797/task/248808/stat : 248808 (fscip) S 248788 248797 246692 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 30830331 257675264 41137 134679101440 4194304 16613245 140730685163552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57114624 140730685170708 140730685170824 140730685170824 140730685177840 0
Current children cumulated CPU time: 280.96 s
Current children cumulated vsize: 251636 KiB
Current children cumulated memory: 164548 KiB

Child status: 0

Real time (s): 282.002
CPU time (s): 281.076
CPU user time (s): 280.315
CPU system time (s): 0.76097
CPU usage (%): 99.6714
Max. virtual memory (cumulated for all children) (KiB): 251856
Max. memory (cumulated for all children) (KiB): 164548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 280.315
system time used= 0.76097
maximum resident set size= 166880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241161
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= 10757
involuntary context switches= 582


# summary of solver processes directly reported to runsolver:
#   pid: 248797
#   total CPU time (s): 281.076
#   total CPU user time (s): 280.315
#   total CPU system time (s): 0.76097

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.759544 second user time and 1.28883 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-25 23:31:01
IDJOB=4459939
IDBENCH=148675
IDSOLVER=3064
FILE ID=nodeC034/4459939-1721943061
RUNJOBID= nodeC034-1721943061-248739
SLURM_JOB_ID= 8247254
Free space on /tmp= 890084 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_2.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459939-1721943061/watcher-4459939-1721943061 -o /tmp/evaluation-result-4459939-1721943061/solver-4459939-1721943061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721943061-248739 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4459939-1721943061.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= cf766711a707813c9bd3325657edcc33
RANDOM SEED=17340828

nodeC034.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		: 3758.532
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.92
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		: 3707.967
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.84
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		: 3612.814
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.92
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		: 3779.595
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.84
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		: 3639.315
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.92
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		: 3634.694
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.84
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		: 3733.290
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.92
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		: 3804.705
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        110636004 kB
MemAvailable:   129694060 kB
Buffers:          332884 kB
Cached:         19484216 kB
SwapCached:          112 kB
Active:          1821072 kB
Inactive:       18352172 kB
Active(anon):       1816 kB
Inactive(anon):   396960 kB
Active(file):    1819256 kB
Inactive(file): 17955212 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054736 kB
Dirty:            114204 kB
Writeback:            16 kB
AnonPages:        355316 kB
Mapped:            93752 kB
Shmem:             42580 kB
KReclaimable:     246472 kB
Slab:             362232 kB
SReclaimable:     246472 kB
SUnreclaim:       115760 kB
KernelStack:        3872 kB
PageTables:         9620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     712592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            15552 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 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:      357076 kB
DirectMap2M:    48699392 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC034 at 2024-07-25 23:35:44