Trace number 4459667

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-02OPT3 446.584 448.291

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=307-P1=59-P2=149-P3=337-P4=409-P5=457-P6=79-P7=53-P8=347-P9=487-B.opb
MD5SUM38d74c6946365bca81da903286cf8100
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 benchmark3
Best CPU time to get the best result obtained on this benchmark0.301828
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables243
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)729
Sum of products size (including duplicates)1458
Number of different products729
Sum of products size1458

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.01	c Default LC presolving (default).
0.00/0.01	c ** Before presolving: virtualMemUsedAtLc = 25497600, getVmSize() = 25497600, SCIPgetMemUsed() = 3301209, SCIPgetMemTotal() = 3866305, SCIPgetMemExternEstim() = 1597615
0.00/0.01	c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.05	c ** Estimated virtualMemUsedAtSolver = 18545322, getVmSize() = 30138368, SCIPgetMemUsed() = 3684062, SCIPgetMemTotal() = 7198270, SCIPgetMemExternEstim() = 1597615
0.00/0.05	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.05	c Original Problem   :
0.00/0.05	c   Problem name     : instance-4459667-1721939462
0.00/0.05	c   Variables        : 972 (243 binary, 0 integer, 729 implicit integer, 0 continuous)
0.00/0.05	c   Constraints      : 757
0.00/0.05	c   Objective sense  : minimize
0.00/0.05	c Presolved Problem  :
0.00/0.05	c   Variables        : 797 (223 binary, 0 integer, 574 implicit integer, 0 continuous)
0.00/0.05	c   Constraints      : 612
0.00/0.05	c Constraints        : Number
0.00/0.05	c   setppc           : 1 
0.00/0.05	c   and              : 574 
0.00/0.05	c   linear           : 9 
0.00/0.05	c   logicor          : 19 
0.00/0.05	c   pseudoboolean    : 9 
0.00/0.05	c ** Instance transfer method used: 0
0.00/0.05	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.06	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.06	c                                Nodes    Active                                            
0.00/0.06	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.10/0.11	c *       0              0           1         1         257.0000                -          -
0.10/0.13	c *       0              0           1         1         255.0000                -          -
0.10/0.19	c *       0              0           1         1         171.0000                -          -
5.26/5.39	c         5           2257        1565         1         171.0000           3.0000          -
10.44/10.56	c        11           5954        3784         1         171.0000           3.0000          -
15.52/15.61	c        16          13763        6083         1         171.0000           3.0000          -
20.50/20.66	c        21          23113        7386         1         171.0000           3.0000          -
25.59/25.71	c        26          31018        9476         1         171.0000           3.0000          -
30.58/30.76	c        31          41401       11004         1         171.0000           3.0000          -
35.66/35.82	c        36          51882       12409         1         171.0000           3.0000          -
40.64/40.87	c        41          61748       12796         1         171.0000           3.0000          -
45.72/45.92	c        46          71972       13986         1         171.0000           3.0000          -
50.70/50.97	c        51          81605       14730         1         171.0000           3.0000          -
55.79/56.02	c        56          90863       16227         1         171.0000           3.0000          -
60.78/61.07	c        61          99014       17812         1         171.0000           3.0000          -
65.85/66.12	c        66         107381       19082         1         171.0000           3.0000          -
70.83/71.17	c        71         117088       20406         1         171.0000           3.0000          -
75.90/76.22	c        76         128457       21091         1         171.0000           3.0000          -
80.87/81.27	c        81         140632       22477         1         171.0000           3.0000          -
85.96/86.32	c        86         151930       23898         1         171.0000           3.0000          -
90.93/91.37	c        91         163349       24917         1         171.0000           3.0000          -
96.01/96.42	c        96         174811       25891         1         171.0000           3.0000          -
100.99/101.47	c       101         186600       26799         1         171.0000           3.0000          -
106.07/106.52	c       107         198457       27756         1         171.0000           3.0000          -
111.04/111.57	c       112         210012       28690         1         171.0000           3.0000          -
116.11/116.62	c       117         221708       29518         1         171.0000           3.0000          -
121.10/121.67	c       122         233567       30070         1         171.0000           3.0000          -
126.17/126.72	c       127         245077       30595         1         171.0000           3.0000          -
131.15/131.77	c       132         256730       30968         1         171.0000           3.0000          -
136.23/136.82	c       137         268452       31373         1         171.0000           3.0000          -
141.21/141.87	c       142         280692       31737         1         171.0000           3.0000          -
146.29/146.92	c       147         292113       31948         1         171.0000           3.0000          -
151.27/151.97	c       152         303257       32255         1         171.0000           3.0000          -
156.35/157.02	c       157         314932       32562         1         171.0000           3.0000          -
161.32/162.07	c       162         325854       33433         1         171.0000           3.0000          -
166.40/167.12	c       167         338111       33841         1         171.0000           3.0000          -
171.38/172.17	c       172         350484       33880         1         171.0000           3.0000          -
176.44/177.22	c       177         361267       34350         1         171.0000           3.0000          -
181.42/182.27	c       182         371902       35199         1         171.0000           3.0000          -
186.50/187.32	c       187         383464       35325         1         171.0000           3.0000          -
191.48/192.37	c       192         395673       35730         1         171.0000           3.0000          -
196.56/197.42	c       197         406599       35904         1         171.0000           3.0000          -
201.53/202.47	c       202         417681       36149         1         171.0000           3.0000          -
206.62/207.52	c       208         429306       36425         1         171.0000           3.0000          -
211.59/212.57	c       213         440656       36357         1         171.0000           3.0000          -
216.67/217.62	c       218         452504       36924         1         171.0000           3.0000          -
221.64/222.67	c       223         464126       37041         1         171.0000           3.0000          -
226.73/227.72	c       228         476073       37478         1         171.0000           3.0000          -
231.71/232.77	c       233         487953       37817         1         171.0000           3.0000          -
236.80/237.82	c       238         499844       37977         1         171.0000           3.0000          -
241.77/242.87	c       243         511429       38183         1         171.0000           3.0000          -
246.85/247.92	c       248         523706       38263         1         171.0000           3.0000          -
251.84/252.97	c       253         535769       38407         1         171.0000           3.0000          -
256.93/258.02	c       258         547630       38604         1         171.0000           3.0000          -
261.91/263.07	c       263         559063       39680         1         171.0000           3.0000          -
267.00/268.12	c       268         571066       40647         1         171.0000           3.0000          -
271.98/273.17	c       273         582777       41830         1         171.0000           3.0000          -
277.05/278.22	c       278         595323       41913         1         171.0000           3.0000          -
282.03/283.27	c       283         607196       42170         1         171.0000           3.0000          -
287.12/288.32	c       288         619157       42308         1         171.0000           3.0000          -
292.10/293.37	c       293         630892       42525         1         171.0000           3.0000          -
297.19/298.42	c       298         642821       42557         1         171.0000           3.0000          -
302.17/303.47	c       303         654919       42699         1         171.0000           3.0000          -
307.25/308.52	c       309         666104       42879         1         171.0000           3.0000          -
312.23/313.57	c       314         678009       43517         1         171.0000           3.0000          -
317.32/318.62	c       319         690512       43687         1         171.0000           3.0000          -
322.30/323.67	c       324         703015       43705         1         171.0000           3.0000          -
327.38/328.72	c       329         714481       44228         1         171.0000           3.0000          -
332.36/333.77	c       334         725478       44829         1         171.0000           3.0000          -
337.45/338.82	c       339         737358       44713         1         171.0000           3.0000          -
342.44/343.87	c       344         748385       44816         1         171.0000           3.0000          -
347.52/348.92	c       349         759713       44789         1         171.0000           3.0000          -
352.50/353.97	c       354         771196       45433         1         171.0000           3.0000          -
357.59/359.02	c       359         782843       45663         1         171.0000           3.0000          -
362.58/364.07	c       364         794781       46170         1         171.0000           3.0000          -
367.65/369.12	c       369         806471       46873         1         171.0000           3.0000          -
372.64/374.17	c       374         818413       47089         1         171.0000           3.0000          -
377.71/379.22	c       379         830292       47308         1         171.0000           3.0000          -
382.69/384.27	c       384         842545       47503         1         171.0000           3.0000          -
387.78/389.32	c       389         854087       47756         1         171.0000           3.0000          -
392.76/394.37	c       394         865803       47799         1         171.0000           3.0000          -
397.84/399.42	c       399         876876       48318         1         171.0000           3.0000          -
402.83/404.47	c       404         887867       49407         1         171.0000           3.0000          -
407.91/409.52	c       410         899611       49670         1         171.0000           3.0000          -
412.89/414.57	c       415         912078       49592         1         171.0000           3.0000          -
417.98/419.62	c       420         923598       49842         1         171.0000           3.0000          -
422.96/424.67	c       425         935642       50399         1         171.0000           3.0000          -
428.04/429.72	c       430         946967       50749         1         171.0000           3.0000          -
433.03/434.77	c       435         958548       51008         1         171.0000           3.0000          -
438.11/439.82	c       440         970373       51612         1         171.0000           3.0000          -
441.60/443.37	c *     443         978105       51725         1          25.0000           3.0000          -
443.10/444.87	c       445         982851       50494         1          25.0000           3.0000          -
446.48/448.26	c *     448         989864       50573         1           3.0000           3.0000      0.00%
446.48/448.26	c       448         990066           0         0           3.0000           3.0000      0.00%
446.48/448.29	c       448         990066           0         0           3.0000           3.0000          -
446.48/448.29	c SCIP Status        : c problem is solved
446.48/448.29	c Total Time         : 448.2800
446.48/448.29	c   solving          : 448.2800
446.48/448.29	c   presolving       : 0.0327 (included in solving)
446.48/448.29	c B&B Tree           :
446.48/448.29	c   nodes (total)    : 990066
446.48/448.29	c Solution           :
446.48/448.29	c   Solutions found  : 5
446.48/448.29	c   Primal Bound     : +3.00000000000000e+00
446.48/448.29	c   Dual Bound       : +3.00000000000000e+00
446.48/448.29	c Gap                : 0.00000 %
446.48/448.29	o 3
446.48/448.29	s OPTIMUM FOUND
446.48/448.29	v -x243 -x242 -x241 x240 x239 -x238 x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 x227 x226 x162 x161 -x160 -x159 x158 
446.48/448.29	v x157 -x156 -x155 x154 -x225 x224 x223 -x222 -x221 x220 -x219 -x218 x217 x153 -x152 x151 x150 -x149 x148 -x147 x146 x145 -x216 
446.48/448.29	v -x215 -x214 -x213 -x212 x211 x210 -x209 -x208 -x144 x143 x142 x141 -x140 -x139 -x138 -x137 x136 -x207 x206 x205 -x204 x203 
446.48/448.29	v -x202 x201 -x200 x199 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 x127 -x198 -x197 x196 x195 -x194 -x193 -x192 -x191 -x190 
446.48/448.29	v x126 x125 -x124 -x123 -x122 -x121 x120 x119 x118 -x189 -x188 -x187 -x186 x185 -x184 x183 -x182 -x181 x117 x116 x115 x114 -x113 
446.48/448.29	v -x112 -x111 -x110 x109 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x108 -x107 x106 -x105 -x104 -x103 x102 x101 x100 
446.48/448.29	v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 x99 x98 x97 -x96 -x95 x94 x93 x92 x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 
446.48/448.29	v x83 x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 x74 x73 x72 x71 x70 -x69 -x68 x67 -x66 x65 x64 -x63 x62 x61 -x60 -x59 -x58 -x57 
446.48/448.29	v -x56 x55 x54 -x53 -x52 -x51 x50 -x49 x48 x47 x46 -x45 -x44 x43 x42 -x41 -x40 x39 x38 x37 -x36 x35 -x34 -x33 x32 -x31 x30 x29 
446.48/448.29	v x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 x19 x18 -x17 x16 -x15 -x14 -x13 x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1

