Trace number 4447910

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02UNSAT 363.567 364.876

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x30split.cnf-extracted.pb.metafix.opb
MD5SUMdf1ea8e35ca351873c186fccf5f73c78
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.040159
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables181
Total number of constraints242
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)240
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00	c Default LC presolving (default).
0.00/0.00	c ** Before presolving: virtualMemUsedAtLc = 22970368, getVmSize() = 22970368, SCIPgetMemUsed() = 1223906, SCIPgetMemTotal() = 1530394, SCIPgetMemExternEstim() = 1048576
0.00/0.00	c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00	c ** Estimated virtualMemUsedAtSolver = 16433152, getVmSize() = 26329088, SCIPgetMemUsed() = 2357705, SCIPgetMemTotal() = 3718697, SCIPgetMemExternEstim() = 1048576
0.00/0.00	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00	c Original Problem   :
0.00/0.00	c   Problem name     : instance-4447910-1721361277
0.00/0.00	c   Variables        : 181 (181 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00	c   Constraints      : 242
0.00/0.00	c   Objective sense  : minimize
0.00/0.00	c Presolved Problem  :
0.00/0.00	c   Variables        : 180 (180 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00	c   Constraints      : 90
0.00/0.00	c Constraints        : Number
0.00/0.00	c   linear           : 90 
0.00/0.00	c ** Instance transfer method used: 0
0.00/0.00	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)
5.08/5.16	c         5           3606        2191         1                -           0.0000          -
10.15/10.21	c        10          16880        7397         1                -           0.0000          -
15.13/15.26	c        15          32039       12060         1                -           0.0000          -
20.21/20.30	c        20          45883         397         1                -           0.0000          -
25.18/25.35	c        25          60461        4039         1                -           0.0000          -
30.26/30.40	c        30          73168        5720         1                -           0.0000          -
35.24/35.45	c        35          85336        7359         1                -           0.0000          -
40.31/40.50	c        41          97246        8933         1                -           0.0000          -
45.29/45.55	c        46         109709       10028         1                -           0.0000          -
50.37/50.60	c        51         120696       10398         1                -           0.0000          -
55.34/55.65	c        56         132423       10939         1                -           0.0000          -
60.43/60.70	c        61         143532       11146         1                -           0.0000          -
65.41/65.74	c        66         153731       11416         1                -           0.0000          -
70.38/70.79	c        71         165840       12388         1                -           0.0000          -
75.47/75.85	c        76         177710       12554         1                -           0.0000          -
80.44/80.90	c        81         189703       12895         1                -           0.0000          -
85.53/85.94	c        86         200997       12727         1                -           0.0000          -
90.51/90.99	c        91         211570       12539         1                -           0.0000          -
95.59/96.04	c        96         223403       12847         1                -           0.0000          -
100.58/101.09	c       101         235660       12996         1                -           0.0000          -
105.66/106.14	c       106         247299       13303         1                -           0.0000          -
110.65/111.19	c       111         259026       13321         1                -           0.0000          -
115.72/116.24	c       116         270979       13303         1                -           0.0000          -
120.71/121.30	c       121         283345       13378         1                -           0.0000          -
125.79/126.35	c       126         294033       13488         1                -           0.0000          -
130.78/131.39	c       131         305381       13398         1                -           0.0000          -
135.86/136.44	c       136         316527       13037         1                -           0.0000          -
140.85/141.50	c       142         327642       13130         1                -           0.0000          -
145.93/146.54	c       147         338728       13063         1                -           0.0000          -
150.91/151.60	c       152         349632       12972         1                -           0.0000          -
155.99/156.64	c       157         360893       12951         1                -           0.0000          -
161.08/161.70	c       162         372728       12932         1                -           0.0000          -
166.05/166.74	c       167         384405       12902         1                -           0.0000          -
171.03/171.79	c       172         394922       12473         1                -           0.0000          -
176.11/176.84	c       177         405963       12420         1                -           0.0000          -
181.09/181.89	c       182         417276       12410         1                -           0.0000          -
186.17/186.94	c       187         428143       12691         1                -           0.0000          -
191.25/192.00	c       192         437979       12299         1                -           0.0000          -
196.23/197.04	c       197         448000       12128         1                -           0.0000          -
201.22/202.10	c       202         458227       11723         1                -           0.0000          -
206.30/207.15	c       207         469406       11715         1                -           0.0000          -
211.28/212.19	c       212         479515       11520         1                -           0.0000          -
216.36/217.24	c       217         489883       11314         1                -           0.0000          -
221.35/222.29	c       222         500057       10812         1                -           0.0000          -
226.43/227.34	c       227         509914       10283         1                -           0.0000          -
231.41/232.39	c       232         519349        9321         1                -           0.0000          -
236.49/237.44	c       237         529837        9181         1                -           0.0000          -
241.48/242.49	c       242         542505        9035         1                -           0.0000          -
246.56/247.54	c       248         552252       13034         1                -           0.0000          -
251.54/252.59	c       253         561245       14811         1                -           0.0000          -
256.62/257.65	c       258         570391       17145         1                -           0.0000          -
261.61/262.69	c       263         580099       18442         1                -           0.0000          -
266.69/267.74	c       268         589936       18994         1                -           0.0000          -
271.67/272.79	c       273         599809       19140         1                -           0.0000          -
276.77/277.84	c       278         610108       19478         1                -           0.0000          -
281.75/282.89	c       283         621268       19561         1                -           0.0000          -
286.83/287.94	c       288         631981       19997         1                -           0.0000          -
291.82/292.99	c       293         642387       19979         1                -           0.0000          -
296.90/298.04	c       298         652411       19808         1                -           0.0000          -
301.89/303.09	c       303         662851       19740         1                -           0.0000          -
306.97/308.14	c       308         673556       19608         1                -           0.0000          -
311.95/313.19	c       313         683742       19523         1                -           0.0000          -
317.03/318.24	c       318         693438       19720         1                -           0.0000          -
322.01/323.29	c       323         704022       19907         1                -           0.0000          -
327.10/328.34	c       328         714374       19708         1                -           0.0000          -
332.08/333.39	c       333         724006       19662         1                -           0.0000          -
337.17/338.44	c       338         733186       19292         1                -           0.0000          -
342.15/343.49	c       344         743483       19409         1                -           0.0000          -
347.23/348.55	c       349         752992       19202         1                -           0.0000          -
352.21/353.59	c       354         763162       19163         1                -           0.0000          -
357.30/358.64	c       359         773423       19045         1                -           0.0000          -
362.28/363.70	c       364         781968       18111         1                -           0.0000          -
363.49/364.86	c       365         783882           0         0                -           0.0000          -
363.49/364.87	c       365         783882           0         0                -           0.0000          -
363.49/364.87	c SCIP Status        : c problem is solved [infeasible]
363.49/364.87	c Total Time         : 364.8700
363.49/364.87	c   solving          : 364.8700
363.49/364.87	c   presolving       : 0.0030 (included in solving)
363.49/364.87	c B&B Tree           :
363.49/364.87	c   nodes (total)    : 783882
363.49/364.87	c Solution           :
363.49/364.87	c   Solutions found  : 0
363.49/364.87	c   Primal Bound     :          -
363.49/364.87	c   Dual Bound       :          -
363.49/364.87	c Gap                :          -
363.49/364.87	s UNSATISFIABLE

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (60715 MiB free)
  memory of node 1: 64473 MiB (59991 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.105906 s]*
/proc/loadavg: 4.13 4.11 4.09 5/264 986259
/proc/meminfo: memFree=123623512/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=26364 CPUtime=0.1 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 4097 0 0 0 10 0 0 0 20 0 3 0 188294782 111542272 6591 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 6591 2942 3032 0 10231 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 2505 0 0 0 9 0 0 0 20 0 3 0 188294783 111542272 6591 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=232851243367 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 6591 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 26364 KiB

[startup+0.205637 s]*
/proc/loadavg: 4.13 4.11 4.09 5/264 986259
/proc/meminfo: memFree=123650528/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=27156 CPUtime=0.19 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 4329 0 0 0 19 0 0 0 20 0 3 0 188294782 111542272 6789 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 6789 2942 3032 0 10379 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 2737 0 0 0 19 0 0 0 20 0 3 0 188294783 111542272 6789 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=1656803 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 6789 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 27156 KiB

[startup+0.305656 s]*
/proc/loadavg: 4.13 4.11 4.09 5/264 986259
/proc/meminfo: memFree=123688104/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=27684 CPUtime=0.29 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 4471 0 0 0 29 0 0 0 20 0 3 0 188294782 111542272 6921 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 6921 2942 3032 0 10393 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=-6370454262608214889 CPUtime=0.29 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 2879 0 0 0 29 0 0 0 20 0 3 0 188294783 111542272 6921 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=0 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 6921 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 27684 KiB

[startup+0.700257 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 986259
/proc/meminfo: memFree=123738124/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=30608 CPUtime=0.68 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 5303 0 0 0 68 0 0 0 20 0 3 0 188294782 111542272 7652 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 7652 2942 3032 0 10999 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=0 CPUtime=0.67 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 3711 0 0 0 67 0 0 0 20 0 3 0 188294783 111542272 7652 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=0 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 7652 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 30608 KiB

[startup+1.50024 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 986259
/proc/meminfo: memFree=124004296/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=31800 CPUtime=1.49 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 8784 0 0 0 148 1 0 0 20 0 3 0 188294782 111542272 7950 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 7950 2942 3032 0 11279 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=0 CPUtime=1.47 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 7174 0 0 0 147 0 0 0 20 0 3 0 188294783 111542272 7950 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=0 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 7950 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 31800 KiB

[startup+3.10551 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 986309
/proc/meminfo: memFree=125700440/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=36236 CPUtime=3.08 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 10176 0 0 0 307 1 0 0 20 0 3 0 188294782 111542272 9059 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 9059 2942 3032 0 12342 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=2273 CPUtime=3.07 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 8563 0 0 0 306 1 0 0 20 0 3 0 188294783 111542272 9059 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=0 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 9059 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 36236 KiB

[startup+6.30021 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 986357
/proc/meminfo: memFree=129059468/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=38500 CPUtime=6.26 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 15309 0 0 0 624 2 0 0 20 0 3 0 188294782 111542272 9625 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 9625 2990 3032 0 12834 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=-6370454262608214889 CPUtime=6.26 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 13669 0 0 0 624 2 0 0 20 0 3 0 188294783 111542272 9625 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=38496 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 9625 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 38500 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 986357
/proc/meminfo: memFree=129029484/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=44732 CPUtime=12.64 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 26497 0 0 0 1258 6 0 0 20 0 3 0 188294782 111542272 11183 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 11183 2990 3032 0 14628 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=38840 CPUtime=12.63 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 24811 0 0 0 1257 6 0 0 20 0 3 0 188294783 111542272 11183 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=39060 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 11183 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 44732 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 986360
/proc/meminfo: memFree=128976020/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=61972 CPUtime=25.38 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 48511 0 0 0 2526 12 0 0 20 0 3 0 188294782 111542272 15493 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 15493 2990 3032 0 19695 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=11608 CPUtime=25.37 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 46745 0 0 0 2525 12 0 0 20 0 3 0 188294783 111542272 15493 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=4352 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 15493 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 61972 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 986748
/proc/meminfo: memFree=128902564/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=70328 CPUtime=50.87 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 68643 0 0 0 5066 21 0 0 20 0 3 0 188294782 111542272 17582 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 17582 2990 3032 0 21143 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=69308 CPUtime=50.86 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 66813 0 0 0 5065 21 0 0 20 0 3 0 188294783 111542272 17582 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=69272 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 17582 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 70328 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 986757
/proc/meminfo: memFree=128775552/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=75952 CPUtime=101.87 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 87500 0 0 0 10152 35 0 0 20 0 3 0 188294782 111542272 18988 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 18988 2990 3032 0 21744 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=75740 CPUtime=101.85 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 85585 0 0 0 10150 35 0 0 20 0 3 0 188294783 111542272 18988 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=75740 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 18988 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 75952 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 986769
/proc/meminfo: memFree=128632908/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=78352 CPUtime=161.67 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 91287 0 0 0 16115 52 0 0 20 0 3 0 188294782 111542272 19588 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 19588 2990 3032 0 22365 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=11608 CPUtime=161.66 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 89329 0 0 0 16114 52 0 0 20 0 3 0 188294783 111542272 19588 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=11608 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 19588 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 78352 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 986949
/proc/meminfo: memFree=128501540/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=78416 CPUtime=221.45 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 92291 0 0 0 22078 67 0 0 20 0 3 0 188294782 111542272 19604 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 19604 2990 3032 0 22365 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=11608 CPUtime=221.42 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 90308 0 0 0 22076 66 0 0 20 0 3 0 188294783 111542272 19604 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=45740 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 19604 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 78416 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/267 986959
/proc/meminfo: memFree=128384416/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=108928 memory=79312 CPUtime=281.25 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 93595 0 0 0 28042 83 0 0 20 0 3 0 188294782 111542272 19828 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 27232 19828 2990 3032 0 22365 0
[pid=986256/tid=986258] ppid=986253 vsize=108928 memory=78500 CPUtime=281.22 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 91589 0 0 0 28040 82 0 0 20 0 3 0 188294783 111542272 19828 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=108928 memory=45740 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 188294783 111542272 19828 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 108928 KiB
Current children cumulated memory: 79312 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 986973
/proc/meminfo: memFree=128247320/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=174464 memory=85772 CPUtime=341.06 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 98220 0 0 0 34009 97 0 0 20 0 3 0 188294782 178651136 21443 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 43616 21443 2990 3032 0 24261 0
[pid=986256/tid=986258] ppid=986253 vsize=174464 memory=78500 CPUtime=341.02 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 96191 0 0 0 34006 96 0 0 20 0 3 0 188294783 178651136 21443 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=174464 memory=45740 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 188294783 178651136 21443 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 174464 KiB
Current children cumulated memory: 85772 KiB

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

# cumulated CPU time of all completed processes:  user=362.535 s, system=1.03225 s

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

[startup+345.6 s]
/proc/loadavg: 4.17 4.11 4.09 5/269 986975
/proc/meminfo: memFree=128239028/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=174464 memory=85828 CPUtime=344.34 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 98239 0 0 0 34337 97 0 0 20 0 3 0 188294782 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 43616 21457 2990 3032 0 24261 0
[pid=986256/tid=986258] ppid=986253 vsize=174464 memory=12384 CPUtime=344.32 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 96210 0 0 0 34335 97 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=174464 memory=81000 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 344.34 s
Current children cumulated vsize: 174464 KiB
Current children cumulated memory: 85828 KiB

[startup+358.4 s]
/proc/loadavg: 4.22 4.13 4.10 5/269 986976
/proc/meminfo: memFree=128209664/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=174464 memory=85828 CPUtime=357.1 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 98258 0 0 0 35609 101 0 0 20 0 3 0 188294782 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 43616 21457 2990 3032 0 24261 0
[pid=986256/tid=986258] ppid=986253 vsize=174464 memory=79312 CPUtime=357.06 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 96229 0 0 0 35606 100 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=174464 memory=12384 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 357.1 s
Current children cumulated vsize: 174464 KiB
Current children cumulated memory: 85828 KiB

[startup+361.6 s]
/proc/loadavg: 4.20 4.12 4.10 5/269 986976
/proc/meminfo: memFree=128206048/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=174464 memory=85828 CPUtime=360.29 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 99322 0 0 0 35927 102 0 0 20 0 3 0 188294782 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 43616 21457 2990 3032 0 24261 0
[pid=986256/tid=986258] ppid=986253 vsize=174464 memory=81000 CPUtime=360.25 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 97283 0 0 0 35924 101 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=174464 memory=85828 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 360.29 s
Current children cumulated vsize: 174464 KiB
Current children cumulated memory: 85828 KiB

[startup+363.2 s]
/proc/loadavg: 4.20 4.12 4.10 5/269 986979
/proc/meminfo: memFree=128201652/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=174464 memory=85828 CPUtime=361.88 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 99334 0 0 0 36086 102 0 0 20 0 3 0 188294782 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 43616 21457 2990 3032 0 24261 0
[pid=986256/tid=986258] ppid=986253 vsize=174464 memory=85828 CPUtime=361.86 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 97295 0 0 0 36084 102 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=174464 memory=85828 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 361.88 s
Current children cumulated vsize: 174464 KiB
Current children cumulated memory: 85828 KiB

[startup+364 s]*
/proc/loadavg: 4.19 4.12 4.10 5/269 986979
/proc/meminfo: memFree=128200336/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=174464 memory=85828 CPUtime=362.68 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 99347 0 0 0 36166 102 0 0 20 0 3 0 188294782 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 43616 21457 2990 3032 0 24261 0
[pid=986256/tid=986258] ppid=986253 vsize=174464 memory=6720661051987608173 CPUtime=362.66 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 97299 0 0 0 36164 102 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=174464 memory=-8549726973809049496 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 362.68 s
Current children cumulated vsize: 174464 KiB
Current children cumulated memory: 85828 KiB

[startup+364.4 s]
/proc/loadavg: 4.19 4.12 4.10 5/269 986979
/proc/meminfo: memFree=128200336/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=174464 memory=85828 CPUtime=363.08 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 99347 0 0 0 36206 102 0 0 20 0 3 0 188294782 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 43616 21457 2990 3032 0 24261 0
[pid=986256/tid=986258] ppid=986253 vsize=174464 memory=85828 CPUtime=363.05 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 97299 0 0 0 36203 102 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=174464 memory=16184 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 363.08 s
Current children cumulated vsize: 174464 KiB
Current children cumulated memory: 85828 KiB

[startup+364.8 s]
/proc/loadavg: 4.19 4.12 4.10 5/269 986979
/proc/meminfo: memFree=128200336/131524600 swapFree=131071996/131071996
[pid=986256] ppid=986253 vsize=174464 memory=85828 CPUtime=363.49 cores=1,3
/proc/986256/stat : 986256 (fscip) S 986253 986256 982041 0 -1 1077936128 99372 0 0 0 36246 103 0 0 20 0 3 0 188294782 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
/proc/986256/statm: 43616 21457 2990 3032 0 24261 0
[pid=986256/tid=986258] ppid=986253 vsize=174464 memory=12384 CPUtime=363.45 cores=1,3
/proc/986256/task/986258/stat : 986258 (fscip) R 986253 986256 982041 0 -1 4194368 97324 0 0 0 36243 102 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
[pid=986256/tid=986259] ppid=986253 vsize=174464 memory=11608 CPUtime=0 cores=1,3
/proc/986256/task/986259/stat : 986259 (fscip) S 986253 986256 982041 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 188294783 178651136 21457 134679101440 4194304 16613245 140721364097952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 50479104 140721364104212 140721364104328 140721364104328 140721364111344 0
Current children cumulated CPU time: 363.49 s
Current children cumulated vsize: 174464 KiB
Current children cumulated memory: 85828 KiB

Child status: 0

Real time (s): 364.876
CPU time (s): 363.567
CPU user time (s): 362.535
CPU system time (s): 1.03225
CPU usage (%): 99.6412
Max. virtual memory (cumulated for all children) (KiB): 174464
Max. memory (cumulated for all children) (KiB): 85828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 362.535
system time used= 1.03225
maximum resident set size= 85828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99985
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= 1147
involuntary context switches= 232


# summary of solver processes directly reported to runsolver:
#   pid: 986256
#   total CPU time (s): 363.567
#   total CPU user time (s): 362.535
#   total CPU system time (s): 1.03225

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.784563 second user time and 1.71352 second system time

The end

Launcher Data

Begin job on nodeC028 at 2024-07-19 05:54:50
IDJOB=4447910
IDBENCH=160348
IDSOLVER=3064
FILE ID=nodeC028/4447910-1721361277
RUNJOBID= nodeC028-1721354084-982053
SLURM_JOB_ID= 7542773
Free space on /tmp= 889984 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid3x30split.cnf-extracted.pb.metafix.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-4447910-1721361277/watcher-4447910-1721361277 -o /tmp/evaluation-result-4447910-1721361277/solver-4447910-1721361277 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982053 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4447910-1721361277.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= df1ea8e35ca351873c186fccf5f73c78
RANDOM SEED=109211817

nodeC028.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		: 3670.036
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.56
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		: 3667.123
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	: 7005.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123594140 kB
MemAvailable:   124162148 kB
Buffers:          512892 kB
Cached:           896552 kB
SwapCached:            0 kB
Active:          1013100 kB
Inactive:        6309368 kB
Active(anon):       1536 kB
Inactive(anon):  5949212 kB
Active(file):    1011564 kB
Inactive(file):   360156 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             56572 kB
Writeback:             0 kB
AnonPages:       5900964 kB
Mapped:           142132 kB
Shmem:             37720 kB
KReclaimable:      72224 kB
Slab:             179604 kB
SReclaimable:      72224 kB
SUnreclaim:       107380 kB
KernelStack:        4208 kB
PageTables:        21308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1692548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            66336 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2086912 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:      197332 kB
DirectMap2M:    20547584 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 889956 MiB
End job on nodeC028 at 2024-07-19 06:00:55