Trace number 4426773

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 430.652 432

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576360--soft-66-100-0.wbo
MD5SUM07149bb688e9c24b651465ffa2b1083b
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark15.2822
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 constraints937
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 46894
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46893
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 733
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 = 31268864, getVmSize() = 31268864, SCIPgetMemUsed() = 6528872, SCIPgetMemTotal() = 9386904, SCIPgetMemExternEstim() = 4628723
0.00/0.01	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.30/0.32	c ** Estimated virtualMemUsedAtSolver = 24425813, getVmSize() = 42008576, SCIPgetMemUsed() = 10202246, SCIPgetMemTotal() = 18529862, SCIPgetMemExternEstim() = 4628723
0.30/0.32	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.30/0.32	c Original Problem   :
0.30/0.32	c   Problem name     : instance-4426773-1720905573
0.30/0.32	c   Variables        : 1168 (1168 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.32	c   Constraints      : 3645
0.30/0.32	c   Objective sense  : minimize
0.30/0.32	c Presolved Problem  :
0.30/0.32	c   Variables        : 1173 (1164 binary, 0 integer, 9 implicit integer, 0 continuous)
0.30/0.32	c   Constraints      : 2614
0.30/0.32	c Constraints        : Number
0.30/0.32	c   setppc           : 62 
0.30/0.32	c   linear           : 933 
0.30/0.32	c   logicor          : 1586 
0.30/0.32	c   indicator        : 33 
0.30/0.32	c ** Instance transfer method used: 0
0.30/0.32	c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.33	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.33	c                                Nodes    Active                                            
0.30/0.33	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.30/0.37	c *       0              0           1         1       31392.0000                -          -
0.30/0.37	c *       0              0           1         1         553.0000                -          -
1.47/1.54	c *       2              0           1         1         204.0000                -          -
2.07/2.19	c *       2              2           1         1          73.0000           0.0000          -
2.16/2.20	c *       2              2           1         1          55.0000           0.0000          -
3.45/3.59	c *       4             13          10         1          30.0000           0.0000          -
3.65/3.76	c *       4             13          10         1          28.0000           0.0000          -
5.23/5.35	c         5             55          11         1          28.0000           0.0000          -
10.40/10.52	c        11            299          75         1          28.0000           0.0000          -
15.59/15.70	c        16            976         248         1          28.0000           0.0000          -
20.77/20.93	c        21           1312         125         1          28.0000           0.0000          -
25.86/26.08	c        26           2145         564         1          28.0000           0.0000          -
31.04/31.22	c        31           3163         983         1          28.0000           0.0000          -
36.33/36.52	c        37           4466        1215         1          28.0000           0.0000          -
41.51/41.74	c        42           5663        1553         1          28.0000           0.0000          -
47.00/47.27	c        47           6841        1820         1          28.0000           0.0000          -
52.18/52.43	c        52           7500        1951         1          28.0000           0.0000          -
54.17/54.43	c *      54           7649        1970         1          19.0000           0.0000          -
57.56/57.82	c        58           8697        1922         1          19.0000           0.0000          -
62.65/62.91	c        63          10245        2207         1          19.0000           0.0000          -
67.83/68.18	c        68          12344        2503         1          19.0000           0.0000          -
72.91/73.23	c        73          14400        2817         1          19.0000           0.0000          -
78.20/78.50	c        78          16795        3069         1          19.0000           0.0000          -
83.18/83.55	c        84          19162        3517         1          19.0000           0.0000          -
88.26/88.61	c        89          21636        3907         1          19.0000           0.0000          -
93.25/93.66	c        94          23723        4228         1          19.0000           0.0000          -
98.33/98.74	c        99          26535        4663         1          19.0000           0.0000          -
103.43/103.89	c       104          28178        4948         1          19.0000           0.0000          -
108.10/108.58	c *     109          29336        5102         1          14.0000           0.0000          -
108.31/108.72	c *     109          29336        5102         1          12.0000           0.0000          -
108.61/109.02	c       109          29848        3954         1          12.0000           0.0000          -
113.70/114.18	c       114          32170        4198         1          12.0000           0.0000          -
118.78/119.24	c       119          35097        4494         1          12.0000           0.0000          -
123.85/124.33	c       124          38316        4885         1          12.0000           0.0000          -
128.94/129.44	c       129          41576        5164         1          12.0000           0.0000          -
134.03/134.54	c       135          43635        5462         1          12.0000           0.0000          -
139.11/139.64	c       140          44750        5632         1          12.0000           0.0000          -
144.20/144.78	c       145          47292        5887         1          12.0000           0.0000          -
149.28/149.87	c       150          49548        6079         1          12.0000           0.0000          -
154.57/155.11	c       155          51437        6287         1          12.0000           0.0000          -
159.64/160.20	c       160          53618        6583         1          12.0000           0.0000          -
165.13/165.79	c       166          54695        6690         1          12.0000           0.0000          -
170.22/170.87	c       171          56969        6956         1          12.0000           0.0000          -
175.40/176.03	c       176          58152        7095         1          12.0000           0.0000          -
180.49/181.12	c       181          60085        7289         1          12.0000           0.0000          -
185.57/186.23	c       186          62175        7493         1          12.0000           0.0000          -
190.66/191.34	c       191          63913        7694         1          12.0000           0.0000          -
195.94/196.65	c       197          65117        7803         1          12.0000           0.0000          -
201.02/201.75	c       202          67484        7993         1          12.0000           0.0000          -
206.21/206.93	c       207          69612        8149         1          12.0000           0.0000          -
211.29/212.08	c       212          71421        8274         1          12.0000           0.0000          -
216.48/217.20	c       217          72732        8388         1          12.0000           0.0000          -
221.56/222.31	c       222          74151        8443         1          12.0000           0.0000          -
226.64/227.45	c       227          76017        8567         1          12.0000           0.0000          -
231.83/232.62	c       233          78465        8735         1          12.0000           0.0000          -
236.91/237.79	c       238          80078        8937         1          12.0000           0.0000          -
242.10/242.93	c       243          81700        9097         1          12.0000           0.0000          -
247.18/248.00	c       248          83207        9280         1          12.0000           0.0000          -
252.27/253.16	c       253          84652        9428         1          12.0000           0.0000          -
256.36/257.25	c *     257          85843        9541         1           4.0000           0.0000          -
257.35/258.25	c       258          86626        5589         1           4.0000           0.0000          -
262.44/263.34	c       263          88935        5646         1           4.0000           0.0000          -
267.52/268.48	c       268          90523        5657         1           4.0000           0.0000          -
272.61/273.54	c       274          92410        5669         1           4.0000           0.0000          -
277.70/278.66	c       279          94666        5685         1           4.0000           0.0000          -
282.78/283.71	c       284          97268        5710         1           4.0000           0.0000          -
287.77/288.76	c       289         100570        5795         1           4.0000           0.0000          -
292.85/293.81	c       294         103709        5790         1           4.0000           0.0000          -
298.14/299.18	c       299         104981        5803         1           4.0000           0.0000          -
303.42/304.41	c       304         106025        5834         1           4.0000           0.0000          -
308.60/309.65	c       310         107566        5889         1           4.0000           0.0000          -
313.79/314.83	c       315         109993        5897         1           4.0000           0.0000          -
318.87/319.91	c       320         112727        5880         1           4.0000           0.0000          -
323.86/324.96	c       325         115113        5993         1           4.0000           0.0000          -
328.95/330.03	c       330         118277        6236         1           4.0000           0.0000          -
333.94/335.08	c       335         121087        6206         1           4.0000           0.0000          -
339.01/340.13	c       340         124310        6270         1           4.0000           0.0000          -
344.10/345.20	c       345         127322        6265         1           4.0000           0.0000          -
349.08/350.29	c       350         130260        6325         1           4.0000           0.0000          -
354.17/355.34	c       355         132797        6359         1           4.0000           0.0000          -
356.16/357.30	c *     357         133470        6386         1           2.0000           0.0000          -
359.25/360.43	c       360         135824        2674         1           2.0000           0.0000          -
364.44/365.67	c       366         138780        2520         1           2.0000           0.0000          -
369.53/370.78	c       371         141209        2458         1           2.0000           0.0000          -
374.61/375.83	c       376         144209        2417         1           2.0000           0.0000          -
379.59/380.88	c       381         146899        2368         1           2.0000           0.0000          -
384.68/385.93	c       386         150091        2222         1           2.0000           0.0000          -
389.76/391.08	c       391         152829        2052         1           2.0000           0.0000          -
394.85/396.17	c       396         155998        1993         1           2.0000           0.0000          -
399.93/401.24	c       401         158960        1946         1           2.0000           0.0000          -
404.92/406.29	c       406         162052        1782         1           2.0000           0.0000          -
410.10/411.42	c       411         164605        1605         1           2.0000           0.0000          -
415.09/416.47	c       416         167537        1352         1           2.0000           0.0000          -
420.17/421.52	c       422         171253        1317         1           2.0000           0.0000          -
425.25/426.61	c       427         173466        1292         1           2.0000           0.0000          -
430.24/431.64	c       432         175862         207         1           2.0000           0.5000    300.00%
430.54/431.95	c       432         176058           0         0           2.0000           2.0000      0.00%
430.54/431.99	c       432         176058           0         0           2.0000           2.0000          -
430.54/431.99	c SCIP Status        : c problem is solved
430.54/431.99	c Total Time         : 431.9900
430.54/431.99	c   solving          : 431.9900
430.54/431.99	c   presolving       : 0.3066 (included in solving)
430.54/431.99	c B&B Tree           :
430.54/431.99	c   nodes (total)    : 176058
430.54/431.99	c Solution           :
430.54/431.99	c   Solutions found  : 12
430.54/431.99	c   Primal Bound     : +2.00000000000000e+00
430.54/431.99	c   Dual Bound       : +2.00000000000000e+00
430.54/431.99	c Gap                : 0.00000 %
430.54/431.99	o 2
430.54/431.99	s OPTIMUM FOUND
430.54/431.99	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
430.54/431.99	v -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
430.54/431.99	v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
430.54/431.99	v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 
430.54/431.99	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 x130 -x129 -x128 -x127 -x126 
430.54/431.99	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
430.54/431.99	v -x104 -x103 x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 
430.54/431.99	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 
430.54/431.99	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 
430.54/431.99	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 
430.54/431.99	v -x1

Verifier Data 

OK	2

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100089 s]*
/proc/loadavg: 2.49 3.26 3.72 5/260 723847
/proc/meminfo: memFree=126371580/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=36804 memory=26376 CPUtime=0.09 cores=4,6
/proc/723846/stat : 723846 (fscip) R 723843 723846 721169 0 -1 4194304 4200 0 0 0 9 0 0 0 20 0 1 0 142724352 37687296 6594 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 9201 6594 2654 3032 0 5601 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36804 KiB
Current children cumulated memory: 26376 KiB