Verifier Data 

OK	3

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459667-1721939462/watcher-4459667-1721939462 -o /tmp/evaluation-result-4459667-1721939462/solver-4459667-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721939462-235368 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459667-1721939462.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=235384, runsolver pid=235381
Current StackSize limit: 8192 KiB


[startup+0.100097 s]*
/proc/loadavg: 0.08 0.09 0.27 2/224 235387
/proc/meminfo: memFree=124701948/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=113508 memory=29132 CPUtime=0.1 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 4792 0 0 0 8 2 0 0 20 0 3 0 29935687 116232192 7283 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 28377 7283 2782 3032 0 10920 0
[pid=235384/tid=235386] ppid=235381 vsize=113508 memory=4026532033 CPUtime=0.04 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 2255 0 0 0 3 1 0 0 20 0 3 0 29935692 116232192 7283 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=113508 memory=224227754321 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29935694 116232192 7283 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 113508 KiB
Current children cumulated memory: 29132 KiB

[startup+0.212995 s]*
/proc/loadavg: 0.08 0.09 0.27 2/224 235387
/proc/meminfo: memFree=124689260/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=113508 memory=40164 CPUtime=0.21 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 7426 0 0 0 19 2 0 0 20 0 3 0 29935687 116232192 10041 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 28377 10041 2910 3032 0 13933 0
[pid=235384/tid=235386] ppid=235381 vsize=113508 memory=7236810060336401101 CPUtime=0.15 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 4888 0 0 0 14 1 0 0 20 0 3 0 29935692 116232192 10041 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=113508 memory=1795974 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29935694 116232192 10041 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 113508 KiB
Current children cumulated memory: 40164 KiB

