Trace number 4426774

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 505.956 507.784

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo
MD5SUM100b8721f67ac4f330c7a6443b255629
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark28.5424
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 constraints1816
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 92461
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 92460
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 661
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.01	c Default LC presolving (default).
0.00/0.01	c ** Before presolving: virtualMemUsedAtLc = 33861632, getVmSize() = 33861632, SCIPgetMemUsed() = 8533776, SCIPgetMemTotal() = 11889816, SCIPgetMemExternEstim() = 6242136
0.00/0.01	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.78/0.85	c ** Estimated virtualMemUsedAtSolver = 27971584, getVmSize() = 50053120, SCIPgetMemUsed() = 15997662, SCIPgetMemTotal() = 26604894, SCIPgetMemExternEstim() = 6242136
0.78/0.85	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.78/0.85	c Original Problem   :
0.78/0.85	c   Problem name     : instance-4426774-1720905573
0.78/0.85	c   Variables        : 2047 (2047 binary, 0 integer, 0 implicit integer, 0 continuous)
0.78/0.85	c   Constraints      : 4524
0.78/0.85	c   Objective sense  : minimize
0.78/0.85	c Presolved Problem  :
0.78/0.85	c   Variables        : 2064 (2047 binary, 0 integer, 17 implicit integer, 0 continuous)
0.78/0.85	c   Constraints      : 2695
0.78/0.85	c Constraints        : Number
0.78/0.85	c   setppc           : 41 
0.78/0.85	c   linear           : 1816 
0.78/0.85	c   logicor          : 797 
0.78/0.85	c   indicator        : 41 
0.78/0.85	c ** Instance transfer method used: 0
0.78/0.86	c ** ParaScipInstance copy does not increase the number of variables. **
0.78/0.87	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.78/0.87	c                                Nodes    Active                                            
0.78/0.87	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.88/0.90	c *       1              0           1         1       60824.0000                -          -
0.88/0.91	c *       1              0           1         1         763.0000                -          -
2.27/2.34	c *       2              0           1         1         100.0000                -          -
4.86/4.93	c *       5              5           6         1          96.0000           0.0000          -
4.86/4.94	c *       5              5           6         1          72.0000           0.0000          -
4.97/5.00	c *       5             18           9         1          71.0000           0.0000          -
5.56/5.63	c *       6             18           9         1          69.0000           0.0000          -
5.56/5.63	c         6             18           9         1          69.0000           0.0000          -
6.85/6.93	c *       7             24           8         1          46.0000           0.0000          -
8.24/8.32	c *       8             52          15         1          44.0000           0.0000          -
8.55/8.65	c *       9             52          15         1          33.0000           0.0000          -
8.65/8.79	c *       9             52          15         1          31.0000           0.0000          -
9.05/9.13	c *       9             52          15         1          23.0000           0.0000          -
9.45/9.56	c *      10             69          17         1          21.0000           0.0000          -
11.34/11.45	c        11            112          30         1          21.0000           0.0000          -
12.33/12.42	c *      12            112          30         1          17.0000           0.0000          -
12.63/12.70	c *      13            150          44         1           3.0000           0.0000          -
13.53/13.64	c *      14            189          52         1           2.0000           0.0000          -
16.42/16.55	c        17            613         125         1           2.0000           0.0000          -
21.51/21.70	c        22           1283         138         1           2.0000           0.0000          -
26.70/26.80	c        27           2004         154         1           2.0000           0.0000          -
32.48/32.61	c        33           2744          93         1           2.0000           0.0000          -
36.16/36.30	c *      36           3529         120         1           1.0000           0.0000          -
37.46/37.66	c        38           4423         187         1           1.0000           0.0000          -
42.55/42.71	c        43           8267         257         1           1.0000           0.0000          -
47.53/47.79	c        48          12782         240         1           1.0000           0.0000          -
52.61/52.86	c        53          16277         304         1           1.0000           0.0000          -
57.69/57.91	c        58          19793         345         1           1.0000           0.0000          -
62.68/62.96	c        63          23325         257         1           1.0000           0.0000          -
67.77/68.00	c        68          26960         384         1           1.0000           0.0000          -
72.75/73.05	c        73          30651         587         1           1.0000           0.0000          -
77.84/78.11	c        78          34132         611         1           1.0000           0.0000          -
82.82/83.17	c        83          37669         583         1           1.0000           0.0000          -
87.90/88.21	c        88          41334         547         1           1.0000           0.0000          -
92.88/93.26	c        93          45125         440         1           1.0000           0.0000          -
97.96/98.35	c        98          48140         603         1           1.0000           0.0000          -
103.05/103.40	c       103          51866         702         1           1.0000           0.0000          -
108.03/108.46	c       108          55644         732         1           1.0000           0.0000          -
113.11/113.51	c       114          59592         629         1           1.0000           0.0000          -
118.09/118.56	c       119          63524         587         1           1.0000           0.0000          -
123.17/123.61	c       124          67379         446         1           1.0000           0.0000          -
128.15/128.67	c       129          71230         313         1           1.0000           0.0000          -
133.22/133.75	c       134          75347         241         1           1.0000           0.0000          -
138.30/138.83	c       139          77694         652         1           1.0000           0.0000          -
143.29/143.89	c       144          80069         877         1           1.0000           0.0000          -
148.36/148.98	c       149          82658        1122         1           1.0000           0.0000          -
153.45/154.03	c       154          85152        1317         1           1.0000           0.0000          -
158.52/159.10	c       159          87673        1412         1           1.0000           0.0000          -
163.51/164.15	c       164          89381        1512         1           1.0000           0.0000          -
168.58/169.24	c       169          91820        1608         1           1.0000           0.0000          -
173.66/174.31	c       174          94539        1688         1           1.0000           0.0000          -
178.63/179.36	c       179          97170        1816         1           1.0000           0.0000          -
183.72/184.49	c       184          99788        1882         1           1.0000           0.0000          -
188.80/189.58	c       190         102478        1944         1           1.0000           0.0000          -
193.88/194.67	c       195         104858        1993         1           1.0000           0.0000          -
198.95/199.74	c       200         106937        2047         1           1.0000           0.0000          -
204.04/204.81	c       205         108968        2107         1           1.0000           0.0000          -
209.01/209.88	c       210         111058        2087         1           1.0000           0.0000          -
214.10/214.96	c       215         114005        2208         1           1.0000           0.0000          -
219.17/220.05	c       220         116755        2257         1           1.0000           0.0000          -
224.25/225.15	c       225         119366        2308         1           1.0000           0.0000          -
229.23/230.19	c       230         121376        2353         1           1.0000           0.0000          -
234.31/235.27	c       235         124042        2403         1           1.0000           0.0000          -
239.39/240.38	c       240         126219        2387         1           1.0000           0.0000          -
244.46/245.43	c       245         128839        2392         1           1.0000           0.0000          -
249.45/250.49	c       250         131655        2393         1           1.0000           0.0000          -
254.53/255.54	c       256         134578        2390         1           1.0000           0.0000          -
259.60/260.60	c       261         137189        2359         1           1.0000           0.0000          -
264.68/265.75	c       266         139802        2364         1           1.0000           0.0000          -
269.76/270.82	c       271         142096        2347         1           1.0000           0.0000          -
274.73/275.89	c       276         144337        2329         1           1.0000           0.0000          -
279.92/281.01	c       281         146579        2336         1           1.0000           0.0000          -
284.90/286.06	c       286         149526        2316         1           1.0000           0.0000          -
289.98/291.14	c       291         152412        2208         1           1.0000           0.0000          -
295.05/296.28	c       296         155281        2125         1           1.0000           0.0000          -
300.13/301.36	c       301         157607        2110         1           1.0000           0.0000          -
305.21/306.47	c       306         160268        2026         1           1.0000           0.0000          -
310.29/311.56	c       312         163006        1940         1           1.0000           0.0000          -
315.37/316.61	c       317         165564        1879         1           1.0000           0.0000          -
320.46/321.72	c       322         168308        1822         1           1.0000           0.0000          -
325.43/326.77	c       327         171186        1727         1           1.0000           0.0000          -
330.52/331.85	c       332         174076        1629         1           1.0000           0.0000          -
335.51/336.89	c       337         177019        1521         1           1.0000           0.0000          -
340.59/341.97	c       342         179886        1383         1           1.0000           0.0000          -
345.68/347.04	c       347         182812        1297         1           1.0000           0.0000          -
350.76/352.10	c       352         185947        1185         1           1.0000           0.0000          -
355.74/357.14	c       357         188654        1091         1           1.0000           0.0000          -
360.72/362.19	c       362         191698         968         1           1.0000           0.0000          -
365.90/367.32	c       367         194498         831         1           1.0000           0.0000          -
370.98/372.46	c       372         197251         673         1           1.0000           0.0000          -
376.06/377.50	c       378         200213         498         1           1.0000           0.0000          -
381.05/382.57	c       383         203275         205         1           1.0000           0.0000          -
386.12/387.62	c       388         207456         231         1           1.0000           0.0000          -
391.11/392.67	c       393         211824         153         1           1.0000           0.0000          -
396.19/397.72	c       398         215351          85         1           1.0000           0.0000          -
401.17/402.77	c       403         218911          48         1           1.0000           0.0000          -
406.26/407.85	c       408         222041          81         1           1.0000           0.0000          -
411.35/412.90	c       413         226047         129         1           1.0000           0.0000          -
416.33/417.96	c       418         230002         254         1           1.0000           0.0000          -
421.42/423.01	c       423         233543         217         1           1.0000           0.0000          -
426.40/428.07	c       428         237439         155         1           1.0000           0.0000          -
431.49/433.12	c       433         241812          41         1           1.0000           0.0000          -
436.56/438.23	c       438         246052         111         1           1.0000           0.0000          -
441.55/443.27	c       443         250216          76         1           1.0000           0.0000          -
446.63/448.39	c       448         253541         111         1           1.0000           0.0000          -
451.71/453.47	c       453         257670         187         1           1.0000           0.0000          -
456.80/458.53	c       459         262045          39         1           1.0000           0.0000          -
461.79/463.58	c       464         266230         168         1           1.0000           0.0000          -
466.88/468.64	c       469         270437         114         1           1.0000           0.0000          -
471.95/473.70	c       474         273761         163         1           1.0000           0.0000          -
476.94/478.77	c       479         277077         206         1           1.0000           0.0000          -
482.03/483.82	c       484         280823         168         1           1.0000           0.0000          -
487.02/488.88	c       489         284689          98         1           1.0000           0.0000          -
492.10/493.93	c       494         288575          75         1           1.0000           0.0000          -
497.08/498.98	c       499         292374          85         1           1.0000           0.0000          -
502.18/504.03	c       504         296685         106         1           1.0000           0.0000          -
505.86/507.75	c       508         300107           0         0           1.0000           1.0000      0.00%
505.86/507.78	c       508         300107           0         0           1.0000           1.0000          -
505.86/507.78	c SCIP Status        : c problem is solved
505.86/507.78	c Total Time         : 507.7700
505.86/507.78	c   solving          : 507.7700
505.86/507.78	c   presolving       : 0.8424 (included in solving)
505.86/507.78	c B&B Tree           :
505.86/507.78	c   nodes (total)    : 300107
505.86/507.78	c Solution           :
505.86/507.78	c   Solutions found  : 17
505.86/507.78	c   Primal Bound     : +1.00000000000000e+00
505.86/507.78	c   Dual Bound       : +1.00000000000000e+00
505.86/507.78	c Gap                : 0.00000 %
505.86/507.78	o 1
505.86/507.78	s OPTIMUM FOUND
505.86/507.78	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 
505.86/507.78	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 x189 
505.86/507.78	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 
505.86/507.78	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
505.86/507.78	v -x146 x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
505.86/507.78	v -x125 -x124 -x123 x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
505.86/507.78	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 
505.86/507.78	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 -x54 
505.86/507.78	v -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 
505.86/507.78	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 
505.86/507.78	v -x1