[startup+0.205627 s]*
/proc/loadavg: 2.49 3.26 3.72 5/260 723847
/proc/meminfo: memFree=126370740/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=37704 memory=27168 CPUtime=0.2 cores=4,6
/proc/723846/stat : 723846 (fscip) R 723843 723846 721169 0 -1 4194304 4394 0 0 0 20 0 0 0 20 0 1 0 142724352 38608896 6792 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 9426 6792 2654 3032 0 5826 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37704 KiB
Current children cumulated memory: 27168 KiB

[startup+0.305621 s]*
/proc/loadavg: 2.49 3.26 3.72 5/260 723847
/proc/meminfo: memFree=126355200/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=37704 memory=27168 CPUtime=0.3 cores=4,6
/proc/723846/stat : 723846 (fscip) R 723843 723846 721169 0 -1 4194304 4394 0 0 0 30 0 0 0 20 0 1 0 142724352 38608896 6792 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 9426 6792 2654 3032 0 5826 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37704 KiB
Current children cumulated memory: 27168 KiB

[startup+0.701086 s]
/proc/loadavg: 2.49 3.26 3.72 5/262 723849
/proc/meminfo: memFree=126325132/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=129672 memory=55956 CPUtime=0.68 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 11793 0 0 0 67 1 0 0 20 0 3 0 142724352 132784128 13989 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 32418 13989 2830 3032 0 17904 0
[pid=723846/tid=723848] ppid=723843 vsize=129672 memory=1968 CPUtime=0.35 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 5943 0 0 0 35 0 0 0 20 0 3 0 142724384 132784128 13989 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=129672 memory=2241 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 142724385 132784128 13989 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 129672 KiB
Current children cumulated memory: 55956 KiB