[startup+0.312934 s]*
/proc/loadavg: 0.08 0.09 0.27 2/225 235392
/proc/meminfo: memFree=124660712/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=113508 memory=40164 CPUtime=0.31 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 7433 0 0 0 29 2 0 0 20 0 3 0 29935687 116232192 10041 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 28377 10041 2910 3032 0 13933 0
[pid=235384/tid=235386] ppid=235381 vsize=113508 memory=-6154001126621625195 CPUtime=0.25 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 4895 0 0 0 24 1 0 0 20 0 3 0 29935692 116232192 10041 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=113508 memory=0 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29935694 116232192 10041 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 113508 KiB
Current children cumulated memory: 40164 KiB

[startup+0.700396 s]
/proc/loadavg: 0.08 0.09 0.27 5/228 235401
/proc/meminfo: memFree=124626728/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=113508 memory=40164 CPUtime=0.68 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 7436 0 0 0 66 2 0 0 20 0 3 0 29935687 116232192 10041 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 28377 10041 2910 3032 0 13933 0
[pid=235384/tid=235386] ppid=235381 vsize=113508 memory=0 CPUtime=0.62 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 4898 0 0 0 61 1 0 0 20 0 3 0 29935692 116232192 10041 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=113508 memory=0 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29935694 116232192 10041 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 113508 KiB
Current children cumulated memory: 40164 KiB