Verifier Data 

OK	1

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426774-1720905573/watcher-4426774-1720905573 -o /tmp/evaluation-result-4426774-1720905573/solver-4426774-1720905573 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720905583-723472 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426774-1720905573.wbo -qsol -t 3600 -sth 1 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=724354, runsolver pid=724351

[startup+0.100138 s]*
/proc/loadavg: 1.71 3.10 3.70 5/260 724355
/proc/meminfo: memFree=128273416/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=43040 memory=31960 CPUtime=0.09 cores=5,7
/proc/724354/stat : 724354 (fscip) R 724351 724354 721052 0 -1 4194304 5598 0 0 0 9 0 0 0 20 0 1 0 142722298 44072960 7990 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 10760 7990 2654 3032 0 7160 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43040 KiB
Current children cumulated memory: 31960 KiB

[startup+0.205523 s]*
/proc/loadavg: 1.71 3.10 3.70 5/260 724355
/proc/meminfo: memFree=128271712/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=43296 memory=32224 CPUtime=0.19 cores=5,7
/proc/724354/stat : 724354 (fscip) R 724351 724354 721052 0 -1 4194304 5678 0 0 0 19 0 0 0 20 0 1 0 142722298 44335104 8056 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 10824 8056 2654 3032 0 7224 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43296 KiB
Current children cumulated memory: 32224 KiB

