Trace number 4426767

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 536.89 539.161

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo
MD5SUMc44296df46be636a3d5069e5616e3fa6
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark18.9546
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 constraints927
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 45360
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45359
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 745
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 = 31272960, getVmSize() = 31272960, SCIPgetMemUsed() = 6504164, SCIPgetMemTotal() = 9388908, SCIPgetMemExternEstim() = 4606299
0.00/0.01	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.30/0.33	c ** Estimated virtualMemUsedAtSolver = 24562346, getVmSize() = 42414080, SCIPgetMemUsed() = 10283355, SCIPgetMemTotal() = 18909587, SCIPgetMemExternEstim() = 4606299
0.30/0.33	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.30/0.33	c Original Problem   :
0.30/0.33	c   Problem name     : instance-4426767-1720905622
0.30/0.33	c   Variables        : 1158 (1158 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.33	c   Constraints      : 3635
0.30/0.33	c   Objective sense  : minimize
0.30/0.33	c Presolved Problem  :
0.30/0.33	c   Variables        : 1164 (1156 binary, 0 integer, 8 implicit integer, 0 continuous)
0.30/0.33	c   Constraints      : 2624
0.30/0.33	c Constraints        : Number
0.30/0.33	c   knapsack         : 1 
0.30/0.33	c   setppc           : 72 
0.30/0.33	c   linear           : 925 
0.30/0.33	c   logicor          : 1601 
0.30/0.33	c   indicator        : 25 
0.30/0.33	c ** Instance transfer method used: 0
0.30/0.34	c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.34	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.34	c                                Nodes    Active                                            
0.30/0.34	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.30/0.38	c *       0              0           1         1       30178.0000                -          -
0.30/0.39	c *       0              0           1         1         495.0000                -          -
1.17/1.29	c *       1              0           1         1         143.0000                -          -
5.16/5.22	c         5             53           8         1         143.0000           0.0000          -
5.16/5.28	c *       5             53           8         1         141.0000           0.0000          -
5.16/5.28	c *       5             53           8         1         138.0000           0.0000          -
5.86/5.97	c *       6             53           8         1         123.0000           0.0000          -
6.06/6.18	c *       6             53           8         1         113.0000           0.0000          -
7.26/7.33	c *       7             86          19         1         104.0000           0.0000          -
7.26/7.34	c *       7             86          19         1          99.0000           0.0000          -
7.55/7.69	c *       8             86          19         1          86.0000           0.0000          -
9.55/9.68	c *      10            142          29         1          85.0000           0.0000          -
9.85/9.92	c *      10            142          29         1          45.0000           0.0000          -
10.34/10.49	c        10            230          38         1          45.0000           0.0000          -
13.73/13.80	c *      14            540          83         1          44.0000           0.0000          -
15.82/15.90	c        16            713          99         1          44.0000           0.0000          -
17.12/17.29	c *      17            820         115         1          34.0000           0.0000          -
20.91/21.03	c        21           1517         225         1          34.0000           0.0000          -
25.89/26.07	c        26           2721         545         1          34.0000           0.0000          -
31.06/31.28	c        31           3066          97         1          34.0000           0.0000          -
36.24/36.45	c        36           3674         260         1          34.0000           0.0000          -
41.42/41.63	c        42           4158         332         1          34.0000           0.0000          -
46.40/46.69	c        47           5504         607         1          34.0000           0.0000          -
51.58/51.82	c        52           6553         802         1          34.0000           0.0000          -
56.87/57.19	c        57           7550        1107         1          34.0000           0.0000          -
62.14/62.40	c        62           8635        1323         1          34.0000           0.0000          -
67.12/67.50	c        68           9485        1546         1          34.0000           0.0000          -
68.61/68.91	c *      69           9648        1586         1          18.0000           0.0000          -
72.90/73.21	c        73          10678        1156         1          18.0000           0.0000          -
77.98/78.38	c        78          12646        1416         1          18.0000           0.0000          -
83.06/83.43	c        83          14775        1591         1          18.0000           0.0000          -
88.14/88.56	c        89          16768        1883         1          18.0000           0.0000          -
93.52/93.93	c        94          18725        2041         1          18.0000           0.0000          -
98.50/98.99	c        99          21319        2316         1          18.0000           0.0000          -
103.68/104.18	c       104          23223        2467         1          18.0000           0.0000          -
108.76/109.24	c       109          25697        2692         1          18.0000           0.0000          -
113.84/114.37	c       114          27500        2838         1          18.0000           0.0000          -
118.92/119.46	c       119          28890        2988         1          18.0000           0.0000          -
124.19/124.77	c       125          30200        3185         1          18.0000           0.0000          -
129.27/129.81	c       130          32286        3511         1          18.0000           0.0000          -
134.25/134.87	c       135          34225        3777         1          18.0000           0.0000          -
139.44/140.01	c       140          35933        3937         1          18.0000           0.0000          -
144.71/145.33	c       145          37859        4154         1          18.0000           0.0000          -
149.69/150.37	c       150          39798        4352         1          18.0000           0.0000          -
154.77/155.42	c       155          41649        4615         1          18.0000           0.0000          -
159.75/160.48	c       160          43831        4892         1          18.0000           0.0000          -
164.83/165.53	c       166          45575        5024         1          18.0000           0.0000          -
169.81/170.59	c       171          47723        5153         1          18.0000           0.0000          -
174.89/175.68	c       176          49763        5375         1          18.0000           0.0000          -
179.97/180.74	c       181          51683        5611         1          18.0000           0.0000          -
185.05/185.84	c       186          53781        5758         1          18.0000           0.0000          -
190.62/191.50	c       192          55498        5966         1          18.0000           0.0000          -
196.00/196.85	c       197          56925        6119         1          18.0000           0.0000          -
201.08/201.97	c       202          58226        6249         1          18.0000           0.0000          -
206.16/207.02	c       207          59729        6402         1          18.0000           0.0000          -
211.15/212.07	c       212          62078        6634         1          18.0000           0.0000          -
216.32/217.21	c       217          63997        6892         1          18.0000           0.0000          -
221.30/222.25	c       222          65835        7056         1          18.0000           0.0000          -
225.58/226.53	c *     227          67848        7352         1          14.0000           0.0000          -
226.38/227.31	c       227          68284        6241         1          14.0000           0.0000          -
231.35/232.39	c       232          70197        6413         1          14.0000           0.0000          -
236.44/237.49	c       237          72065        6556         1          14.0000           0.0000          -
241.52/242.53	c       243          73875        6567         1          14.0000           0.0000          -
246.60/247.63	c       248          76066        6680         1          14.0000           0.0000          -
251.57/252.67	c       253          78539        6783         1          14.0000           0.0000          -
256.66/257.71	c       258          80800        6888         1          14.0000           0.0000          -
261.64/262.77	c       263          82841        7040         1          14.0000           0.0000          -
266.71/267.82	c       268          85430        7293         1          14.0000           0.0000          -
270.50/271.62	c *     272          86996        7464         1          12.0000           0.0000          -
271.70/272.88	c       273          87882        6866         1          12.0000           0.0000          -
276.78/277.98	c       278          90145        7010         1          12.0000           0.0000          -
281.86/283.04	c       283          92334        7096         1          12.0000           0.0000          -
286.84/288.10	c       288          94915        7265         1          12.0000           0.0000          -
292.22/293.46	c       293          97017        7350         1          12.0000           0.0000          -
297.29/298.57	c       299          98394        7514         1          12.0000           0.0000          -
302.37/303.61	c       304         100395        7749         1          12.0000           0.0000          -
307.35/308.67	c       309         103148        7964         1          12.0000           0.0000          -
312.43/313.72	c       314         105847        8306         1          12.0000           0.0000          -
318.60/320.00	c       320         106700        8386         1          12.0000           0.0000          -
323.88/325.29	c       325         108068        8529         1          12.0000           0.0000          -
329.06/330.41	c       330         109436        8707         1          12.0000           0.0000          -
334.25/335.67	c       336         110553        8838         1          12.0000           0.0000          -
339.42/340.88	c       341         112125        9025         1          12.0000           0.0000          -
344.71/346.10	c       346         113774        9164         1          12.0000           0.0000          -
349.78/351.28	c       351         115209        9318         1          12.0000           0.0000          -
354.96/356.41	c       356         116492        9402         1          12.0000           0.0000          -
359.94/361.49	c       361         117600        9491         1          12.0000           0.0000          -
365.02/366.54	c       367         119211        9598         1          12.0000           0.0000          -
370.09/371.66	c       372         121219        9773         1          12.0000           0.0000          -
375.16/376.70	c       377         122771        9925         1          12.0000           0.0000          -
380.15/381.75	c       382         124392       10059         1          12.0000           0.0000          -
385.32/386.97	c       387         125729       10191         1          12.0000           0.0000          -
390.50/392.11	c       392         128022       10361         1          12.0000           0.0000          -
395.57/397.23	c       397         129711       10511         1          12.0000           0.0000          -
400.64/402.39	c       402         131008       10600         1          12.0000           0.0000          -
405.72/407.49	c       408         132529       10746         1          12.0000           0.0000          -
410.80/412.55	c       413         134406       10910         1          12.0000           0.0000          -
415.87/417.60	c       418         136349       11082         1          12.0000           0.0000          -
420.95/422.72	c       423         138005       11174         1          12.0000           0.0000          -
425.92/427.78	c       428         139499       11269         1          12.0000           0.0000          -
430.99/432.84	c       433         141416       11346         1          12.0000           0.0500          -
436.07/437.97	c       438         142786       11161         1          12.0000           0.2424          -
441.05/442.97	c       443         144256       10883         1          12.0000           0.3810          -
446.33/448.23	c       448         146166       10530         1          12.0000           0.5000          -
451.30/453.28	c       453         148296       10188         1          12.0000           0.6567          -
457.08/459.04	c       459         150619        9794         1          12.0000           0.7500          -
462.35/464.30	c       464         152796        9410         1          12.0000           0.8571          -
467.53/469.55	c       470         154906        9028         1          12.0000           0.9910          -
472.50/474.58	c       475         156976        8669         1          12.0000           1.0625          -
477.57/479.60	c       480         159176        8401         1          12.0000           1.1429          -
482.85/484.93	c       485         161536        7932         1          12.0000           1.2444          -
488.04/490.15	c       490         163606        7507         1          12.0000           1.3824          -
492.01/494.10	c *     494         164956        7240         1          11.0000           1.5000          -
493.01/495.18	c       495         165786        6352         1          11.0000           1.5536          -
498.28/500.41	c       500         167936        5857         1          11.0000           1.7143          -
503.25/505.47	c       505         170146        5313         1          11.0000           1.9286    470.37%
508.23/510.48	c       510         172036        4794         1          11.0000           2.0000    450.00%
513.31/515.50	c       516         174156        4134         1          11.0000           2.3182    374.51%
518.39/520.66	c       521         176105        3600         1          11.0000           2.5000    340.00%
523.57/525.81	c       526         177936        3036         1          11.0000           2.7273    303.33%
529.15/531.45	c       531         180147        2179         1          11.0000           3.0000    266.67%
534.13/536.47	c       536         181996         976         1          11.0000           3.8320    187.06%
536.73/539.09	c       539         182833           0         0          11.0000          11.0000      0.00%
536.82/539.14	c       539         182833           0         0          11.0000          11.0000          -
536.82/539.14	c SCIP Status        : c problem is solved
536.82/539.14	c Total Time         : 539.1400
536.82/539.14	c   solving          : 539.1400
536.82/539.14	c   presolving       : 0.3184 (included in solving)
536.82/539.14	c B&B Tree           :
536.82/539.14	c   nodes (total)    : 182833
536.82/539.14	c Solution           :
536.82/539.14	c   Solutions found  : 18
536.82/539.14	c   Primal Bound     : +1.10000000000000e+01
536.82/539.14	c   Dual Bound       : +1.10000000000000e+01
536.82/539.14	c Gap                : 0.00000 %
536.82/539.15	o 11
536.82/539.15	s OPTIMUM FOUND
536.82/539.15	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 
536.82/539.15	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
536.82/539.15	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
536.82/539.15	v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 x147 
536.82/539.15	v -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 
536.82/539.15	v -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 
536.82/539.15	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 
536.82/539.15	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 
536.82/539.15	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 
536.82/539.15	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 
536.82/539.15	v x1

Verifier Data 

OK	11

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: 63931 MiB (58668 MiB free)
  memory of node 1: 64510 MiB (60036 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426767-1720905622/watcher-4426767-1720905622 -o /tmp/evaluation-result-4426767-1720905622/solver-4426767-1720905622 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1720905543-724799 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426767-1720905622.wbo -qsol -t 3600 -sth 1 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=724937, runsolver pid=724934

[startup+0.100105 s]*
/proc/loadavg: 3.50 2.41 2.16 5/264 724938
/proc/meminfo: memFree=121537048/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=37248 memory=26696 CPUtime=0.09 cores=0,2
/proc/724937/stat : 724937 (fscip) R 724934 724937 722468 0 -1 4194304 4265 0 0 0 9 0 0 0 20 0 1 0 142729621 38141952 6674 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 9312 6674 2670 3032 0 5712 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 26696 KiB

[startup+0.205857 s]*
/proc/loadavg: 3.50 2.41 2.16 5/264 724938
/proc/meminfo: memFree=121535928/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=38148 memory=27488 CPUtime=0.2 cores=0,2
/proc/724937/stat : 724937 (fscip) R 724934 724937 722468 0 -1 4194304 4459 0 0 0 20 0 0 0 20 0 1 0 142729621 39063552 6872 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 9537 6872 2670 3032 0 5937 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38148 KiB
Current children cumulated memory: 27488 KiB

[startup+0.305758 s]*
/proc/loadavg: 3.50 2.41 2.16 5/264 724938
/proc/meminfo: memFree=121535788/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=38148 memory=27488 CPUtime=0.3 cores=0,2
/proc/724937/stat : 724937 (fscip) R 724934 724937 722468 0 -1 4194304 4460 0 0 0 30 0 0 0 20 0 1 0 142729621 39063552 6872 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 9537 6872 2670 3032 0 5937 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38148 KiB
Current children cumulated memory: 27488 KiB

[startup+0.700261 s]
/proc/loadavg: 3.50 2.41 2.16 5/266 724940
/proc/meminfo: memFree=121512148/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=130500 memory=59488 CPUtime=0.67 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 12735 0 0 0 66 1 0 0 20 0 3 0 142729621 133632000 14872 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 32625 14872 2830 3032 0 19066 0
[pid=724937/tid=724939] ppid=724934 vsize=130500 memory=1972 CPUtime=0.33 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 6832 0 0 0 33 0 0 0 20 0 3 0 142729655 133632000 14872 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=130500 memory=164 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 142729656 133632000 14872 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 130500 KiB
Current children cumulated memory: 59488 KiB

[startup+1.50026 s]
/proc/loadavg: 3.50 2.41 2.16 5/266 724940
/proc/meminfo: memFree=121492264/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=141720 memory=86712 CPUtime=1.47 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 25339 0 0 0 144 3 0 0 20 0 3 0 142729621 145121280 21678 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 35430 21678 2926 3032 0 27561 0
[pid=724937/tid=724939] ppid=724934 vsize=141720 memory=164 CPUtime=1.13 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 19435 0 0 0 111 2 0 0 20 0 3 0 142729655 145121280 21678 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=141720 memory=0 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 142729656 145121280 21678 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 141720 KiB
Current children cumulated memory: 86712 KiB

[startup+3.1058 s]
/proc/loadavg: 3.50 2.41 2.16 5/266 724940
/proc/meminfo: memFree=121445252/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=213312 memory=124628 CPUtime=3.08 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 35225 0 0 0 303 5 0 0 20 0 3 0 142729621 218431488 31157 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 53328 31157 2942 3032 0 37596 0
[pid=724937/tid=724939] ppid=724934 vsize=213312 memory=86720 CPUtime=2.73 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 29291 0 0 0 269 4 0 0 20 0 3 0 142729655 218431488 31157 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=213312 memory=0 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 142729656 218431488 31157 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 213312 KiB
Current children cumulated memory: 124628 KiB

[startup+6.30025 s]
/proc/loadavg: 3.54 2.44 2.17 5/266 724941
/proc/meminfo: memFree=121434152/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=207256 memory=131580 CPUtime=6.25 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 50982 0 0 0 619 6 0 0 20 0 3 0 142729621 212230144 32895 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 51814 32895 3310 3032 0 38150 0
[pid=724937/tid=724939] ppid=724934 vsize=207256 memory=11588 CPUtime=5.91 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 44570 0 0 0 586 5 0 0 20 0 3 0 142729655 212230144 32895 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=207256 memory=131140 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 142729656 212230144 32895 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 207256 KiB
Current children cumulated memory: 131580 KiB

[startup+12.7002 s]
/proc/loadavg: 3.58 2.47 2.18 5/266 724943
/proc/meminfo: memFree=121430384/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=207256 memory=133316 CPUtime=12.64 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 77769 0 0 0 1255 9 0 0 20 0 3 0 142729621 212230144 33329 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 51814 33329 3310 3032 0 38150 0
[pid=724937/tid=724939] ppid=724934 vsize=207256 memory=7377573816914240614 CPUtime=12.29 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 71029 0 0 0 1221 8 0 0 20 0 3 0 142729655 212230144 33329 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=207256 memory=132000 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 142729656 212230144 33329 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 207256 KiB
Current children cumulated memory: 133316 KiB

[startup+25.5003 s]
/proc/loadavg: 3.74 2.56 2.22 5/266 724944
/proc/meminfo: memFree=121390760/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=207256 memory=169276 CPUtime=25.39 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 122950 0 0 0 2525 14 0 0 20 0 3 0 142729621 212230144 42319 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 51814 42319 3310 3032 0 47790 0
[pid=724937/tid=724939] ppid=724934 vsize=207256 memory=11588 CPUtime=25.03 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 115681 0 0 0 2491 12 0 0 20 0 3 0 142729655 212230144 42319 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=207256 memory=133328 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 142729656 212230144 42319 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 207256 KiB
Current children cumulated memory: 169276 KiB

[startup+51.1057 s]
/proc/loadavg: 3.83 2.68 2.27 5/266 724949
/proc/meminfo: memFree=121367108/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=272792 memory=177216 CPUtime=50.88 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 185979 0 0 0 5069 19 0 0 20 0 3 0 142729621 279339008 44304 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 68198 44304 3310 3032 0 49129 0
[pid=724937/tid=724939] ppid=724934 vsize=272792 memory=2340 CPUtime=50.54 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 178591 0 0 0 5036 18 0 0 20 0 3 0 142729655 279339008 44304 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=272792 memory=177216 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 142729656 279339008 44304 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 272792 KiB
Current children cumulated memory: 177216 KiB

[startup+102.3 s]
/proc/loadavg: 3.97 2.90 2.37 5/266 724957
/proc/meminfo: memFree=121271064/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=278864 memory=219028 CPUtime=101.88 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 283574 0 0 0 10156 32 0 0 20 0 3 0 142729621 285556736 54757 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 69716 54757 3310 3032 0 59534 0
[pid=724937/tid=724939] ppid=724934 vsize=278864 memory=198744 CPUtime=101.53 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 275862 0 0 0 10122 31 0 0 20 0 3 0 142729655 285556736 54757 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=278864 memory=35580 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 142729656 285556736 54757 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 278864 KiB
Current children cumulated memory: 219028 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 3.13 2.48 5/266 724968
/proc/meminfo: memFree=121198580/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=290280 memory=233764 CPUtime=161.65 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 368544 0 0 0 16118 47 0 0 20 0 3 0 142729621 297246720 58441 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 72570 58441 3310 3032 0 64441 0
[pid=724937/tid=724939] ppid=724934 vsize=290280 memory=227096 CPUtime=161.28 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 360721 0 0 0 16083 45 0 0 20 0 3 0 142729655 297246720 58441 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=290280 memory=233608 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 142729656 297246720 58441 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 290280 KiB
Current children cumulated memory: 233764 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.29 2.58 5/264 724979
/proc/meminfo: memFree=121105544/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=369584 memory=269472 CPUtime=221.4 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 419955 0 0 0 22083 57 0 0 20 0 3 0 142729621 378454016 67368 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 92396 67368 3310 3032 0 73370 0
[pid=724937/tid=724939] ppid=724934 vsize=369584 memory=232384 CPUtime=221.03 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 412091 0 0 0 22048 55 0 0 20 0 3 0 142729655 378454016 67368 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=369584 memory=269472 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 142729656 378454016 67368 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 221.4 s

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

/proc/724937/statm: 100706 80815 3310 3032 0 86190 0
[pid=724937/tid=724939] ppid=724934 vsize=402824 memory=316644 CPUtime=400.27 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 503815 0 0 0 39946 81 0 0 20 0 3 0 142729655 412491776 80815 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=402824 memory=320312 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 142729656 412491776 80815 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 400.64 s
Current children cumulated vsize: 402824 KiB
Current children cumulated memory: 323260 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.76 2.94 5/266 725575
/proc/meminfo: memFree=120764536/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=415728 memory=330732 CPUtime=460.36 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 556160 0 0 0 45943 93 0 0 20 0 3 0 142729621 425705472 82683 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 103932 82683 3310 3032 0 89416 0
[pid=724937/tid=724939] ppid=724934 vsize=415728 memory=325872 CPUtime=459.97 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 547839 0 0 0 45907 90 0 0 20 0 3 0 142729655 425705472 82683 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=415728 memory=323376 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 142729656 425705472 82683 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 460.36 s
Current children cumulated vsize: 415728 KiB
Current children cumulated memory: 330732 KiB

[startup+522.3 s]
/proc/loadavg: 4.08 3.82 3.02 5/266 725585
/proc/meminfo: memFree=120739688/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=415728 memory=331988 CPUtime=520.09 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 605249 0 0 0 51905 104 0 0 20 0 3 0 142729621 425705472 82997 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 103932 82997 3310 3032 0 89416 0
[pid=724937/tid=724939] ppid=724934 vsize=415728 memory=331988 CPUtime=519.66 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 596687 0 0 0 51866 100 0 0 20 0 3 0 142729655 425705472 82997 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=415728 memory=331988 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 142729656 425705472 82997 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 520.09 s
Current children cumulated vsize: 415728 KiB
Current children cumulated memory: 331988 KiB

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

# cumulated CPU time of all completed processes:  user=535.779 s, system=1.11148 s

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

[startup+524.8 s]
/proc/loadavg: 4.08 3.82 3.02 5/266 725585
/proc/meminfo: memFree=120738688/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=415728 memory=331988 CPUtime=522.57 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 605420 0 0 0 52153 104 0 0 20 0 3 0 142729621 425705472 82997 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 103932 82997 3310 3032 0 89416 0
[pid=724937/tid=724939] ppid=724934 vsize=415728 memory=331988 CPUtime=522.16 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 596858 0 0 0 52115 101 0 0 20 0 3 0 142729655 425705472 82997 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=415728 memory=40252 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 142729656 425705472 82997 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 522.57 s
Current children cumulated vsize: 415728 KiB
Current children cumulated memory: 331988 KiB

[startup+531.2 s]
/proc/loadavg: 4.07 3.82 3.03 5/266 725586
/proc/meminfo: memFree=120738608/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=415728 memory=331988 CPUtime=528.95 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 606028 0 0 0 52789 106 0 0 20 0 3 0 142729621 425705472 82997 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 103932 82997 3310 3032 0 89416 0
[pid=724937/tid=724939] ppid=724934 vsize=415728 memory=35580 CPUtime=528.53 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 597466 0 0 0 52751 102 0 0 20 0 3 0 142729655 425705472 82997 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=415728 memory=331988 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 142729656 425705472 82997 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 528.95 s
Current children cumulated vsize: 415728 KiB
Current children cumulated memory: 331988 KiB

[startup+534.4 s]
/proc/loadavg: 4.07 3.82 3.03 5/266 725586
/proc/meminfo: memFree=120735952/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=415728 memory=331988 CPUtime=532.14 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 612991 0 0 0 53107 107 0 0 20 0 3 0 142729621 425705472 82997 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 103932 82997 3310 3032 0 89416 0
[pid=724937/tid=724939] ppid=724934 vsize=415728 memory=331988 CPUtime=531.71 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 604405 0 0 0 53068 103 0 0 20 0 3 0 142729655 425705472 82997 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=415728 memory=35580 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 142729656 425705472 82997 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 532.14 s
Current children cumulated vsize: 415728 KiB
Current children cumulated memory: 331988 KiB

[startup+537.6 s]
/proc/loadavg: 4.15 3.84 3.04 5/266 725586
/proc/meminfo: memFree=120735876/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=415728 memory=331992 CPUtime=535.32 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 619221 0 0 0 53424 108 0 0 20 0 3 0 142729621 425705472 82998 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 103932 82998 3310 3032 0 89416 0
[pid=724937/tid=724939] ppid=724934 vsize=415728 memory=331988 CPUtime=534.89 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 610625 0 0 0 53385 104 0 0 20 0 3 0 142729655 425705472 82998 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=415728 memory=331988 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 142729656 425705472 82998 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 535.32 s
Current children cumulated vsize: 415728 KiB
Current children cumulated memory: 331992 KiB

[startup+538.4 s]
/proc/loadavg: 4.15 3.84 3.04 5/266 725586
/proc/meminfo: memFree=120735908/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=415728 memory=331992 CPUtime=536.12 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 620351 0 0 0 53504 108 0 0 20 0 3 0 142729621 425705472 82998 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 103932 82998 3310 3032 0 89416 0
[pid=724937/tid=724939] ppid=724934 vsize=415728 memory=11588 CPUtime=535.7 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 611755 0 0 0 53465 105 0 0 20 0 3 0 142729655 425705472 82998 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=415728 memory=331992 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 142729656 425705472 82998 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 536.12 s
Current children cumulated vsize: 415728 KiB
Current children cumulated memory: 331992 KiB

[startup+538.8 s]
/proc/loadavg: 4.15 3.84 3.04 5/266 725586
/proc/meminfo: memFree=120735908/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=415728 memory=331992 CPUtime=536.52 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 620768 0 0 0 53543 109 0 0 20 0 3 0 142729621 425705472 82998 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 103932 82998 3310 3032 0 89416 0
[pid=724937/tid=724939] ppid=724934 vsize=415728 memory=2363452 CPUtime=536.09 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 612172 0 0 0 53504 105 0 0 20 0 3 0 142729655 425705472 82998 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=415728 memory=2698164 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 142729656 425705472 82998 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 536.52 s
Current children cumulated vsize: 415728 KiB
Current children cumulated memory: 331992 KiB

[startup+539 s]*
/proc/loadavg: 4.15 3.84 3.04 5/266 725588
/proc/meminfo: memFree=120735844/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=415728 memory=331992 CPUtime=536.73 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 621020 0 0 0 53564 109 0 0 20 0 3 0 142729621 425705472 82998 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 103932 82998 3310 3032 0 89416 0
[pid=724937/tid=724939] ppid=724934 vsize=415728 memory=6720664342033087598 CPUtime=536.3 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 612424 0 0 0 53525 105 0 0 20 0 3 0 142729655 425705472 82998 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=415728 memory=-4421386513360643685 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 142729656 425705472 82998 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 536.73 s
Current children cumulated vsize: 415728 KiB
Current children cumulated memory: 331992 KiB

[startup+539.106 s]
/proc/loadavg: 4.15 3.84 3.04 5/266 725588
/proc/meminfo: memFree=120735844/131524600 swapFree=131071996/131071996
[pid=724937] ppid=724934 vsize=415728 memory=331992 CPUtime=536.82 cores=0,2
/proc/724937/stat : 724937 (fscip) S 724934 724937 722468 0 -1 1077936128 621624 0 0 0 53573 109 0 0 20 0 3 0 142729621 425705472 82998 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
/proc/724937/statm: 103932 82998 3310 3032 0 89416 0
[pid=724937/tid=724939] ppid=724934 vsize=415728 memory=331988 CPUtime=536.39 cores=0,2
/proc/724937/task/724939/stat : 724939 (fscip) R 724934 724937 722468 0 -1 4194368 613027 0 0 0 53534 105 0 0 20 0 3 0 142729655 425705472 82998 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
[pid=724937/tid=724940] ppid=724934 vsize=415728 memory=11588 CPUtime=0 cores=0,2
/proc/724937/task/724940/stat : 724940 (fscip) S 724934 724937 722468 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 142729656 425705472 82998 134679101440 4194304 16613245 140724116747760 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 45854720 140724116751329 140724116751445 140724116751445 140724116758512 0
Current children cumulated CPU time: 536.82 s
Current children cumulated vsize: 415728 KiB
Current children cumulated memory: 331992 KiB

Child status: 0

Real time (s): 539.161
CPU time (s): 536.89
CPU user time (s): 535.779
CPU system time (s): 1.11148
CPU usage (%): 99.5788
Max. virtual memory (cumulated for all children) (KiB): 415728
Max. memory (cumulated for all children) (KiB): 331992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 535.779
system time used= 1.11148
maximum resident set size= 331992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 627495
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= 3453
involuntary context switches= 3749


# summary of solver processes directly reported to runsolver:
#   pid: 724937
#   total CPU time (s): 536.89
#   total CPU user time (s): 535.779
#   total CPU system time (s): 1.11148

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.06724 second user time and 2.71671 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-13 23:20:35
IDJOB=4426767
IDBENCH=143612
IDSOLVER=3044
FILE ID=nodeC029/4426767-1720905622
RUNJOBID= nodeC029-1720905543-724799
SLURM_JOB_ID= 7486088
Free space on /tmp= 889992 MiB

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

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

MD5SUM BENCH= c44296df46be636a3d5069e5616e3fa6
RANDOM SEED=443130561

nodeC029.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		: 3677.493
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	: 7000.09
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		: 3687.259
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	: 7006.98
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		: 3659.055
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	: 7000.09
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		: 3600.218
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	: 7006.98
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		: 3672.166
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	: 7000.09
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		: 3687.325
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	: 7006.98
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		: 3604.801
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	: 7000.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121553768 kB
MemAvailable:   123812032 kB
Buffers:          329404 kB
Cached:          2745404 kB
SwapCached:            0 kB
Active:           537544 kB
Inactive:        8798644 kB
Active(anon):       1464 kB
Inactive(anon):  6297616 kB
Active(file):     536080 kB
Inactive(file):  2501028 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28312 kB
Writeback:             4 kB
AnonPages:       6260352 kB
Mapped:           135504 kB
Shmem:             37720 kB
KReclaimable:     121604 kB
Slab:             225852 kB
SReclaimable:     121604 kB
SUnreclaim:       104248 kB
KernelStack:        4224 kB
PageTables:        21600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3859344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54560 kB
HardwareCorrupted:     0 kB
AnonHugePages:    507904 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:      213716 kB
DirectMap2M:    21579776 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC029 at 2024-07-13 23:29:34