[startup+1.50041 s]
/proc/loadavg: 0.08 0.09 0.27 6/246 235436
/proc/meminfo: memFree=124519276/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=115368 memory=53100 CPUtime=1.49 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 14763 0 0 0 145 4 0 0 20 0 3 0 29935687 118136832 13275 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 28842 13275 2910 3032 0 17249 0
[pid=235384/tid=235386] ppid=235381 vsize=115368 memory=0 CPUtime=1.42 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 12197 0 0 0 139 3 0 0 20 0 3 0 29935692 118136832 13275 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=115368 memory=0 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 29935694 118136832 13275 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 115368 KiB
Current children cumulated memory: 53100 KiB

[startup+3.11263 s]
/proc/loadavg: 0.48 0.17 0.29 5/248 235438
/proc/meminfo: memFree=124339836/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=115368 memory=56876 CPUtime=3.08 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 16062 0 0 0 304 4 0 0 20 0 3 0 29935687 118136832 14219 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 28842 14219 2926 3032 0 18286 0
[pid=235384/tid=235386] ppid=235381 vsize=115368 memory=0 CPUtime=3.03 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 13494 0 0 0 299 4 0 0 20 0 3 0 29935692 118136832 14219 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=115368 memory=0 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 29935694 118136832 14219 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 115368 KiB
Current children cumulated memory: 56876 KiB