[startup+0.305088 s]*
/proc/loadavg: 1.71 3.10 3.70 5/262 724357
/proc/meminfo: memFree=128243824/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=43812 memory=32752 CPUtime=0.29 cores=5,7
/proc/724354/stat : 724354 (fscip) R 724351 724354 721052 0 -1 4194304 5807 0 0 0 29 0 0 0 20 0 1 0 142722298 44863488 8188 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 10953 8188 2654 3032 0 7353 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43812 KiB
Current children cumulated memory: 32752 KiB

[startup+0.700151 s]
/proc/loadavg: 1.71 3.10 3.70 5/264 724359
/proc/meminfo: memFree=128216244/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=44840 memory=33808 CPUtime=0.68 cores=5,7
/proc/724354/stat : 724354 (fscip) R 724351 724354 721052 0 -1 4194304 6064 0 0 0 68 0 0 0 20 0 1 0 142722298 45916160 8452 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 11210 8452 2654 3032 0 7610 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44840 KiB
Current children cumulated memory: 33808 KiB

[startup+1.50114 s]
/proc/loadavg: 1.71 3.10 3.70 5/266 724361
/proc/meminfo: memFree=128150908/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=136532 memory=74136 CPUtime=1.47 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 16947 0 0 0 145 2 0 0 20 0 3 0 142722298 139808768 18534 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 34133 18534 2830 3032 0 23108 0
[pid=724354/tid=724360] ppid=724351 vsize=136532 memory=4428 CPUtime=0.61 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 8785 0 0 0 60 1 0 0 20 0 3 0 142722384 139808768 18534 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=136532 memory=11648 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 142722385 139808768 18534 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 136532 KiB
Current children cumulated memory: 74136 KiB

