Trace number 4426769

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-02OPTIMUM 488.815 490.985

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo
MD5SUM986151a138d2ed587805254495fec40d
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark32.3999
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1868
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 94981
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94980
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 709
Number of bits of the biggest sum of numbers10
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.02	c Default LC presolving (default).
0.00/0.02	c ** Before presolving: virtualMemUsedAtLc = 33890304, getVmSize() = 33890304, SCIPgetMemUsed() = 8636912, SCIPgetMemTotal() = 11893144, SCIPgetMemExternEstim() = 6339354
0.00/0.02	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.88/0.95	c ** Estimated virtualMemUsedAtSolver = 28033024, getVmSize() = 50208768, SCIPgetMemUsed() = 16371240, SCIPgetMemTotal() = 26695744, SCIPgetMemExternEstim() = 6339354
0.88/0.95	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.88/0.95	c Original Problem   :
0.88/0.95	c   Problem name     : instance-4426769-1720905626
0.88/0.95	c   Variables        : 2099 (2099 binary, 0 integer, 0 implicit integer, 0 continuous)
0.88/0.95	c   Constraints      : 4576
0.88/0.95	c   Objective sense  : minimize
0.88/0.95	c Presolved Problem  :
0.88/0.95	c   Variables        : 2117 (2099 binary, 0 integer, 18 implicit integer, 0 continuous)
0.88/0.95	c   Constraints      : 2714
0.88/0.95	c Constraints        : Number
0.88/0.95	c   setppc           : 55 
0.88/0.95	c   linear           : 1868 
0.88/0.95	c   logicor          : 748 
0.88/0.95	c   indicator        : 43 
0.88/0.95	c ** Instance transfer method used: 0
0.88/0.96	c ** ParaScipInstance copy does not increase the number of variables. **
0.88/0.97	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.88/0.97	c                                Nodes    Active                                            
0.88/0.97	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.98/1.02	c *       1              0           1         1       63378.0000                -          -
0.98/1.02	c *       1              0           1         1         719.0000                -          -
2.76/2.81	c *       3              0           1         1         632.0000                -          -
2.76/2.85	c *       3              0           1         1         600.0000                -          -
2.76/2.86	c *       3              0           1         1         470.0000                -          -
4.45/4.51	c *       5             11          10         1         221.0000           0.0000          -
5.05/5.19	c         5             20          15         1         221.0000           0.0000          -
5.15/5.27	c *       5             20          15         1         213.0000           0.0000          -
5.34/5.43	c *       5             20          15         1           9.0000           0.0000          -
10.91/11.09	c        11             98          11         1           9.0000           0.0000          -
16.88/17.04	c        17            460          47         1           9.0000           0.0000          -
21.97/22.19	c        22           1188         142         1           9.0000           0.0000          -
27.23/27.45	c        27           1619          47         1           9.0000           0.0000          -
32.31/32.55	c        33           2920         399         1           9.0000           0.0000          -
37.38/37.65	c        38           4149         659         1           9.0000           0.0000          -
42.56/42.80	c        43           5420         858         1           9.0000           0.0000          -
47.84/48.19	c        48           6644        1037         1           9.0000           0.0000          -
52.91/53.25	c        53           8496        1269         1           9.0000           0.0000          -
58.09/58.48	c        58          10130        1460         1           9.0000           0.0000          -
63.17/63.53	c        64          12438        1721         1           9.0000           0.0000          -
68.15/68.57	c        69          14270        2011         1           9.0000           0.0000          -
73.32/73.71	c        74          15923        2274         1           9.0000           0.0000          -
78.40/78.88	c        79          17926        2620         1           9.0000           0.0000          -
83.48/83.97	c        84          19319        2838         1           9.0000           0.0000          -
88.57/89.09	c        89          21194        3213         1           9.0000           0.0000          -
93.64/94.14	c        94          23095        3509         1           9.0000           0.0000          -
98.71/99.26	c        99          24953        3827         1           9.0000           0.0000          -
103.79/104.31	c       104          26650        4181         1           9.0000           0.0000          -
109.17/109.78	c       110          28449        4450         1           9.0000           0.0000          -
114.95/115.54	c       116          29967        4668         1           9.0000           0.0000          -
120.02/120.67	c       121          31113        4876         1           9.0000           0.0000          -
125.30/125.96	c       126          31909        5068         1           9.0000           0.0000          -
130.48/131.19	c       131          32808        5242         1           9.0000           0.0000          -
135.66/136.32	c       136          33743        5408         1           9.0000           0.0000          -
141.03/141.71	c       142          34414        5574         1           9.0000           0.0000          -
146.32/147.05	c       147          35682        5763         1           9.0000           0.0000          -
151.39/152.12	c       152          37620        6128         1           9.0000           0.0000          -
156.76/157.59	c       158          39120        6521         1           9.0000           0.0000          -
161.94/162.71	c       163          40798        6787         1           9.0000           0.0000          -
167.23/168.03	c       168          41812        7007         1           9.0000           0.0000          -
172.50/173.31	c       173          42549        7158         1           9.0000           0.0000          -
177.67/178.56	c       179          44086        7448         1           9.0000           0.0000          -
182.84/183.77	c       184          45059        7644         1           9.0000           0.0000          -
188.02/188.93	c       189          46370        7863         1           9.0000           0.0000          -
193.01/193.99	c       194          47729        8159         1           9.0000           0.0000          -
198.09/199.06	c       199          49342        8570         1           9.0000           0.0000          -
203.16/204.18	c       204          50727        8730         1           9.0000           0.0000          -
208.34/209.31	c       209          52204        9039         1           9.0000           0.0000          -
213.31/214.37	c       214          54090        9520         1           9.0000           0.0000          -
218.69/219.78	c       220          55425        9763         1           9.0000           0.0000          -
223.87/224.98	c       225          57188       10070         1           9.0000           0.0000          -
228.95/230.10	c       230          58435       10322         1           9.0000           0.0000          -
234.12/235.22	c       235          59648       10485         1           9.0000           0.0000          -
239.10/240.27	c       240          60761       10692         1           9.0000           0.0000          -
244.38/245.53	c       246          62358       10883         1           9.0000           0.0000          -
247.56/248.76	c *     249          62764       10967         1           6.0000           0.0000          -
249.56/250.71	c       251          63051        7320         1           6.0000           0.0000          -
254.63/255.89	c       256          63936        7515         1           6.0000           0.0000          -
259.71/260.96	c       261          65452        7879         1           6.0000           0.0000          -
264.98/266.20	c       266          67407        8329         1           6.0000           0.0000          -
269.96/271.28	c       271          69438        8876         1           6.0000           0.0000          -
275.24/276.53	c       277          71270        9280         1           6.0000           0.0000          -
280.21/281.58	c       282          73210        9629         1           6.0000           0.0000          -
285.39/286.72	c       287          74912        9961         1           6.0000           0.0000          -
290.36/291.77	c       292          77430       10451         1           6.0000           0.0000          -
295.54/296.92	c       297          79593       10912         1           6.0000           0.0000          -
300.63/302.03	c       302          81262       11202         1           6.0000           0.0000          -
305.70/307.12	c       307          83047       11412         1           6.0000           0.0000          -
310.97/312.42	c       312          84342       11585         1           6.0000           0.0000          -
315.95/317.48	c       317          85539       11741         1           6.0000           0.0000          -
321.12/322.62	c       323          87044       11943         1           6.0000           0.0000          -
326.10/327.67	c       328          88277       12009         1           6.0000           0.0000          -
331.38/332.93	c       333          89487       12178         1           6.0000           0.0000          -
336.36/337.98	c       338          90954       12306         1           6.0000           0.0000          -
341.44/343.03	c       343          92953       12462         1           6.0000           0.0000          -
346.61/348.21	c       348          94564       12556         1           6.0000           0.0000          -
351.69/353.30	c       353          96261       12693         1           6.0000           0.0000          -
357.07/358.72	c       359          98175       12834         1           6.0000           0.0500          -
362.04/363.76	c       364          99955       12734         1           6.0000           0.1333          -
367.03/368.79	c       369         101615       12633         1           6.0000           0.1842          -
372.41/374.19	c       374         103865       12442         1           6.0000           0.2500          -
378.08/379.85	c       380         105735       12279         1           6.0000           0.2903          -
383.06/384.88	c       385         107585       12124         1           6.0000           0.3333          -
388.24/390.00	c       390         109605       11845         1           6.0000           0.3833          -
393.61/395.42	c       395         111705       11588         1           6.0000           0.4333          -
398.70/400.54	c       401         113505       11344         1           6.0000           0.5000          -
403.87/405.76	c       406         115515       11103         1           6.0000           0.5526          -
409.05/410.91	c       411         117415       10794         1           6.0000           0.6000          -
414.03/415.99	c       416         119375       10461         1           6.0000           0.6667          -
419.12/421.07	c       421         121495       10135         1           6.0000           0.7000          -
424.39/426.37	c       426         123555        9690         1           6.0000           0.7500          -
429.47/431.41	c       431         125305        9388         1           6.0000           0.7906          -
434.45/436.43	c       436         127344        9076         1           6.0000           0.8583          -
439.63/441.68	c       442         129115        8770         1           6.0000           0.9167          -
444.81/446.81	c       447         131135        8408         1           6.0000           0.9758          -
449.78/451.85	c       452         133134        8097         1           6.0000           1.0000    500.00%
455.27/457.38	c       457         135383        7685         1           6.0000           1.0500    471.43%
460.34/462.49	c       462         137425        7286         1           6.0000           1.1111    440.00%
465.42/467.54	c       468         139295        6840         1           6.0000           1.1852    406.25%
470.40/472.57	c       473         141275        6423         1           6.0000           1.2600    376.19%
475.48/477.62	c       478         143425        5921         1           6.0000           1.3714    337.50%
480.56/482.77	c       483         145395        5224         1           6.0000           1.4500    313.79%
480.65/482.81	c *     483         145395        5224         1           5.0000           1.4500    244.83%
485.54/487.79	c       488         147415        1204         1           5.0000           1.6902    195.82%
488.72/490.92	c       491         148617           0         0           5.0000           5.0000      0.00%
488.72/490.96	c       491         148617           0         0           5.0000           5.0000          -
488.72/490.96	c SCIP Status        : c problem is solved
488.72/490.96	c Total Time         : 490.9500
488.72/490.96	c   solving          : 490.9500
488.72/490.96	c   presolving       : 0.9352 (included in solving)
488.72/490.96	c B&B Tree           :
488.72/490.96	c   nodes (total)    : 148617
488.72/490.96	c Solution           :
488.72/490.96	c   Solutions found  : 10
488.72/490.96	c   Primal Bound     : +5.00000000000000e+00
488.72/490.96	c   Dual Bound       : +5.00000000000000e+00
488.72/490.96	c Gap                : 0.00000 %
488.72/490.97	o 5
488.72/490.97	s OPTIMUM FOUND
488.72/490.97	v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 
488.72/490.97	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 
488.72/490.97	v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 
488.72/490.97	v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
488.72/490.97	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
488.72/490.97	v -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 
488.72/490.97	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
488.72/490.97	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 
488.72/490.97	v -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 
488.72/490.97	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 
488.72/490.97	v -x1