[startup+6.30034 s]
/proc/loadavg: 0.48 0.17 0.29 5/248 235438
/proc/meminfo: memFree=124315116/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=115368 memory=57384 CPUtime=6.27 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 22085 0 0 0 621 6 0 0 20 0 3 0 29935687 118136832 14346 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 28842 14346 2974 3032 0 18357 0
[pid=235384/tid=235386] ppid=235381 vsize=115368 memory=0 CPUtime=6.2 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 19495 0 0 0 615 5 0 0 20 0 3 0 29935692 118136832 14346 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=115368 memory=56452 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 29935694 118136832 14346 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 115368 KiB
Current children cumulated memory: 57384 KiB

[startup+12.7003 s]
/proc/loadavg: 0.76 0.24 0.31 5/249 235537
/proc/meminfo: memFree=124125208/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=119448 memory=72128 CPUtime=12.63 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 41164 0 0 0 1255 8 0 0 20 0 3 0 29935687 122314752 18032 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 29862 18032 3294 3032 0 21824 0
[pid=235384/tid=235386] ppid=235381 vsize=119448 memory=0 CPUtime=12.57 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 38537 0 0 0 1250 7 0 0 20 0 3 0 29935692 122314752 18032 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=119448 memory=56452 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 29935694 122314752 18032 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 119448 KiB
Current children cumulated memory: 72128 KiB

[startup+25.5004 s]
/proc/loadavg: 1.48 0.42 0.37 5/249 235540
/proc/meminfo: memFree=123953924/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=119448 memory=84664 CPUtime=25.39 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 70690 0 0 0 2526 13 0 0 20 0 3 0 29935687 122314752 21166 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 29862 21166 3294 3032 0 24865 0
[pid=235384/tid=235386] ppid=235381 vsize=119448 memory=0 CPUtime=25.33 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 68008 0 0 0 2521 12 0 0 20 0 3 0 29935692 122314752 21166 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=119448 memory=84660 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 29935694 122314752 21166 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 119448 KiB
Current children cumulated memory: 84664 KiB

[startup+51.1125 s]
/proc/loadavg: 2.42 0.73 0.48 5/249 235544
/proc/meminfo: memFree=123888240/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=184984 memory=94776 CPUtime=50.92 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 108495 0 0 0 5069 23 0 0 20 0 3 0 29935687 189423616 23694 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 46246 23694 3294 3032 0 27245 0
[pid=235384/tid=235386] ppid=235381 vsize=184984 memory=0 CPUtime=50.85 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 105718 0 0 0 5064 21 0 0 20 0 3 0 29935692 189423616 23694 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=184984 memory=91096 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 29935694 189423616 23694 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 184984 KiB
Current children cumulated memory: 94776 KiB