[startup+3.10555 s]
/proc/loadavg: 1.89 3.12 3.70 5/266 724409
/proc/meminfo: memFree=128090964/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=139552 memory=98584 CPUtime=3.07 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 30106 0 0 0 303 4 0 0 20 0 3 0 142722298 142901248 24646 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 34888 24646 2974 3032 0 30543 0
[pid=724354/tid=724360] ppid=724351 vsize=139552 memory=15864 CPUtime=2.21 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 21544 0 0 0 218 3 0 0 20 0 3 0 142722384 142901248 24646 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=139552 memory=33808 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 142722385 142901248 24646 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 139552 KiB
Current children cumulated memory: 98584 KiB

[startup+6.30018 s]
/proc/loadavg: 1.89 3.12 3.70 5/266 724409
/proc/meminfo: memFree=127958568/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=205088 memory=138804 CPUtime=6.25 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 48336 0 0 0 619 6 0 0 20 0 3 0 142722298 210010112 34701 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 51272 34701 2990 3032 0 40178 0
[pid=724354/tid=724360] ppid=724351 vsize=205088 memory=39380 CPUtime=5.39 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 39639 0 0 0 534 5 0 0 20 0 3 0 142722384 210010112 34701 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=205088 memory=0 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 142722385 210010112 34701 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 205088 KiB
Current children cumulated memory: 138804 KiB