[startup+1.5011 s]
/proc/loadavg: 2.49 3.26 3.72 5/262 723849
/proc/meminfo: memFree=126284896/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=132212 memory=66860 CPUtime=1.47 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 18866 0 0 0 145 2 0 0 20 0 3 0 142724352 135385088 16715 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 33053 16715 2830 3032 0 21396 0
[pid=723846/tid=723848] ppid=723843 vsize=132212 memory=2241 CPUtime=1.14 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 13016 0 0 0 113 1 0 0 20 0 3 0 142724384 135385088 16715 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=132212 memory=0 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 142724385 135385088 16715 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 132212 KiB
Current children cumulated memory: 66860 KiB

[startup+3.1061 s]
/proc/loadavg: 2.61 3.27 3.72 5/262 723849
/proc/meminfo: memFree=126177288/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=203808 memory=110172 CPUtime=3.05 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 31780 0 0 0 301 4 0 0 20 0 3 0 142724352 208699392 27543 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 50952 27543 2990 3032 0 33141 0
[pid=723846/tid=723848] ppid=723843 vsize=203808 memory=74964 CPUtime=2.73 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 25638 0 0 0 270 3 0 0 20 0 3 0 142724384 208699392 27543 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=203808 memory=0 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 142724385 208699392 27543 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 203808 KiB
Current children cumulated memory: 110172 KiB