Verifier Data 

OK	5

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 (61352 MiB free)
  memory of node 1: 64473 MiB (62048 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426769-1720905626/watcher-4426769-1720905626 -o /tmp/evaluation-result-4426769-1720905626/solver-4426769-1720905626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1720905528-732348 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426769-1720905626.wbo -qsol -t 3600 -sth 1 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100101 s]*
/proc/loadavg: 3.71 3.00 2.96 5/265 732538
/proc/meminfo: memFree=126341100/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=42916 memory=31972 CPUtime=0.09 cores=0,2
/proc/732537/stat : 732537 (fscip) R 732534 732537 729170 0 -1 4194304 5581 0 0 0 9 0 0 0 20 0 1 0 142730706 43945984 7993 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 10729 7993 2654 3032 0 7129 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42916 KiB
Current children cumulated memory: 31972 KiB

[startup+0.205908 s]*
/proc/loadavg: 3.71 3.00 2.96 5/265 732538
/proc/meminfo: memFree=126340596/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=43300 memory=32236 CPUtime=0.2 cores=0,2
/proc/732537/stat : 732537 (fscip) R 732534 732537 729170 0 -1 4194304 5677 0 0 0 20 0 0 0 20 0 1 0 142730706 44339200 8059 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 10825 8059 2654 3032 0 7225 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43300 KiB
Current children cumulated memory: 32236 KiB