[startup+12.7002 s]
/proc/loadavg: 2.14 3.15 3.71 5/266 724411
/proc/meminfo: memFree=127956284/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=205088 memory=138968 CPUtime=12.63 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 71211 0 0 0 1256 7 0 0 20 0 3 0 142722298 210010112 34742 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 51272 34742 2990 3032 0 40178 0
[pid=724354/tid=724360] ppid=724351 vsize=205088 memory=6720661051987475563 CPUtime=11.77 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 61243 0 0 0 1171 6 0 0 20 0 3 0 142722384 210010112 34742 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=205088 memory=6720661051987475563 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 142722385 210010112 34742 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 205088 KiB
Current children cumulated memory: 138968 KiB

[startup+25.5003 s]
/proc/loadavg: 2.55 3.19 3.71 5/266 724412
/proc/meminfo: memFree=127842944/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=205088 memory=168232 CPUtime=25.39 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 115224 0 0 0 2529 10 0 0 20 0 3 0 142722298 210010112 42058 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 51272 42058 3310 3032 0 46877 0
[pid=724354/tid=724360] ppid=724351 vsize=205088 memory=6720661051987475563 CPUtime=24.53 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 105166 0 0 0 2444 9 0 0 20 0 3 0 142722384 210010112 42058 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=205088 memory=141948 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 142722385 210010112 42058 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 205088 KiB
Current children cumulated memory: 168232 KiB

[startup+51.1055 s]
/proc/loadavg: 3.05 3.26 3.72 5/268 724421
/proc/meminfo: memFree=127767600/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=205088 memory=168564 CPUtime=50.92 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 164243 0 0 0 5077 15 0 0 20 0 3 0 142722298 210010112 42141 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 51272 42141 3310 3032 0 46877 0
[pid=724354/tid=724360] ppid=724351 vsize=205088 memory=168548 CPUtime=50.05 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 153767 0 0 0 4991 14 0 0 20 0 3 0 142722384 210010112 42141 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=205088 memory=168548 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 142722385 210010112 42141 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 205088 KiB
Current children cumulated memory: 168564 KiB