[startup+102.3 s]
/proc/loadavg: 3.39 1.25 0.67 5/249 235553
/proc/meminfo: memFree=123685368/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=191780 memory=133224 CPUtime=101.88 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 163412 0 0 0 10146 42 0 0 20 0 3 0 29935687 196382720 33306 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 47945 33306 3294 3032 0 37025 0
[pid=235384/tid=235386] ppid=235381 vsize=191780 memory=0 CPUtime=101.81 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 160561 0 0 0 10140 41 0 0 20 0 3 0 29935692 196382720 33306 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=191780 memory=132128 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 29935694 196382720 33306 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 191780 KiB
Current children cumulated memory: 133224 KiB

[startup+162.3 s]
/proc/loadavg: 4.47 1.95 0.95 5/248 235564
/proc/meminfo: memFree=123563436/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=191780 memory=153748 CPUtime=161.61 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 205179 0 0 0 16094 67 0 0 20 0 3 0 29935687 196382720 38437 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 47945 38437 3294 3032 0 41473 0
[pid=235384/tid=235386] ppid=235381 vsize=191780 memory=0 CPUtime=161.53 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 202287 0 0 0 16087 66 0 0 20 0 3 0 29935692 196382720 38437 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=191780 memory=144344 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 29935694 196382720 38437 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 191780 KiB

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

/proc/235384/statm: 64329 44965 3294 3032 0 47533 0
[pid=235384/tid=235386] ppid=235381 vsize=257316 memory=0 CPUtime=281.05 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 223413 0 0 0 28004 101 0 0 20 0 3 0 29935692 263491584 44965 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=257316 memory=179368 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 29935694 263491584 44965 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 281.13 s
Current children cumulated vsize: 257316 KiB
Current children cumulated memory: 179860 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 2.95 1.52 5/246 235594
/proc/meminfo: memFree=123292648/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=257316 memory=192724 CPUtime=340.94 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 232689 0 0 0 33975 119 0 0 20 0 3 0 29935687 263491584 48181 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 64329 48181 3294 3032 0 50599 0
[pid=235384/tid=235386] ppid=235381 vsize=257316 memory=0 CPUtime=340.85 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 229753 0 0 0 33967 118 0 0 20 0 3 0 29935692 263491584 48181 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=257316 memory=188552 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 29935694 263491584 48181 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 340.94 s
Current children cumulated vsize: 257316 KiB
Current children cumulated memory: 192724 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.18 1.69 5/246 235605
/proc/meminfo: memFree=123206900/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=257316 memory=201676 CPUtime=400.73 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 240028 0 0 0 39939 134 0 0 20 0 3 0 29935687 263491584 50419 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 64329 50419 3294 3032 0 52894 0
[pid=235384/tid=235386] ppid=235381 vsize=257316 memory=0 CPUtime=400.64 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 237079 0 0 0 39932 132 0 0 20 0 3 0 29935692 263491584 50419 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=257316 memory=200404 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 29935694 263491584 50419 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 400.73 s
Current children cumulated vsize: 257316 KiB
Current children cumulated memory: 201676 KiB

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

# cumulated CPU time of all completed processes:  user=445.089 s, system=1.49549 s

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

[startup+409.6 s]
/proc/loadavg: 4.13 3.20 1.72 5/246 235606
/proc/meminfo: memFree=123203536/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=257316 memory=201676 CPUtime=408.01 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 240146 0 0 0 40665 136 0 0 20 0 3 0 29935687 263491584 50419 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 64329 50419 3294 3032 0 52894 0
[pid=235384/tid=235386] ppid=235381 vsize=257316 memory=61156 CPUtime=407.91 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 237197 0 0 0 40658 133 0 0 20 0 3 0 29935692 263491584 50419 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=257316 memory=5360 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 29935694 263491584 50419 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 408.01 s
Current children cumulated vsize: 257316 KiB
Current children cumulated memory: 201676 KiB