[startup+0.305826 s]*
/proc/loadavg: 3.71 3.00 2.96 5/265 732538
/proc/meminfo: memFree=126339784/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=43816 memory=32764 CPUtime=0.29 cores=0,2
/proc/732537/stat : 732537 (fscip) R 732534 732537 729170 0 -1 4194304 5820 0 0 0 29 0 0 0 20 0 1 0 142730706 44867584 8191 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 10954 8191 2654 3032 0 7354 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43816 KiB
Current children cumulated memory: 32764 KiB

[startup+0.700271 s]
/proc/loadavg: 3.71 3.00 2.96 5/265 732538
/proc/meminfo: memFree=126338636/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=44844 memory=33820 CPUtime=0.68 cores=0,2
/proc/732537/stat : 732537 (fscip) R 732534 732537 729170 0 -1 4194304 6079 0 0 0 68 0 0 0 20 0 1 0 142730706 45920256 8455 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 11211 8455 2654 3032 0 7611 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44844 KiB
Current children cumulated memory: 33820 KiB

[startup+1.50028 s]
/proc/loadavg: 3.71 3.00 2.96 5/267 732540
/proc/meminfo: memFree=126318700/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=136804 memory=67752 CPUtime=1.48 cores=0,2
/proc/732537/stat : 732537 (fscip) S 732534 732537 729170 0 -1 1077936128 15377 0 0 0 146 2 0 0 20 0 3 0 142730706 140087296 16938 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 34201 16938 2830 3032 0 21418 0
[pid=732537/tid=732539] ppid=732534 vsize=136804 memory=4308 CPUtime=0.52 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 7154 0 0 0 51 1 0 0 20 0 3 0 142730802 140087296 16938 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=136804 memory=2212 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 142730803 140087296 16938 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 136804 KiB
Current children cumulated memory: 67752 KiB