[startup+102.3 s]
/proc/loadavg: 3.66 3.39 3.74 5/268 724431
/proc/meminfo: memFree=127695992/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=209308 memory=173176 CPUtime=101.95 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 215752 0 0 0 10168 27 0 0 20 0 3 0 142722298 214331392 43294 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 52327 43294 3310 3032 0 47932 0
[pid=724354/tid=724360] ppid=724351 vsize=209308 memory=168948 CPUtime=101.08 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 205162 0 0 0 10082 26 0 0 20 0 3 0 142722384 214331392 43294 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=209308 memory=168848 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 142722385 214331392 43294 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 209308 KiB
Current children cumulated memory: 173176 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 3.52 3.77 5/268 724441
/proc/meminfo: memFree=127611944/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=211160 memory=175408 CPUtime=161.71 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 251226 0 0 0 16134 37 0 0 20 0 3 0 142722298 216227840 43852 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 52790 43852 3310 3032 0 48395 0
[pid=724354/tid=724360] ppid=724351 vsize=211160 memory=173556 CPUtime=160.83 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 240568 0 0 0 16048 35 0 0 20 0 3 0 142722384 216227840 43852 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=211160 memory=11648 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 142722385 216227840 43852 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 211160 KiB
Current children cumulated memory: 175408 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 3.62 3.79 5/268 724452
/proc/meminfo: memFree=127542548/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=242416 memory=204588 CPUtime=221.46 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 295345 0 0 0 22099 47 0 0 20 0 3 0 142722298 248233984 51147 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 60604 51147 3310 3032 0 56209 0
[pid=724354/tid=724360] ppid=724351 vsize=242416 memory=190520 CPUtime=220.57 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 284607 0 0 0 22012 45 0 0 20 0 3 0 142722384 248233984 51147 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=242416 memory=2280 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 142722385 248233984 51147 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 242416 KiB
Current children cumulated memory: 204588 KiB

[startup+282.3 s]

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

/proc/724354/statm: 64710 55411 3310 3032 0 60315 0
[pid=724354/tid=724360] ppid=724351 vsize=258840 memory=221644 CPUtime=340.09 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 326663 0 0 0 33947 62 0 0 20 0 3 0 142722384 265052160 55411 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=258840 memory=221644 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 142722385 265052160 55411 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 258840 KiB
Current children cumulated memory: 221644 KiB

[startup+402.3 s]
/proc/loadavg: 4.21 3.87 3.86 5/264 724870
/proc/meminfo: memFree=127483276/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=282488 memory=245152 CPUtime=400.77 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 349779 0 0 0 40004 73 0 0 20 0 3 0 142722298 289267712 61288 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 70622 61288 3310 3032 0 66227 0
[pid=724354/tid=724360] ppid=724351 vsize=282488 memory=221644 CPUtime=399.88 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 338960 0 0 0 39917 71 0 0 20 0 3 0 142722384 289267712 61288 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=282488 memory=244824 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 142722385 289267712 61288 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 400.77 s
Current children cumulated vsize: 282488 KiB
Current children cumulated memory: 245152 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.91 3.88 5/262 724927
/proc/meminfo: memFree=124671508/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=287520 memory=258404 CPUtime=460.59 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 364058 0 0 0 45978 81 0 0 20 0 3 0 142722298 294420480 64601 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 71880 64601 3310 3032 0 67485 0
[pid=724354/tid=724360] ppid=724351 vsize=287520 memory=11648 CPUtime=459.7 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 353221 0 0 0 45891 79 0 0 20 0 3 0 142722384 294420480 64601 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=287520 memory=258404 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142722385 294420480 64601 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 460.59 s
Current children cumulated vsize: 287520 KiB
Current children cumulated memory: 258404 KiB

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

# cumulated CPU time of all completed processes:  user=505.083 s, system=0.872827 s

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

[startup+486.4 s]
/proc/loadavg: 4.09 3.92 3.88 5/262 724930
/proc/meminfo: memFree=123858288/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=287520 memory=258660 CPUtime=484.63 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 364103 0 0 0 48379 84 0 0 20 0 3 0 142722298 294420480 64665 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 71880 64665 3310 3032 0 67485 0
[pid=724354/tid=724360] ppid=724351 vsize=287520 memory=32224 CPUtime=483.73 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 353265 0 0 0 48291 82 0 0 20 0 3 0 142722384 294420480 64665 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=287520 memory=1816 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142722385 294420480 64665 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 484.63 s
Current children cumulated vsize: 287520 KiB
Current children cumulated memory: 258660 KiB