[startup+435.2 s]
/proc/loadavg: 4.16 3.29 1.78 5/246 235610
/proc/meminfo: memFree=123143508/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=257316 memory=203348 CPUtime=433.52 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 246392 0 0 0 43209 143 0 0 20 0 3 0 29935687 263491584 50837 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 64329 50837 3294 3032 0 53785 0
[pid=235384/tid=235386] ppid=235381 vsize=257316 memory=2216 CPUtime=433.42 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 243430 0 0 0 43201 141 0 0 20 0 3 0 29935692 263491584 50837 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=257316 memory=201676 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 29935694 263491584 50837 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 433.52 s
Current children cumulated vsize: 257316 KiB
Current children cumulated memory: 203348 KiB

[startup+441.6 s]
/proc/loadavg: 4.15 3.30 1.80 5/246 235612
/proc/meminfo: memFree=123139680/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=257316 memory=204212 CPUtime=439.9 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 247270 0 0 0 43845 145 0 0 20 0 3 0 29935687 263491584 51053 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 64329 51053 3294 3032 0 53785 0
[pid=235384/tid=235386] ppid=235381 vsize=257316 memory=203920 CPUtime=439.8 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 244308 0 0 0 43837 143 0 0 20 0 3 0 29935692 263491584 51053 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=257316 memory=203636 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 29935694 263491584 51053 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 439.9 s
Current children cumulated vsize: 257316 KiB
Current children cumulated memory: 204212 KiB

[startup+444.8 s]
/proc/loadavg: 4.14 3.31 1.81 5/246 235612
/proc/meminfo: memFree=123136064/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=257316 memory=208156 CPUtime=443.1 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 248433 0 0 0 44163 147 0 0 20 0 3 0 29935687 263491584 52039 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 64329 52039 3294 3032 0 54716 0
[pid=235384/tid=235386] ppid=235381 vsize=257316 memory=204212 CPUtime=442.99 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 245458 0 0 0 44155 144 0 0 20 0 3 0 29935692 263491584 52039 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=257316 memory=12368 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 29935694 263491584 52039 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 443.1 s
Current children cumulated vsize: 257316 KiB
Current children cumulated memory: 208156 KiB

[startup+446.4 s]
/proc/loadavg: 4.14 3.31 1.81 5/246 235612
/proc/meminfo: memFree=123135588/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=257316 memory=208156 CPUtime=444.69 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 248547 0 0 0 44322 147 0 0 20 0 3 0 29935687 263491584 52039 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 64329 52039 3294 3032 0 54716 0
[pid=235384/tid=235386] ppid=235381 vsize=257316 memory=61156 CPUtime=444.59 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 245572 0 0 0 44314 145 0 0 20 0 3 0 29935692 263491584 52039 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=257316 memory=12368 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 29935694 263491584 52039 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 444.69 s
Current children cumulated vsize: 257316 KiB
Current children cumulated memory: 208156 KiB

[startup+447.2 s]
/proc/loadavg: 4.14 3.31 1.81 5/246 235613
/proc/meminfo: memFree=123133240/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=257316 memory=208156 CPUtime=445.49 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 248550 0 0 0 44401 148 0 0 20 0 3 0 29935687 263491584 52039 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 64329 52039 3294 3032 0 54716 0
[pid=235384/tid=235386] ppid=235381 vsize=257316 memory=61156 CPUtime=445.38 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 245575 0 0 0 44393 145 0 0 20 0 3 0 29935692 263491584 52039 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=257316 memory=12368 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 29935694 263491584 52039 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 445.49 s
Current children cumulated vsize: 257316 KiB
Current children cumulated memory: 208156 KiB

[startup+448 s]*
/proc/loadavg: 4.14 3.31 1.81 5/246 235613
/proc/meminfo: memFree=123133240/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=257316 memory=208376 CPUtime=446.3 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 248661 0 0 0 44482 148 0 0 20 0 3 0 29935687 263491584 52094 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 64329 52094 3294 3032 0 54716 0
[pid=235384/tid=235386] ppid=235381 vsize=257316 memory=6720661043431161190 CPUtime=446.19 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 245950 0 0 0 44474 145 0 0 20 0 3 0 29935692 263491584 52358 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=257316 memory=17032 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 29935694 263491584 52358 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 446.3 s
Current children cumulated vsize: 257316 KiB
Current children cumulated memory: 208376 KiB