[startup+3.10626 s]
/proc/loadavg: 3.71 3.00 2.96 5/267 732541
/proc/meminfo: memFree=126272824/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=141864 memory=100148 CPUtime=3.07 cores=0,2
/proc/732537/stat : 732537 (fscip) S 732534 732537 729170 0 -1 1077936128 30525 0 0 0 303 4 0 0 20 0 3 0 142730706 145268736 25037 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 35466 25037 2974 3032 0 31117 0
[pid=732537/tid=732539] ppid=732534 vsize=141864 memory=2212 CPUtime=2.1 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 21841 0 0 0 208 2 0 0 20 0 3 0 142730802 145268736 25037 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=141864 memory=33820 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 142730803 145268736 25037 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 141864 KiB
Current children cumulated memory: 100148 KiB

[startup+6.30026 s]
/proc/loadavg: 3.74 3.01 2.97 5/267 732543
/proc/meminfo: memFree=126243284/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=207400 memory=148144 CPUtime=6.23 cores=0,2
/proc/732537/stat : 732537 (fscip) S 732534 732537 729170 0 -1 1077936128 47139 0 0 0 617 6 0 0 20 0 3 0 142730706 212377600 37036 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 51850 37036 2990 3032 0 43409 0
[pid=732537/tid=732539] ppid=732534 vsize=207400 memory=11376 CPUtime=5.26 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 38337 0 0 0 522 4 0 0 20 0 3 0 142730802 212377600 37036 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=207400 memory=100148 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 142730803 212377600 37036 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 207400 KiB
Current children cumulated memory: 148144 KiB