[startup+499.2 s]
/proc/loadavg: 4.07 3.92 3.89 6/263 725032
/proc/meminfo: memFree=123847536/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=297960 memory=260632 CPUtime=497.38 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 364617 0 0 0 49653 85 0 0 20 0 3 0 142722298 305111040 65158 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 74490 65158 3310 3032 0 70095 0
[pid=724354/tid=724360] ppid=724351 vsize=297960 memory=11648 CPUtime=496.48 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 353779 0 0 0 49565 83 0 0 20 0 3 0 142722384 305111040 65158 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=297960 memory=4988 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142722385 305111040 65158 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 497.38 s
Current children cumulated vsize: 297960 KiB
Current children cumulated memory: 260632 KiB

[startup+502.4 s]
/proc/loadavg: 4.07 3.92 3.89 5/264 725104
/proc/meminfo: memFree=123847012/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=297960 memory=261156 CPUtime=500.58 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 364737 0 0 0 49972 86 0 0 20 0 3 0 142722298 305111040 65289 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 74490 65289 3310 3032 0 70095 0
[pid=724354/tid=724360] ppid=724351 vsize=297960 memory=35744 CPUtime=499.68 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 353899 0 0 0 49884 84 0 0 20 0 3 0 142722384 305111040 65289 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=297960 memory=261156 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142722385 305111040 65289 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 500.58 s
Current children cumulated vsize: 297960 KiB
Current children cumulated memory: 261156 KiB

[startup+505.6 s]
/proc/loadavg: 4.06 3.93 3.89 5/264 725104
/proc/meminfo: memFree=123842276/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=297960 memory=261156 CPUtime=503.77 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 364737 0 0 0 50291 86 0 0 20 0 3 0 142722298 305111040 65289 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 74490 65289 3310 3032 0 70095 0
[pid=724354/tid=724360] ppid=724351 vsize=297960 memory=12952 CPUtime=502.87 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 353899 0 0 0 50203 84 0 0 20 0 3 0 142722384 305111040 65289 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=297960 memory=35744 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142722385 305111040 65289 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 503.77 s
Current children cumulated vsize: 297960 KiB
Current children cumulated memory: 261156 KiB

[startup+506.4 s]
/proc/loadavg: 4.06 3.93 3.89 5/264 725104
/proc/meminfo: memFree=123819428/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=297960 memory=261156 CPUtime=504.56 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 364737 0 0 0 50370 86 0 0 20 0 3 0 142722298 305111040 65289 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 74490 65289 3310 3032 0 70095 0
[pid=724354/tid=724360] ppid=724351 vsize=297960 memory=32224 CPUtime=503.66 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 353899 0 0 0 50282 84 0 0 20 0 3 0 142722384 305111040 65289 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=297960 memory=261156 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142722385 305111040 65289 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 504.56 s
Current children cumulated vsize: 297960 KiB
Current children cumulated memory: 261156 KiB

[startup+507.2 s]
/proc/loadavg: 4.06 3.93 3.89 5/264 725104
/proc/meminfo: memFree=123815368/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=297960 memory=261156 CPUtime=505.36 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 364737 0 0 0 50450 86 0 0 20 0 3 0 142722298 305111040 65289 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 74490 65289 3310 3032 0 70095 0
[pid=724354/tid=724360] ppid=724351 vsize=297960 memory=11648 CPUtime=504.46 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 353899 0 0 0 50362 84 0 0 20 0 3 0 142722384 305111040 65289 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=297960 memory=4988 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142722385 305111040 65289 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 505.36 s
Current children cumulated vsize: 297960 KiB
Current children cumulated memory: 261156 KiB

[startup+507.6 s]
/proc/loadavg: 4.06 3.93 3.89 5/264 725104
/proc/meminfo: memFree=123815368/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=297960 memory=261156 CPUtime=505.76 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 364737 0 0 0 50490 86 0 0 20 0 3 0 142722298 305111040 65289 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 74490 65289 3310 3032 0 70095 0
[pid=724354/tid=724360] ppid=724351 vsize=297960 memory=11648 CPUtime=504.86 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 353899 0 0 0 50402 84 0 0 20 0 3 0 142722384 305111040 65289 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=297960 memory=35744 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142722385 305111040 65289 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 505.76 s
Current children cumulated vsize: 297960 KiB
Current children cumulated memory: 261156 KiB