[startup+6.30111 s]
/proc/loadavg: 2.61 3.27 3.72 5/262 723849
/proc/meminfo: memFree=126157524/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=197748 memory=118636 CPUtime=6.22 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 41283 0 0 0 617 5 0 0 20 0 3 0 142724352 202493952 29659 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 49437 29659 3310 3032 0 34281 0
[pid=723846/tid=723848] ppid=723843 vsize=197748 memory=11584 CPUtime=5.89 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 35110 0 0 0 585 4 0 0 20 0 3 0 142724384 202493952 29659 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=197748 memory=117108 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 142724385 202493952 29659 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 197748 KiB
Current children cumulated memory: 118636 KiB

[startup+12.7002 s]
/proc/loadavg: 2.91 3.31 3.73 5/262 723850
/proc/meminfo: memFree=126103724/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=197748 memory=119296 CPUtime=12.6 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 63984 0 0 0 1253 7 0 0 20 0 3 0 142724352 202493952 29824 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 49437 29824 3310 3032 0 34281 0
[pid=723846/tid=723848] ppid=723843 vsize=197748 memory=6944656592455360604 CPUtime=12.27 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 57737 0 0 0 1221 6 0 0 20 0 3 0 142724384 202493952 29824 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=197748 memory=113340 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 142724385 202493952 29824 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 197748 KiB
Current children cumulated memory: 119296 KiB

[startup+25.5003 s]
/proc/loadavg: 3.07 3.33 3.73 5/264 723856
/proc/meminfo: memFree=126054460/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=199164 memory=122896 CPUtime=25.36 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 105570 0 0 0 2525 11 0 0 20 0 3 0 142724352 203943936 30724 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 49791 30724 3310 3032 0 34791 0
[pid=723846/tid=723848] ppid=723843 vsize=199164 memory=121032 CPUtime=25.03 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 99233 0 0 0 2493 10 0 0 20 0 3 0 142724384 203943936 30724 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=199164 memory=121012 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 142724385 203943936 30724 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 199164 KiB
Current children cumulated memory: 122896 KiB

[startup+51.1059 s]
/proc/loadavg: 3.39 3.39 3.74 5/264 723860
/proc/meminfo: memFree=125819144/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=270316 memory=177972 CPUtime=50.89 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 179145 0 0 0 5069 20 0 0 20 0 3 0 142724352 276803584 44493 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 67579 44493 3310 3032 0 48743 0
[pid=723846/tid=723848] ppid=723843 vsize=270316 memory=6720663246799584365 CPUtime=50.56 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 172686 0 0 0 5037 19 0 0 20 0 3 0 142724384 276803584 44493 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=270316 memory=119296 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 142724385 276803584 44493 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 270316 KiB
Current children cumulated memory: 177972 KiB