[startup+12.7003 s]
/proc/loadavg: 3.76 3.03 2.97 5/267 732543
/proc/meminfo: memFree=126207560/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=207400 memory=162176 CPUtime=12.6 cores=0,2
/proc/732537/stat : 732537 (fscip) S 732534 732537 729170 0 -1 1077936128 76699 0 0 0 1252 8 0 0 20 0 3 0 142730706 212377600 40544 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 51850 40544 2990 3032 0 46825 0
[pid=732537/tid=732539] ppid=732534 vsize=207400 memory=162144 CPUtime=11.64 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 67812 0 0 0 1157 7 0 0 20 0 3 0 142730802 212377600 40544 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=207400 memory=2273 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 142730803 212377600 40544 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 207400 KiB
Current children cumulated memory: 162176 KiB

[startup+25.5003 s]
/proc/loadavg: 3.89 3.09 3.00 5/267 732546
/proc/meminfo: memFree=126200980/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=207400 memory=164628 CPUtime=25.34 cores=0,2
/proc/732537/stat : 732537 (fscip) S 732534 732537 729170 0 -1 1077936128 112984 0 0 0 2523 11 0 0 20 0 3 0 142730706 212377600 41157 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 51850 41157 3310 3032 0 46825 0
[pid=732537/tid=732539] ppid=732534 vsize=207400 memory=164628 CPUtime=24.37 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 104011 0 0 0 2427 10 0 0 20 0 3 0 142730802 212377600 41157 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=207400 memory=163852 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 142730803 212377600 41157 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 207400 KiB
Current children cumulated memory: 164628 KiB

[startup+51.1057 s]
/proc/loadavg: 3.99 3.18 3.03 5/267 732597
/proc/meminfo: memFree=126408480/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=272936 memory=196304 CPUtime=50.83 cores=0,2
/proc/732537/stat : 732537 (fscip) S 732534 732537 729170 0 -1 1077936128 188795 0 0 0 5062 21 0 0 20 0 3 0 142730706 279486464 49076 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 68234 49076 3310 3032 0 54008 0
[pid=732537/tid=732539] ppid=732534 vsize=272936 memory=196296 CPUtime=49.86 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 179651 0 0 0 4966 20 0 0 20 0 3 0 142730802 279486464 49076 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=272936 memory=0 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 142730803 279486464 49076 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 272936 KiB
Current children cumulated memory: 196304 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 3.34 3.09 5/267 732607
/proc/meminfo: memFree=126243044/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=285496 memory=208500 CPUtime=101.8 cores=0,2
/proc/732537/stat : 732537 (fscip) S 732534 732537 729170 0 -1 1077936128 261094 0 0 0 10144 36 0 0 20 0 3 0 142730706 292347904 52125 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 71374 52125 3310 3032 0 57148 0
[pid=732537/tid=732539] ppid=732534 vsize=285496 memory=207888 CPUtime=100.82 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 251789 0 0 0 10048 34 0 0 20 0 3 0 142730802 292347904 52125 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=285496 memory=203872 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 142730803 292347904 52125 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 285496 KiB
Current children cumulated memory: 208500 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 3.48 3.16 5/268 732619
/proc/meminfo: memFree=126167140/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=304040 memory=244532 CPUtime=161.54 cores=0,2
/proc/732537/stat : 732537 (fscip) S 732534 732537 729170 0 -1 1077936128 343818 0 0 0 16103 51 0 0 20 0 3 0 142730706 311336960 61133 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 76010 61133 3310 3032 0 67279 0
[pid=732537/tid=732539] ppid=732534 vsize=304040 memory=233632 CPUtime=160.56 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 334401 0 0 0 16007 49 0 0 20 0 3 0 142730802 311336960 61133 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=304040 memory=231716 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 142730803 311336960 61133 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 161.54 s
Current children cumulated vsize: 304040 KiB
Current children cumulated memory: 244532 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.59 3.22 5/266 732632
/proc/meminfo: memFree=126074168/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=378232 memory=294772 CPUtime=221.28 cores=0,2
/proc/732537/stat : 732537 (fscip) S 732534 732537 729170 0 -1 1077936128 371550 0 0 0 22064 64 0 0 20 0 3 0 142730706 387309568 73693 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 94558 73693 3310 3032 0 79921 0
[pid=732537/tid=732539] ppid=732534 vsize=378232 memory=251504 CPUtime=220.29 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 362102 0 0 0 21967 62 0 0 20 0 3 0 142730802 387309568 73693 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=378232 memory=294772 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 142730803 387309568 73693 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 221.28 s
Current children cumulated vsize: 378232 KiB
Current children cumulated memory: 294772 KiB