[startup+507.7 s]
/proc/loadavg: 4.06 3.93 3.89 5/264 725104
/proc/meminfo: memFree=123815368/131524600 swapFree=131071996/131071996
[pid=724354] ppid=724351 vsize=297960 memory=261156 CPUtime=505.86 cores=5,7
/proc/724354/stat : 724354 (fscip) S 724351 724354 721052 0 -1 1077936128 364737 0 0 0 50500 86 0 0 20 0 3 0 142722298 305111040 65289 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
/proc/724354/statm: 74490 65289 3310 3032 0 70095 0
[pid=724354/tid=724360] ppid=724351 vsize=297960 memory=11648 CPUtime=504.96 cores=5,7
/proc/724354/task/724360/stat : 724360 (fscip) R 724351 724354 721052 0 -1 4194368 353899 0 0 0 50412 84 0 0 20 0 3 0 142722384 305111040 65289 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
[pid=724354/tid=724361] ppid=724351 vsize=297960 memory=258660 CPUtime=0 cores=5,7
/proc/724354/task/724361/stat : 724361 (fscip) S 724351 724354 721052 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142722385 305111040 65289 134679101440 4194304 16613245 140725153481936 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42000384 140725153489889 140725153490005 140725153490005 140725153497072 0
Current children cumulated CPU time: 505.86 s
Current children cumulated vsize: 297960 KiB
Current children cumulated memory: 261156 KiB

Child status: 0

Real time (s): 507.784
CPU time (s): 505.956
CPU user time (s): 505.083
CPU system time (s): 0.872827
CPU usage (%): 99.6399
Max. virtual memory (cumulated for all children) (KiB): 297960
Max. memory (cumulated for all children) (KiB): 261156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 505.083
system time used= 0.872827
maximum resident set size= 261320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365394
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= 1616
involuntary context switches= 364


# summary of solver processes directly reported to runsolver:
#   pid: 724354
#   total CPU time (s): 505.956
#   total CPU user time (s): 505.083
#   total CPU system time (s): 0.872827

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.986148 second user time and 2.38485 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-13 23:19:46
IDJOB=4426774
IDBENCH=143587
IDSOLVER=3044
FILE ID=nodeC023/4426774-1720905573
RUNJOBID= nodeC023-1720905583-723472
SLURM_JOB_ID= 7486082
Free space on /tmp= 890000 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900577940--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-4426774-1720905573/watcher-4426774-1720905573 -o /tmp/evaluation-result-4426774-1720905573/solver-4426774-1720905573 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720905583-723472 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4426774-1720905573.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 100b8721f67ac4f330c7a6443b255629
RANDOM SEED=1625575833

nodeC023.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		: 3659.778
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.61
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		: 3665.534
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.48
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		: 3599.823
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.61
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		: 3599.830
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.48
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		: 3660.506
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.61
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		: 3663.223
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.48
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		: 3654.460
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.61
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		: 3670.335
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128296772 kB
MemAvailable:   129557136 kB
Buffers:          333868 kB
Cached:          1756472 kB
SwapCached:            0 kB
Active:           553200 kB
Inactive:        2077460 kB
Active(anon):       1556 kB
Inactive(anon):   576464 kB
Active(file):     551644 kB
Inactive(file):  1500996 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            113344 kB
Writeback:             0 kB
AnonPages:        540720 kB
Mapped:           134036 kB
Shmem:             37720 kB
KReclaimable:      95092 kB
Slab:             197092 kB
SReclaimable:      95092 kB
SUnreclaim:       102000 kB
KernelStack:        4096 kB
PageTables:        10048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     818320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            55232 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 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:      189140 kB
DirectMap2M:    15312896 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC023 at 2024-07-13 23:28:14