[startup+102.3 s]
/proc/loadavg: 3.88 3.52 3.77 5/264 723870
/proc/meminfo: memFree=125727036/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=278356 memory=200164 CPUtime=101.93 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 265484 0 0 0 10161 32 0 0 20 0 3 0 142724352 285036544 50041 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 69589 50041 3310 3032 0 54314 0
[pid=723846/tid=723848] ppid=723843 vsize=278356 memory=11584 CPUtime=101.59 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 258686 0 0 0 10128 31 0 0 20 0 3 0 142724384 285036544 50041 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=278356 memory=199048 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 142724385 285036544 50041 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 278356 KiB
Current children cumulated memory: 200164 KiB

[startup+162.3 s]
/proc/loadavg: 4.02 3.63 3.79 5/264 723880
/proc/meminfo: memFree=125567768/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=285832 memory=232216 CPUtime=161.74 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 358693 0 0 0 16127 47 0 0 20 0 3 0 142724352 292691968 58054 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 71458 58054 3310 3032 0 62830 0
[pid=723846/tid=723848] ppid=723843 vsize=285832 memory=226164 CPUtime=161.41 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 351566 0 0 0 16095 46 0 0 20 0 3 0 142724384 292691968 58054 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=285832 memory=229460 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 142724385 292691968 58054 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 285832 KiB
Current children cumulated memory: 232216 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 3.71 3.81 5/264 723891
/proc/meminfo: memFree=125286592/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=308076 memory=253736 CPUtime=221.56 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 395513 0 0 0 22101 55 0 0 20 0 3 0 142724352 315469824 63434 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 77019 63434 3310 3032 0 68428 0
[pid=723846/tid=723848] ppid=723843 vsize=308076 memory=245368 CPUtime=221.21 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 388339 0 0 0 22067 54 0 0 20 0 3 0 142724384 315469824 63434 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=308076 memory=11584 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 142724385 315469824 63434 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 221.56 s

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

/proc/723846/statm: 81945 66917 3310 3032 0 73354 0
[pid=723846/tid=723848] ppid=723843 vsize=327780 memory=11584 CPUtime=281.04 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 432484 0 0 0 28042 62 0 0 20 0 3 0 142724384 335646720 66917 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=327780 memory=258220 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 142724385 335646720 66917 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 327780 KiB
Current children cumulated memory: 267668 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.85 3.85 5/260 723960
/proc/meminfo: memFree=125742340/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=397516 memory=296516 CPUtime=341.2 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 480957 0 0 0 34045 75 0 0 20 0 3 0 142724352 407056384 74129 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 99379 74129 3310 3032 0 79944 0
[pid=723846/tid=723848] ppid=723843 vsize=397516 memory=248124 CPUtime=340.85 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 473526 0 0 0 34011 74 0 0 20 0 3 0 142724384 407056384 74129 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=397516 memory=296072 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 142724385 407056384 74129 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 397516 KiB
Current children cumulated memory: 296516 KiB

[startup+402.3 s]
/proc/loadavg: 4.36 3.99 3.90 5/261 724353
/proc/meminfo: memFree=125665128/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=406220 memory=303992 CPUtime=401.03 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 521136 0 0 0 40017 86 0 0 20 0 3 0 142724352 415969280 75998 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 101555 75998 3310 3032 0 82120 0
[pid=723846/tid=723848] ppid=723843 vsize=406220 memory=248124 CPUtime=400.67 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 513474 0 0 0 39982 85 0 0 20 0 3 0 142724384 415969280 75998 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=406220 memory=298744 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 142724385 415969280 75998 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 406220 KiB
Current children cumulated memory: 303992 KiB

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

# cumulated CPU time of all completed processes:  user=429.709 s, system=0.943057 s

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