[startup+282.3 s]

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

/proc/732537/statm: 100742 78917 3310 3032 0 86105 0
[pid=732537/tid=732539] ppid=732534 vsize=402968 memory=301572 CPUtime=339.75 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 438808 0 0 0 33886 89 0 0 20 0 3 0 142730802 412639232 78917 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=402968 memory=1912 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 142730803 412639232 78917 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 340.74 s
Current children cumulated vsize: 402968 KiB
Current children cumulated memory: 315668 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.84 3.39 5/266 733053
/proc/meminfo: memFree=126090560/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=402968 memory=322112 CPUtime=400.48 cores=0,2
/proc/732537/stat : 732537 (fscip) S 732534 732537 729170 0 -1 1077936128 491691 0 0 0 39941 107 0 0 20 0 3 0 142730706 412639232 80528 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 100742 80528 3310 3032 0 86105 0
[pid=732537/tid=732539] ppid=732534 vsize=402968 memory=316600 CPUtime=399.47 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 481750 0 0 0 39843 104 0 0 20 0 3 0 142730802 412639232 80528 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=402968 memory=321508 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 142730803 412639232 80528 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 400.48 s
Current children cumulated vsize: 402968 KiB
Current children cumulated memory: 322112 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.90 3.44 6/265 733278
/proc/meminfo: memFree=124509232/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=415872 memory=328732 CPUtime=460.24 cores=0,2
/proc/732537/stat : 732537 (fscip) S 732534 732537 729170 0 -1 1077936128 538448 0 0 0 45898 126 0 0 20 0 3 0 142730706 425852928 82183 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 103968 82183 3310 3032 0 89331 0
[pid=732537/tid=732539] ppid=732534 vsize=415872 memory=328732 CPUtime=459.2 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 528459 0 0 0 45798 122 0 0 20 0 3 0 142730802 425852928 82183 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=415872 memory=5464 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 142730803 425852928 82183 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 460.24 s
Current children cumulated vsize: 415872 KiB
Current children cumulated memory: 328732 KiB

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

# cumulated CPU time of all completed processes:  user=487.438 s, system=1.37686 s

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

[startup+473.6 s]
/proc/loadavg: 4.11 3.91 3.45 6/265 733280
/proc/meminfo: memFree=122670176/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=415872 memory=333372 CPUtime=471.5 cores=0,2
/proc/732537/stat : 732537 (fscip) S 732534 732537 729170 0 -1 1077936128 544952 0 0 0 47020 130 0 0 20 0 3 0 142730706 425852928 83343 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 103968 83343 3310 3032 0 89331 0
[pid=732537/tid=732539] ppid=732534 vsize=415872 memory=35584 CPUtime=470.44 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 534959 0 0 0 46919 125 0 0 20 0 3 0 142730802 425852928 83343 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=415872 memory=328732 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 142730803 425852928 83343 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 471.5 s
Current children cumulated vsize: 415872 KiB
Current children cumulated memory: 333372 KiB

[startup+480 s]*
/proc/loadavg: 4.09 3.91 3.45 6/265 733282
/proc/meminfo: memFree=122084724/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=415872 memory=333372 CPUtime=477.88 cores=0,2
/proc/732537/stat : 732537 (fscip) S 732534 732537 729170 0 -1 1077936128 545773 0 0 0 47656 132 0 0 20 0 3 0 142730706 425852928 83343 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 103968 83343 3310 3032 0 89331 0
[pid=732537/tid=732539] ppid=732534 vsize=415872 memory=-8961434735030477500 CPUtime=476.82 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 535780 0 0 0 47555 127 0 0 20 0 3 0 142730802 425852928 83343 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=415872 memory=37188 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 142730803 425852928 83343 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 477.88 s
Current children cumulated vsize: 415872 KiB
Current children cumulated memory: 333372 KiB