[startup+448.2 s]
/proc/loadavg: 4.14 3.31 1.81 5/246 235613
/proc/meminfo: memFree=123133240/131655788 swapFree=131060916/131071996
[pid=235384] ppid=235381 vsize=257316 memory=210296 CPUtime=446.48 cores=4,6
/proc/235384/stat : 235384 (fscip) S 235381 235384 235357 0 -1 1077936128 250272 0 0 0 44500 148 0 0 20 0 3 0 29935687 263491584 52574 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
/proc/235384/statm: 64329 52574 3294 3032 0 55249 0
[pid=235384/tid=235386] ppid=235381 vsize=257316 memory=2672 CPUtime=446.38 cores=4,6
/proc/235384/task/235386/stat : 235386 (fscip) R 235381 235384 235357 0 -1 4194368 247297 0 0 0 44492 146 0 0 20 0 3 0 29935692 263491584 52574 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
[pid=235384/tid=235387] ppid=235381 vsize=257316 memory=6720661064872443238 CPUtime=0 cores=4,6
/proc/235384/task/235387/stat : 235387 (fscip) S 235381 235384 235357 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 29935694 263491584 52574 134679101440 4194304 16613245 140734038736288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 43614208 140734038742040 140734038742156 140734038742156 140734038749168 0
Current children cumulated CPU time: 446.48 s
Current children cumulated vsize: 257316 KiB
Current children cumulated memory: 210296 KiB

Child status: 0

Real time (s): 448.291
CPU time (s): 446.584
CPU user time (s): 445.089
CPU system time (s): 1.49549
CPU usage (%): 99.6192
Max. virtual memory (cumulated for all children) (KiB): 257316
Max. memory (cumulated for all children) (KiB): 210296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 445.089
system time used= 1.49549
maximum resident set size= 210300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252783
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= 1442
involuntary context switches= 440


# summary of solver processes directly reported to runsolver:
#   pid: 235384
#   total CPU time (s): 446.584
#   total CPU user time (s): 445.089
#   total CPU system time (s): 1.49549

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.53625 second user time and 3.8657 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-25 22:31:02
IDJOB=4459667
IDBENCH=148308
IDSOLVER=3064
FILE ID=nodeC007/4459667-1721939462
RUNJOBID= nodeC007-1721939462-235368
SLURM_JOB_ID= 8247261
Free space on /tmp= 723784 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=307-P1=59-P2=149-P3=337-P4=409-P5=457-P6=79-P7=53-P8=347-P9=487-B.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-4459667-1721939462/watcher-4459667-1721939462 -o /tmp/evaluation-result-4459667-1721939462/solver-4459667-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721939462-235368 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4459667-1721939462.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 38d74c6946365bca81da903286cf8100
RANDOM SEED=1503976896

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124719072 kB
MemAvailable:   129917872 kB
Buffers:          338116 kB
Cached:          5559528 kB
SwapCached:          152 kB
Active:          1798156 kB
Inactive:        4344420 kB
Active(anon):       2128 kB
Inactive(anon):   287916 kB
Active(file):    1796028 kB
Inactive(file):  4056504 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060916 kB
Dirty:             27916 kB
Writeback:             0 kB
AnonPages:        245140 kB
Mapped:            88736 kB
Shmem:             45112 kB
KReclaimable:     372936 kB
Slab:             485360 kB
SReclaimable:     372936 kB
SUnreclaim:       112424 kB
KernelStack:        3524 kB
PageTables:         9616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     549008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14336 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 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:      437064 kB
DirectMap2M:    60284928 kB
DirectMap1G:    75497472 kB

Free space on /tmp at the end= 723672 MiB
End job on nodeC007 at 2024-07-25 22:38:31