[startup+409.6 s]
/proc/loadavg: 4.41 4.00 3.91 5/261 724355
/proc/meminfo: memFree=125665664/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=406220 memory=303992 CPUtime=408.31 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 521648 0 0 0 40744 87 0 0 20 0 3 0 142724352 415969280 75998 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 101555 75998 3310 3032 0 82120 0
[pid=723846/tid=723848] ppid=723843 vsize=406220 memory=26084 CPUtime=407.95 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 513986 0 0 0 40710 85 0 0 20 0 3 0 142724384 415969280 75998 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=406220 memory=1968 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 142724385 415969280 75998 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 408.31 s
Current children cumulated vsize: 406220 KiB
Current children cumulated memory: 303992 KiB

[startup+422.4 s]
/proc/loadavg: 4.32 4.00 3.91 5/261 724356
/proc/meminfo: memFree=125661324/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=406220 memory=308028 CPUtime=421.07 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 525957 0 0 0 42018 89 0 0 20 0 3 0 142724352 415969280 77007 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 101555 77007 3310 3032 0 82120 0
[pid=723846/tid=723848] ppid=723843 vsize=406220 memory=303992 CPUtime=420.71 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 518295 0 0 0 41983 88 0 0 20 0 3 0 142724384 415969280 77007 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=406220 memory=295144 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 142724385 415969280 77007 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 421.07 s
Current children cumulated vsize: 406220 KiB
Current children cumulated memory: 308028 KiB

[startup+428.8 s]
/proc/loadavg: 4.29 4.00 3.91 5/261 724359
/proc/meminfo: memFree=125659196/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=411252 memory=309120 CPUtime=427.45 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 552038 0 0 0 42654 91 0 0 20 0 3 0 142724352 421122048 77280 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 102813 77280 3310 3032 0 83378 0
[pid=723846/tid=723848] ppid=723843 vsize=411252 memory=303992 CPUtime=427.09 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 544361 0 0 0 42620 89 0 0 20 0 3 0 142724384 421122048 77280 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=411252 memory=37304 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 142724385 421122048 77280 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 427.45 s
Current children cumulated vsize: 411252 KiB
Current children cumulated memory: 309120 KiB

[startup+430.4 s]
/proc/loadavg: 4.29 4.00 3.91 5/261 724359
/proc/meminfo: memFree=125657940/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=411252 memory=309120 CPUtime=429.05 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 553606 0 0 0 42813 92 0 0 20 0 3 0 142724352 421122048 77280 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 102813 77280 3310 3032 0 83378 0
[pid=723846/tid=723848] ppid=723843 vsize=411252 memory=2500 CPUtime=428.69 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 545920 0 0 0 42779 90 0 0 20 0 3 0 142724384 421122048 77280 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=411252 memory=11584 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 142724385 421122048 77280 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 429.05 s
Current children cumulated vsize: 411252 KiB
Current children cumulated memory: 309120 KiB

[startup+431.2 s]
/proc/loadavg: 4.29 4.00 3.91 5/261 724359
/proc/meminfo: memFree=125657940/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=411252 memory=309120 CPUtime=429.84 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 555207 0 0 0 42892 92 0 0 20 0 3 0 142724352 421122048 77280 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 102813 77280 3310 3032 0 83378 0
[pid=723846/tid=723848] ppid=723843 vsize=411252 memory=11584 CPUtime=429.48 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 547520 0 0 0 42858 90 0 0 20 0 3 0 142724384 421122048 77280 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=411252 memory=12384 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 142724385 421122048 77280 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 429.84 s
Current children cumulated vsize: 411252 KiB
Current children cumulated memory: 309120 KiB

[startup+431.6 s]
/proc/loadavg: 4.29 4.00 3.91 5/261 724359
/proc/meminfo: memFree=125657940/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=411252 memory=309124 CPUtime=430.24 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 555907 0 0 0 42932 92 0 0 20 0 3 0 142724352 421122048 77281 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 102813 77281 3310 3032 0 83378 0
[pid=723846/tid=723848] ppid=723843 vsize=411252 memory=4664 CPUtime=429.88 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 548221 0 0 0 42898 90 0 0 20 0 3 0 142724384 421122048 77281 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=411252 memory=2260464 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 142724385 421122048 77281 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 430.24 s
Current children cumulated vsize: 411252 KiB
Current children cumulated memory: 309124 KiB