[startup+486.4 s]
/proc/loadavg: 4.08 3.91 3.46 6/265 733283
/proc/meminfo: memFree=121564812/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=415872 memory=333372 CPUtime=484.24 cores=0,2
/proc/732537/stat : 732537 (fscip) S 732534 732537 729170 0 -1 1077936128 549036 0 0 0 48291 133 0 0 20 0 3 0 142730706 425852928 83343 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 103968 83343 3310 3032 0 89331 0
[pid=732537/tid=732539] ppid=732534 vsize=415872 memory=5464 CPUtime=483.19 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 538710 0 0 0 48190 129 0 0 20 0 3 0 142730802 425852928 83343 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=415872 memory=13116 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 142730803 425852928 83343 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 484.24 s
Current children cumulated vsize: 415872 KiB
Current children cumulated memory: 333372 KiB

[startup+488 s]*
/proc/loadavg: 4.08 3.91 3.46 6/265 733283
/proc/meminfo: memFree=121387376/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=415872 memory=333372 CPUtime=485.84 cores=0,2
/proc/732537/stat : 732537 (fscip) R 732534 732537 729170 0 -1 1077936128 549282 0 0 0 48450 134 0 0 20 0 3 0 142730706 425852928 83343 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 103968 83343 3310 3032 0 89331 0
[pid=732537/tid=732539] ppid=732534 vsize=415872 memory=-8961434735030477500 CPUtime=484.78 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) S 732534 732537 729170 0 -1 1077936192 538956 0 0 0 48349 129 0 0 20 0 3 0 142730802 425852928 83343 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=415872 memory=-7521988460142681982 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 142730803 425852928 83343 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 485.84 s
Current children cumulated vsize: 415872 KiB
Current children cumulated memory: 333372 KiB

[startup+489.6 s]
/proc/loadavg: 4.08 3.91 3.46 6/265 733283
/proc/meminfo: memFree=121298112/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=415872 memory=333376 CPUtime=487.43 cores=0,2
/proc/732537/stat : 732537 (fscip) S 732534 732537 729170 0 -1 1077936128 549624 0 0 0 48608 135 0 0 20 0 3 0 142730706 425852928 83344 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 103968 83344 3310 3032 0 89331 0
[pid=732537/tid=732539] ppid=732534 vsize=415872 memory=333372 CPUtime=486.37 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 539298 0 0 0 48507 130 0 0 20 0 3 0 142730802 425852928 83344 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=415872 memory=6720664341965847918 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 142730803 425852928 83344 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 487.43 s
Current children cumulated vsize: 415872 KiB
Current children cumulated memory: 333376 KiB

[startup+490.4 s]
/proc/loadavg: 4.08 3.91 3.46 6/265 733283
/proc/meminfo: memFree=121208336/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=415872 memory=333380 CPUtime=488.22 cores=0,2
/proc/732537/stat : 732537 (fscip) S 732534 732537 729170 0 -1 1077936128 549811 0 0 0 48687 135 0 0 20 0 3 0 142730706 425852928 83345 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 103968 83345 3310 3032 0 89331 0
[pid=732537/tid=732539] ppid=732534 vsize=415872 memory=11376 CPUtime=487.15 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 539485 0 0 0 48585 130 0 0 20 0 3 0 142730802 425852928 83345 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=415872 memory=333372 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 142730803 425852928 83345 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 488.22 s
Current children cumulated vsize: 415872 KiB
Current children cumulated memory: 333380 KiB

[startup+490.8 s]
/proc/loadavg: 4.08 3.91 3.46 6/265 733283
/proc/meminfo: memFree=121208336/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=415872 memory=333380 CPUtime=488.63 cores=0,2
/proc/732537/stat : 732537 (fscip) S 732534 732537 729170 0 -1 1077936128 549917 0 0 0 48727 136 0 0 20 0 3 0 142730706 425852928 83345 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 103968 83345 3310 3032 0 89331 0
[pid=732537/tid=732539] ppid=732534 vsize=415872 memory=333376 CPUtime=487.55 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 539591 0 0 0 48625 130 0 0 20 0 3 0 142730802 425852928 83345 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=415872 memory=1900 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 142730803 425852928 83345 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 488.63 s
Current children cumulated vsize: 415872 KiB
Current children cumulated memory: 333380 KiB

[startup+490.9 s]
/proc/loadavg: 4.08 3.91 3.46 6/265 733283
/proc/meminfo: memFree=121208336/131524600 swapFree=131071996/131071996
[pid=732537] ppid=732534 vsize=415872 memory=333380 CPUtime=488.72 cores=0,2
/proc/732537/stat : 732537 (fscip) S 732534 732537 729170 0 -1 1077936128 549943 0 0 0 48736 136 0 0 20 0 3 0 142730706 425852928 83345 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
/proc/732537/statm: 103968 83345 3310 3032 0 89331 0
[pid=732537/tid=732539] ppid=732534 vsize=415872 memory=333372 CPUtime=487.66 cores=0,2
/proc/732537/task/732539/stat : 732539 (fscip) R 732534 732537 729170 0 -1 4194368 539617 0 0 0 48635 131 0 0 20 0 3 0 142730802 425852928 83345 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
[pid=732537/tid=732540] ppid=732534 vsize=415872 memory=333372 CPUtime=0 cores=0,2
/proc/732537/task/732540/stat : 732540 (fscip) S 732534 732537 729170 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 142730803 425852928 83345 134679101440 4194304 16613245 140733070487376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42655744 140733070492641 140733070492757 140733070492757 140733070499824 0
Current children cumulated CPU time: 488.72 s
Current children cumulated vsize: 415872 KiB
Current children cumulated memory: 333380 KiB

Child status: 0

Real time (s): 490.985
CPU time (s): 488.815
CPU user time (s): 487.438
CPU system time (s): 1.37686
CPU usage (%): 99.5582
Max. virtual memory (cumulated for all children) (KiB): 415872
Max. memory (cumulated for all children) (KiB): 333380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 487.438
system time used= 1.37686
maximum resident set size= 333380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 556246
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= 3774
involuntary context switches= 3463


# summary of solver processes directly reported to runsolver:
#   pid: 732537
#   total CPU time (s): 488.815
#   total CPU user time (s): 487.438
#   total CPU system time (s): 1.37686

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.13828 second user time and 1.31096 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-13 23:20:39
IDJOB=4426769
IDBENCH=143618
IDSOLVER=3044
FILE ID=nodeC030/4426769-1720905626
RUNJOBID= nodeC030-1720905528-732348
SLURM_JOB_ID= 7486089
Free space on /tmp= 889996 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426769-1720905626/watcher-4426769-1720905626 -o /tmp/evaluation-result-4426769-1720905626/solver-4426769-1720905626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1720905528-732348 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4426769-1720905626.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 986151a138d2ed587805254495fec40d
RANDOM SEED=1096523469

nodeC030.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		: 3654.712
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.28
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		: 3600.143
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.11
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		: 3670.911
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.28
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		: 3678.867
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.11
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		: 3664.715
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.28
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		: 3678.907
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.11
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		: 3600.873
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.28
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		: 3599.665
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.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126363320 kB
MemAvailable:   126778588 kB
Buffers:          331244 kB
Cached:           925452 kB
SwapCached:            0 kB
Active:           533468 kB
Inactive:        4051096 kB
Active(anon):       1556 kB
Inactive(anon):  3364008 kB
Active(file):     531912 kB
Inactive(file):   687088 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28260 kB
Writeback:            32 kB
AnonPages:       3327460 kB
Mapped:           136076 kB
Shmem:             37720 kB
KReclaimable:      72180 kB
Slab:             171980 kB
SReclaimable:      72180 kB
SUnreclaim:        99800 kB
KernelStack:        4240 kB
PageTables:        15744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2217868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            56736 kB
HardwareCorrupted:     0 kB
AnonHugePages:    499712 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:      201428 kB
DirectMap2M:     7960576 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC030 at 2024-07-13 23:28:50