[startup+431.8 s]
/proc/loadavg: 4.29 4.00 3.91 5/261 724359
/proc/meminfo: memFree=125657940/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=411252 memory=309124 CPUtime=430.44 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 556087 0 0 0 42952 92 0 0 20 0 3 0 142724352 421122048 77281 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 102813 77281 3310 3032 0 83378 0
[pid=723846/tid=723848] ppid=723843 vsize=411252 memory=4832 CPUtime=430.08 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 548392 0 0 0 42918 90 0 0 20 0 3 0 142724384 421122048 77281 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=411252 memory=309120 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 142724385 421122048 77281 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 430.44 s
Current children cumulated vsize: 411252 KiB
Current children cumulated memory: 309124 KiB

[startup+431.9 s]
/proc/loadavg: 4.29 4.00 3.91 5/261 724359
/proc/meminfo: memFree=125657940/131524600 swapFree=131071996/131071996
[pid=723846] ppid=723843 vsize=411252 memory=309124 CPUtime=430.54 cores=4,6
/proc/723846/stat : 723846 (fscip) S 723843 723846 721169 0 -1 1077936128 556165 0 0 0 42962 92 0 0 20 0 3 0 142724352 421122048 77281 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
/proc/723846/statm: 102813 77281 3310 3032 0 83378 0
[pid=723846/tid=723848] ppid=723843 vsize=411252 memory=248124 CPUtime=430.18 cores=4,6
/proc/723846/task/723848/stat : 723848 (fscip) R 723843 723846 721169 0 -1 4194368 548470 0 0 0 42928 90 0 0 20 0 3 0 142724384 421122048 77281 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
[pid=723846/tid=723849] ppid=723843 vsize=411252 memory=309120 CPUtime=0 cores=4,6
/proc/723846/task/723849/stat : 723849 (fscip) S 723843 723846 721169 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 142724385 421122048 77281 134679101440 4194304 16613245 140723209567312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 32854016 140723209573345 140723209573461 140723209573461 140723209580528 0
Current children cumulated CPU time: 430.54 s
Current children cumulated vsize: 411252 KiB
Current children cumulated memory: 309124 KiB

Child status: 0

Real time (s): 432
CPU time (s): 430.652
CPU user time (s): 429.709
CPU system time (s): 0.943057
CPU usage (%): 99.6878
Max. virtual memory (cumulated for all children) (KiB): 411252
Max. memory (cumulated for all children) (KiB): 309124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 429.709
system time used= 0.943057
maximum resident set size= 309124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 562637
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= 1478
involuntary context switches= 499


# summary of solver processes directly reported to runsolver:
#   pid: 723846
#   total CPU time (s): 430.652
#   total CPU user time (s): 429.709
#   total CPU system time (s): 0.943057

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.823815 second user time and 2.17036 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-13 23:19:45
IDJOB=4426773
IDBENCH=143536
IDSOLVER=3044
FILE ID=nodeC028/4426773-1720905573
RUNJOBID= nodeC028-1720905559-723486
SLURM_JOB_ID= 7486087
Free space on /tmp= 889988 MiB

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

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

MD5SUM BENCH= 07149bb688e9c24b651465ffa2b1083b
RANDOM SEED=728412226

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126388200 kB
MemAvailable:   126484404 kB
Buffers:          327276 kB
Cached:           615312 kB
SwapCached:            0 kB
Active:           536452 kB
Inactive:        4037948 kB
Active(anon):       1536 kB
Inactive(anon):  3668016 kB
Active(file):     534916 kB
Inactive(file):   369932 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            128104 kB
Writeback:             0 kB
AnonPages:       3631096 kB
Mapped:           134948 kB
Shmem:             37720 kB
KReclaimable:      62360 kB
Slab:             158968 kB
SReclaimable:      62360 kB
SUnreclaim:        96608 kB
KernelStack:        4160 kB
PageTables:        16148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3483924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54400 kB
HardwareCorrupted:     0 kB
AnonHugePages:    333824 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:      166612 kB
DirectMap2M:    10092544 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 889960 MiB
End job on nodeC028 at 2024-07-13 23:26:58