Trace number 4465079

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-30OPTIMUM 622.304 624.796

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo
MD5SUM0ec8eded4864fc6a1104762af3da9593
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark32.2684
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 constraints2707
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 135715
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135714
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 665
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: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
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.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02	c Default LC presolving (default).
0.00/0.02	c ** Before presolving: virtualMemUsedAtLc = 35749888, getVmSize() = 35749888, SCIPgetMemUsed() = 10377933, SCIPgetMemTotal() = 13642749, SCIPgetMemExternEstim() = 7879036
0.00/0.02	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.78/1.80	c ** Estimated virtualMemUsedAtSolver = 41992722, getVmSize() = 79179776, SCIPgetMemUsed() = 39418336, SCIPgetMemTotal() = 55110048, SCIPgetMemExternEstim() = 7879036
1.78/1.80	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
1.78/1.80	c Original Problem   :
1.78/1.80	c   Problem name     : instance-4465079-1722389429
1.78/1.80	c   Variables        : 2938 (2938 binary, 0 integer, 0 implicit integer, 0 continuous)
1.78/1.80	c   Constraints      : 5415
1.78/1.80	c   Objective sense  : minimize
1.78/1.80	c Presolved Problem  :
1.78/1.80	c   Variables        : 2961 (2938 binary, 0 integer, 23 implicit integer, 0 continuous)
1.78/1.80	c   Constraints      : 2742
1.78/1.80	c Constraints        : Number
1.78/1.80	c   setppc           : 3 
1.78/1.80	c   linear           : 2707 
1.78/1.80	c   indicator        : 32 
1.78/1.80	c ** Instance transfer method used: 0
1.78/1.81	c ** ParaScipInstance copy does not increase the number of variables. **
1.78/1.82	c LC is working with racing ramp-up and with rebuilding tree after racing.
1.78/1.82	c                                Nodes    Active                                            
1.78/1.82	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
1.78/1.83	c *       2              0           1         1      135621.0000                -          -
1.78/1.87	c *       2              0           1         1       89739.0000                -          -
1.78/1.87	c *       2              0           1         1         982.0000                -          -
3.76/3.89	c *       4              0           1         1         358.0000                -          -
3.96/4.02	c *       4              0           1         1         311.0000                -          -
5.63/5.75	c         6              8           7         1         311.0000           0.0000          -
5.83/5.96	c *       6              8           7         1         174.0000           0.0000          -
5.83/5.96	c *       6              8           7         1         168.0000           0.0000          -
5.83/5.98	c *       6              8           7         1          56.0000           0.0000          -
6.04/6.12	c *       6              8           7         1          54.0000           0.0000          -
8.80/8.90	c *       9             21          14         1          43.0000           0.0000          -
9.00/9.19	c *       9             21          14         1          31.0000           0.0000          -
9.10/9.22	c *       9             21          14         1          10.0000           0.0000          -
10.08/10.21	c *      10             38           7         1           9.0000           0.0000          -
10.08/10.25	c *      10             38           7         1           8.0000           0.0000          -
10.38/10.55	c *      11             38           7         1           7.0000           0.0000          -
10.68/10.81	c *      11             38           7         1           6.0000           0.0000          -
10.68/10.81	c        11             38           7         1           6.0000           0.0000          -
12.96/13.16	c *      13             80           9         1           5.0000           0.0000          -
12.96/13.17	c *      13             80           9         1           1.0000           0.0000          -
15.92/16.11	c        16            174          13         1           1.0000           0.0000          -
20.99/21.21	c        21            586          21         1           1.0000           0.0000          -
26.07/26.34	c        26           1084          14         1           1.0000           0.0000          -
31.14/31.44	c        31           2191          93         1           1.0000           0.0000          -
36.23/36.51	c        37           5522         157         1           1.0000           0.0000          -
41.21/41.56	c        42           9543         232         1           1.0000           0.0000          -
46.29/46.61	c        47          13608         215         1           1.0000           0.0000          -
51.37/51.72	c        52          17399         118         1           1.0000           0.0000          -
56.34/56.77	c        57          19894         111         1           1.0000           0.0000          -
61.42/61.88	c        62          22673         122         1           1.0000           0.0000          -
66.49/66.93	c        67          25817         274         1           1.0000           0.0000          -
71.46/71.99	c        72          28938         313         1           1.0000           0.0000          -
76.52/77.04	c        77          32248         271         1           1.0000           0.0000          -
81.50/82.10	c        82          35188         326         1           1.0000           0.0000          -
86.57/87.15	c        87          38351         357         1           1.0000           0.0000          -
91.64/92.22	c        92          41581         388         1           1.0000           0.0000          -
96.61/97.27	c        97          44678         468         1           1.0000           0.0000          -
101.68/102.35	c       102          47853         572         1           1.0000           0.0000          -
106.76/107.41	c       107          50675         564         1           1.0000           0.0000          -
111.73/112.47	c       112          53999         574         1           1.0000           0.0000          -
116.80/117.52	c       118          57290         489         1           1.0000           0.0000          -
121.77/122.57	c       123          60072         949         1           1.0000           0.0000          -
126.84/127.68	c       128          61782        1156         1           1.0000           0.0000          -
131.91/132.74	c       133          63545        1311         1           1.0000           0.0000          -
136.99/137.82	c       138          65817        1424         1           1.0000           0.0000          -
141.97/142.89	c       143          68187        1474         1           1.0000           0.0000          -
147.16/148.00	c       148          70302        1579         1           1.0000           0.0000          -
152.14/153.07	c       153          73083        1676         1           1.0000           0.0000          -
157.22/158.15	c       158          75198        1762         1           1.0000           0.0000          -
162.29/163.26	c       163          77297        1844         1           1.0000           0.0000          -
167.36/168.33	c       168          79713        1928         1           1.0000           0.0000          -
172.42/173.42	c       173          81183        1996         1           1.0000           0.0000          -
177.40/178.48	c       178          83317        2085         1           1.0000           0.0000          -
182.47/183.55	c       184          85279        2104         1           1.0000           0.0000          -
187.54/188.60	c       189          87951        2179         1           1.0000           0.0000          -
192.52/193.66	c       194          91087        2396         1           1.0000           0.0000          -
197.60/198.71	c       199          94639        2408         1           1.0000           0.0000          -
202.58/203.77	c       204          97455        2467         1           1.0000           0.0000          -
207.66/208.83	c       209         100476        2501         1           1.0000           0.0000          -
212.65/213.88	c       214         103378        2492         1           1.0000           0.0000          -
217.72/218.99	c       219         105583        2520         1           1.0000           0.0000          -
222.81/224.10	c       224         108308        2548         1           1.0000           0.0000          -
227.89/229.15	c       229         111185        2561         1           1.0000           0.0000          -
232.97/234.20	c       234         114064        2584         1           1.0000           0.0000          -
237.96/239.27	c       239         116349        2647         1           1.0000           0.0000          -
243.05/244.32	c       244         119805        2667         1           1.0000           0.0000          -
248.03/249.38	c       249         122978        2663         1           1.0000           0.0000          -
253.11/254.43	c       254         126649        2725         1           1.0000           0.0000          -
258.20/259.50	c       260         128816        2743         1           1.0000           0.0000          -
263.17/264.56	c       265         131818        2680         1           1.0000           0.0000          -
268.26/269.62	c       270         134955        2613         1           1.0000           0.0000          -
273.34/274.70	c       275         137058        2601         1           1.0000           0.0000          -
278.33/279.76	c       280         139286        2610         1           1.0000           0.0000          -
283.42/284.87	c       285         141879        2598         1           1.0000           0.0000          -
288.49/289.95	c       290         144621        2536         1           1.0000           0.0000          -
293.58/295.00	c       295         147123        2617         1           1.0000           0.0000          -
298.56/300.06	c       300         149094        2612         1           1.0000           0.0000          -
303.65/305.14	c       305         151283        2566         1           1.0000           0.0000          -
308.73/310.25	c       310         153638        2510         1           1.0000           0.0000          -
313.81/315.30	c       315         157507        2626         1           1.0000           0.0000          -
318.80/320.35	c       320         161137        2612         1           1.0000           0.0000          -
323.88/325.49	c       326         164242        2584         1           1.0000           0.0000          -
328.97/330.54	c       331         166751        2568         1           1.0000           0.0000          -
334.05/335.62	c       336         169089        2514         1           1.0000           0.0000          -
339.03/340.69	c       341         171459        2432         1           1.0000           0.0000          -
344.12/345.77	c       346         174227        2352         1           1.0000           0.0000          -
349.20/350.84	c       351         177739        2381         1           1.0000           0.0000          -
354.28/355.95	c       356         180159        2406         1           1.0000           0.0000          -
359.38/361.03	c       361         182465        2325         1           1.0000           0.0000          -
364.46/366.12	c       366         185436        2273         1           1.0000           0.0000          -
369.54/371.27	c       371         187557        2207         1           1.0000           0.0000          -
374.62/376.32	c       376         189909        2120         1           1.0000           0.0000          -
379.60/381.37	c       381         192811        2039         1           1.0000           0.0000          -
384.69/386.44	c       386         195621        1930         1           1.0000           0.0000          -
389.88/391.62	c       392         197319        1909         1           1.0000           0.0000          -
395.05/396.81	c       397         199555        1856         1           1.0000           0.0000          -
400.14/401.90	c       402         202388        1798         1           1.0000           0.0000          -
405.22/407.02	c       407         205978        1714         1           1.0000           0.0000          -
410.21/412.09	c       412         208602        1593         1           1.0000           0.0000          -
415.30/417.14	c       417         210856        1528         1           1.0000           0.0000          -
420.28/422.19	c       422         213906        1639         1           1.0000           0.0000          -
425.36/427.29	c       427         216512        1595         1           1.0000           0.0000          -
430.44/432.37	c       432         219243        1492         1           1.0000           0.0000          -
435.53/437.48	c       437         221935        1407         1           1.0000           0.0000          -
440.61/442.55	c       443         225089        1273         1           1.0000           0.0000          -
445.69/447.63	c       448         227615        1189         1           1.0000           0.0000          -
450.78/452.71	c       453         230992        1066         1           1.0000           0.0000          -
455.86/457.82	c       458         234647         972         1           1.0000           0.0000          -
460.85/462.88	c       463         237886         815         1           1.0000           0.0000          -
465.93/467.93	c       468         241209         686         1           1.0000           0.0000          -
471.01/473.00	c       473         244163         805         1           1.0000           0.0000          -
475.99/478.05	c       478         247636         921         1           1.0000           0.0000          -
481.08/483.14	c       483         251747         930         1           1.0000           0.0000          -
486.06/488.19	c       488         255800         903         1           1.0000           0.0000          -
491.14/493.24	c       493         260067         727         1           1.0000           0.0000          -
496.12/498.29	c       498         264202         632         1           1.0000           0.0000          -
501.20/503.34	c       503         268618         654         1           1.0000           0.0000          -
506.28/508.40	c       508         272498         630         1           1.0000           0.0000          -
511.27/513.45	c       513         276858         719         1           1.0000           0.0000          -
516.35/518.50	c       519         280228         837         1           1.0000           0.0000          -
521.34/523.55	c       524         284321         801         1           1.0000           0.0000          -
526.42/528.60	c       529         288053         767         1           1.0000           0.0000          -
531.40/533.65	c       534         292578         692         1           1.0000           0.0000          -
536.48/538.71	c       539         295827         568         1           1.0000           0.0000          -
541.47/543.79	c       544         299528         428         1           1.0000           0.0000          -
546.55/548.84	c       549         303561         521         1           1.0000           0.0000          -
551.53/553.89	c       554         307205         532         1           1.0000           0.0000          -
556.61/558.94	c       559         311566         447         1           1.0000           0.0000          -
561.60/563.99	c       564         315977         375         1           1.0000           0.0000          -
566.69/569.10	c       569         319951         331         1           1.0000           0.0000          -
571.87/574.22	c       574         323621         200         1           1.0000           0.0000          -
576.85/579.29	c       579         327523         154         1           1.0000           0.0000          -
581.93/584.37	c       584         330995          61         1           1.0000           0.0000          -
587.02/589.45	c       589         334219         355         1           1.0000           0.0000          -
592.10/594.50	c       595         338671         459         1           1.0000           0.0000          -
597.08/599.55	c       600         342734         506         1           1.0000           0.0000          -
602.17/604.60	c       605         346662         485         1           1.0000           0.0000          -
607.15/609.65	c       610         350858         363         1           1.0000           0.0000          -
612.23/614.74	c       615         354579         268         1           1.0000           0.0000          -
617.31/619.80	c       620         358731          45         1           1.0000           0.0000          -
622.20/624.71	c       625         361666           0         0           1.0000           1.0000      0.00%
622.20/624.77	c       625         361666           0         0           1.0000           1.0000          -
622.20/624.77	c SCIP Status        : c problem is solved
622.20/624.77	c Total Time         : 624.7600
622.20/624.77	c   solving          : 624.7600
622.20/624.77	c   presolving       : 1.7786 (included in solving)
622.20/624.77	c B&B Tree           :
622.20/624.77	c   nodes (total)    : 361666
622.20/624.77	c Solution           :
622.20/624.77	c   Solutions found  : 19
622.20/624.77	c   Primal Bound     : +1.00000000000000e+00
622.20/624.77	c   Dual Bound       : +1.00000000000000e+00
622.20/624.77	c Gap                : 0.00000 %
622.20/624.78	o 1
622.20/624.78	s OPTIMUM FOUND
622.20/624.78	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 
622.20/624.78	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
622.20/624.78	v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
622.20/624.78	v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 
622.20/624.78	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
622.20/624.78	v -x125 -x124 -x123 x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
622.20/624.78	v x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 
622.20/624.78	v -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 
622.20/624.78	v -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 x31 -x30 -x29 
622.20/624.78	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
622.20/624.78	v -x1

Verifier Data 

OK	1

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (60586 MiB free)
  memory of node 1: 64510 MiB (58431 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4465079-1722389429/watcher-4465079-1722389429 -o /tmp/evaluation-result-4465079-1722389429/solver-4465079-1722389429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722389391-35357 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465079-1722389429.wbo -qsol -t 3600 -sth 1 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=35523, runsolver pid=35520

[startup+0.100622 s]*
/proc/loadavg: 3.04 2.41 2.88 5/262 35524
/proc/meminfo: memFree=121845464/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=50336 memory=39052 CPUtime=0.1 cores=1,3
/proc/35523/stat : 35523 (fscip) R 35520 35523 35345 0 -1 4194304 7377 0 0 0 9 1 0 0 20 0 1 0 5539970 51544064 9763 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 12584 9763 2630 3035 0 8980 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50336 KiB
Current children cumulated memory: 39052 KiB

[startup+0.206154 s]*
/proc/loadavg: 3.04 2.41 2.88 5/262 35524
/proc/meminfo: memFree=121844660/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=50832 memory=39316 CPUtime=0.2 cores=1,3
/proc/35523/stat : 35523 (fscip) R 35520 35523 35345 0 -1 4194304 7473 0 0 0 19 1 0 0 20 0 1 0 5539970 52051968 9829 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 12708 9829 2630 3035 0 9104 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50832 KiB
Current children cumulated memory: 39316 KiB

[startup+0.306007 s]*
/proc/loadavg: 3.04 2.41 2.88 5/262 35524
/proc/meminfo: memFree=121844556/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=50832 memory=39316 CPUtime=0.3 cores=1,3
/proc/35523/stat : 35523 (fscip) R 35520 35523 35345 0 -1 4194304 7473 0 0 0 29 1 0 0 20 0 1 0 5539970 52051968 9829 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 12708 9829 2630 3035 0 9104 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50832 KiB
Current children cumulated memory: 39316 KiB

[startup+0.700241 s]
/proc/loadavg: 3.04 2.41 2.88 5/262 35524
/proc/meminfo: memFree=121844080/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=52376 memory=40900 CPUtime=0.69 cores=1,3
/proc/35523/stat : 35523 (fscip) R 35520 35523 35345 0 -1 4194304 7857 0 0 0 68 1 0 0 20 0 1 0 5539970 53633024 10225 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 13094 10225 2630 3035 0 9490 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52376 KiB
Current children cumulated memory: 40900 KiB

[startup+1.50025 s]
/proc/loadavg: 3.04 2.41 2.88 5/262 35524
/proc/meminfo: memFree=121843052/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=53404 memory=41956 CPUtime=1.49 cores=1,3
/proc/35523/stat : 35523 (fscip) R 35520 35523 35345 0 -1 4194304 8118 0 0 0 148 1 0 0 20 0 1 0 5539970 54685696 10489 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 13351 10489 2630 3035 0 9747 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53404 KiB
Current children cumulated memory: 41956 KiB

[startup+3.10662 s]
/proc/loadavg: 3.11 2.44 2.88 5/264 35526
/proc/meminfo: memFree=121776020/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=169804 memory=110604 CPUtime=3.07 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 30763 0 0 0 303 4 0 0 20 0 3 0 5539970 173879296 27651 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 42451 27651 2870 3035 0 34345 0
[pid=35523/tid=35525] ppid=35520 vsize=169804 memory=198340509722 CPUtime=1.27 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 17277 0 0 0 125 2 0 0 20 0 3 0 5540150 173879296 27651 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=169804 memory=0 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 5540152 173879296 27651 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 169804 KiB
Current children cumulated memory: 110604 KiB

[startup+6.30064 s]
/proc/loadavg: 3.11 2.44 2.88 5/264 35526
/proc/meminfo: memFree=121752240/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=238404 memory=132100 CPUtime=6.23 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 39311 0 0 0 617 6 0 0 20 0 3 0 5539970 244125696 33025 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 59601 33025 3014 3035 0 39859 0
[pid=35523/tid=35525] ppid=35520 vsize=238404 memory=0 CPUtime=4.42 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 25206 0 0 0 439 3 0 0 20 0 3 0 5540150 244125696 33025 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=238404 memory=13000 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 5540152 244125696 33025 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 238404 KiB
Current children cumulated memory: 132100 KiB

[startup+12.7006 s]
/proc/loadavg: 3.25 2.49 2.90 5/269 35589
/proc/meminfo: memFree=121701004/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=238404 memory=180516 CPUtime=12.55 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 75103 0 0 0 1244 11 0 0 20 0 3 0 5539970 244125696 45129 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 59601 45129 3014 3035 0 52973 0
[pid=35523/tid=35525] ppid=35520 vsize=238404 memory=180516 CPUtime=10.74 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 59918 0 0 0 1065 9 0 0 20 0 3 0 5540150 244125696 45129 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=238404 memory=17889 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 5540152 244125696 45129 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 238404 KiB
Current children cumulated memory: 180516 KiB

[startup+25.5003 s]
/proc/loadavg: 3.45 2.56 2.91 5/270 35592
/proc/meminfo: memFree=121523660/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=238404 memory=181224 CPUtime=25.27 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 111953 0 0 0 2513 14 0 0 20 0 3 0 5539970 244125696 45306 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 59601 45306 3014 3035 0 52973 0
[pid=35523/tid=35525] ppid=35520 vsize=238404 memory=180648 CPUtime=23.45 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 96213 0 0 0 2334 11 0 0 20 0 3 0 5540150 244125696 45306 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=238404 memory=11576 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 5540152 244125696 45306 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 238404 KiB
Current children cumulated memory: 181224 KiB

[startup+51.1061 s]
/proc/loadavg: 3.71 2.69 2.95 5/270 35597
/proc/meminfo: memFree=121334756/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=238404 memory=183580 CPUtime=50.78 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 155330 0 0 0 5058 20 0 0 20 0 3 0 5539970 244125696 45895 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 59601 45895 3014 3035 0 52973 0
[pid=35523/tid=35525] ppid=35520 vsize=238404 memory=-7377923638443341761 CPUtime=48.96 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 139501 0 0 0 4879 17 0 0 20 0 3 0 5540150 244125696 45895 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=238404 memory=13000 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 5540152 244125696 45895 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 238404 KiB
Current children cumulated memory: 183580 KiB

[startup+102.3 s]
/proc/loadavg: 3.96 2.94 3.02 5/270 35606
/proc/meminfo: memFree=121265980/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=238404 memory=184844 CPUtime=101.68 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 202973 0 0 0 10132 36 0 0 20 0 3 0 5539970 244125696 46211 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 59601 46211 3014 3035 0 52973 0
[pid=35523/tid=35525] ppid=35520 vsize=238404 memory=5448 CPUtime=99.86 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 187028 0 0 0 9953 33 0 0 20 0 3 0 5540150 244125696 46211 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=238404 memory=-7306927137017128574 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 5540152 244125696 46211 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 101.68 s
Current children cumulated vsize: 238404 KiB
Current children cumulated memory: 184844 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 3.15 3.09 5/270 35617
/proc/meminfo: memFree=120568356/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=256496 memory=200796 CPUtime=161.4 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 246089 0 0 0 16089 51 0 0 20 0 3 0 5539970 262651904 50199 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 64124 50199 3014 3035 0 58075 0
[pid=35523/tid=35525] ppid=35520 vsize=256496 memory=12408 CPUtime=159.57 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 230070 0 0 0 15909 48 0 0 20 0 3 0 5540150 262651904 50199 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=256496 memory=185404 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 5540152 262651904 50199 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 161.4 s
Current children cumulated vsize: 256496 KiB
Current children cumulated memory: 200796 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 3.34 3.16 5/268 36155
/proc/meminfo: memFree=119755580/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=265460 memory=211180 CPUtime=221.12 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 271320 0 0 0 22047 65 0 0 20 0 3 0 5539970 271831040 52795 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 66365 52795 3014 3035 0 60836 0
[pid=35523/tid=35525] ppid=35520 vsize=265460 memory=206768 CPUtime=219.29 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 255270 0 0 0 21867 62 0 0 20 0 3 0 5540150 271831040 52795 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=265460 memory=211180 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 5540152 271831040 52795 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 221.12 s
Current children cumulated vsize: 265460 KiB
Current children cumulated memory: 211180 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.48 3.22 5/268 36166
/proc/meminfo: memFree=119653832/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=283196 memory=228976 CPUtime=280.92 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 309114 0 0 0 28017 75 0 0 20 0 3 0 5539970 289992704 57244 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0

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

/proc/35523/statm: 82819 69248 3014 3035 0 77655 0
[pid=35523/tid=35525] ppid=35520 vsize=331276 memory=199864 CPUtime=518.29 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 370218 0 0 0 51720 109 0 0 20 0 3 0 5540150 339226624 69248 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=331276 memory=276992 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 5540152 339226624 69248 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 520.14 s
Current children cumulated vsize: 331276 KiB
Current children cumulated memory: 276992 KiB

[startup+582.3 s]
/proc/loadavg: 4.11 3.90 3.49 5/266 36247
/proc/meminfo: memFree=119382368/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=349860 memory=281936 CPUtime=579.94 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 419798 0 0 0 57870 124 0 0 20 0 3 0 5539970 358256640 70484 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 87465 70484 3014 3035 0 82301 0
[pid=35523/tid=35525] ppid=35520 vsize=349860 memory=199864 CPUtime=578.09 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 403595 0 0 0 57688 121 0 0 20 0 3 0 5540150 358256640 70484 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=349860 memory=276992 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 5540152 358256640 70484 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 579.94 s
Current children cumulated vsize: 349860 KiB
Current children cumulated memory: 281936 KiB

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

# cumulated CPU time of all completed processes:  user=620.978 s, system=1.32541 s

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

[startup+588.8 s]
/proc/loadavg: 4.10 3.90 3.49 5/266 36247
/proc/meminfo: memFree=119376956/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=349860 memory=284972 CPUtime=586.42 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 420182 0 0 0 58516 126 0 0 20 0 3 0 5539970 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 87465 71243 3014 3035 0 82301 0
[pid=35523/tid=35525] ppid=35520 vsize=349860 memory=276992 CPUtime=584.56 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 403979 0 0 0 58334 122 0 0 20 0 3 0 5540150 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=349860 memory=276992 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 5540152 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 586.42 s
Current children cumulated vsize: 349860 KiB
Current children cumulated memory: 284972 KiB

[startup+601.6 s]
/proc/loadavg: 4.16 3.92 3.50 5/266 36250
/proc/meminfo: memFree=119376616/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=349860 memory=284972 CPUtime=599.18 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 420392 0 0 0 59791 127 0 0 20 0 3 0 5539970 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 87465 71243 3014 3035 0 82301 0
[pid=35523/tid=35525] ppid=35520 vsize=349860 memory=13000 CPUtime=597.32 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 404189 0 0 0 59609 123 0 0 20 0 3 0 5540150 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=349860 memory=284972 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 5540152 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 599.18 s
Current children cumulated vsize: 349860 KiB
Current children cumulated memory: 284972 KiB

[startup+614.4 s]
/proc/loadavg: 4.13 3.93 3.51 5/266 36251
/proc/meminfo: memFree=119376428/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=349860 memory=284972 CPUtime=611.94 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 420843 0 0 0 61065 129 0 0 20 0 3 0 5539970 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 87465 71243 3014 3035 0 82301 0
[pid=35523/tid=35525] ppid=35520 vsize=349860 memory=11576 CPUtime=610.08 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 404636 0 0 0 60883 125 0 0 20 0 3 0 5540150 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=349860 memory=256160 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 5540152 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 611.94 s
Current children cumulated vsize: 349860 KiB
Current children cumulated memory: 284972 KiB

[startup+620.8 s]
/proc/loadavg: 4.12 3.93 3.51 5/266 36254
/proc/meminfo: memFree=119373484/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=349860 memory=284972 CPUtime=618.31 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 421301 0 0 0 61702 129 0 0 20 0 3 0 5539970 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 87465 71243 3014 3035 0 82301 0
[pid=35523/tid=35525] ppid=35520 vsize=349860 memory=12408 CPUtime=616.46 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 405094 0 0 0 61520 126 0 0 20 0 3 0 5540150 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=349860 memory=13000 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 5540152 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 618.31 s
Current children cumulated vsize: 349860 KiB
Current children cumulated memory: 284972 KiB

[startup+622.4 s]
/proc/loadavg: 4.11 3.93 3.51 5/266 36254
/proc/meminfo: memFree=119373464/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=349860 memory=284972 CPUtime=619.91 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 421379 0 0 0 61861 130 0 0 20 0 3 0 5539970 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 87465 71243 3014 3035 0 82301 0
[pid=35523/tid=35525] ppid=35520 vsize=349860 memory=11576 CPUtime=618.05 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 405172 0 0 0 61679 126 0 0 20 0 3 0 5540150 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=349860 memory=52396 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 5540152 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 619.91 s
Current children cumulated vsize: 349860 KiB
Current children cumulated memory: 284972 KiB

[startup+624 s]*
/proc/loadavg: 4.11 3.93 3.51 5/266 36254
/proc/meminfo: memFree=119372828/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=349860 memory=284972 CPUtime=621.51 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 421594 0 0 0 62021 130 0 0 20 0 3 0 5539970 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 87465 71243 3014 3035 0 82301 0
[pid=35523/tid=35525] ppid=35520 vsize=349860 memory=-7594876038192128124 CPUtime=619.65 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 405387 0 0 0 61839 126 0 0 20 0 3 0 5540150 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=349860 memory=1277816 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 5540152 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 621.51 s
Current children cumulated vsize: 349860 KiB
Current children cumulated memory: 284972 KiB

[startup+624.4 s]
/proc/loadavg: 4.11 3.93 3.51 5/266 36254
/proc/meminfo: memFree=119372828/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=349860 memory=284972 CPUtime=621.9 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 421597 0 0 0 62060 130 0 0 20 0 3 0 5539970 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 87465 71243 3014 3035 0 82301 0
[pid=35523/tid=35525] ppid=35520 vsize=349860 memory=284972 CPUtime=620.04 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 405390 0 0 0 61878 126 0 0 20 0 3 0 5540150 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=349860 memory=1972 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 5540152 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 621.9 s
Current children cumulated vsize: 349860 KiB
Current children cumulated memory: 284972 KiB

[startup+624.6 s]
/proc/loadavg: 4.11 3.93 3.51 5/266 36254
/proc/meminfo: memFree=119372828/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=349860 memory=284972 CPUtime=622.1 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 421597 0 0 0 62080 130 0 0 20 0 3 0 5539970 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 87465 71243 3014 3035 0 82301 0
[pid=35523/tid=35525] ppid=35520 vsize=349860 memory=28280 CPUtime=620.24 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 405390 0 0 0 61898 126 0 0 20 0 3 0 5540150 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=349860 memory=41104 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 5540152 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 622.1 s
Current children cumulated vsize: 349860 KiB
Current children cumulated memory: 284972 KiB

[startup+624.7 s]
/proc/loadavg: 4.11 3.93 3.51 5/266 36254
/proc/meminfo: memFree=119372828/131524592 swapFree=131071996/131071996
[pid=35523] ppid=35520 vsize=349860 memory=284972 CPUtime=622.2 cores=1,3
/proc/35523/stat : 35523 (fscip) S 35520 35523 35345 0 -1 1077936128 421607 0 0 0 62090 130 0 0 20 0 3 0 5539970 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
/proc/35523/statm: 87465 71243 3014 3035 0 82301 0
[pid=35523/tid=35525] ppid=35520 vsize=349860 memory=199864 CPUtime=620.34 cores=1,3
/proc/35523/task/35525/stat : 35525 (fscip) R 35520 35523 35345 0 -1 4194368 405400 0 0 0 61908 126 0 0 20 0 3 0 5540150 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
[pid=35523/tid=35526] ppid=35520 vsize=349860 memory=276992 CPUtime=0 cores=1,3
/proc/35523/task/35526/stat : 35526 (fscip) S 35520 35523 35345 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 5540152 358256640 71243 134679101440 4194304 16623229 140723361173488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30740480 140723361178644 140723361178760 140723361178760 140723361185776 0
Current children cumulated CPU time: 622.2 s
Current children cumulated vsize: 349860 KiB
Current children cumulated memory: 284972 KiB

Child status: 0

Real time (s): 624.796
CPU time (s): 622.304
CPU user time (s): 620.978
CPU system time (s): 1.32541
CPU usage (%): 99.6011
Max. virtual memory (cumulated for all children) (KiB): 349860
Max. memory (cumulated for all children) (KiB): 284972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 620.978
system time used= 1.32541
maximum resident set size= 284972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435661
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= 1899
involuntary context switches= 573


# summary of solver processes directly reported to runsolver:
#   pid: 35523
#   total CPU time (s): 622.304
#   total CPU user time (s): 620.978
#   total CPU system time (s): 1.32541

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14371 second user time and 3.31786 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-31 03:30:29
IDJOB=4465079
IDBENCH=143224
IDSOLVER=3093
FILE ID=nodeC016/4465079-1722389429
RUNJOBID= nodeC016-1722389391-35357
SLURM_JOB_ID= 8249859
Free space on /tmp= 889996 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550006--soft-0-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-4465079-1722389429/watcher-4465079-1722389429 -o /tmp/evaluation-result-4465079-1722389429/solver-4465079-1722389429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722389391-35357 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4465079-1722389429.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 0ec8eded4864fc6a1104762af3da9593
RANDOM SEED=331003659

nodeC016.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		: 3666.091
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.92
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		: 3674.835
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.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131524592 kB
MemFree:        121874640 kB
MemAvailable:   127276908 kB
Buffers:          114156 kB
Cached:          6093712 kB
SwapCached:            0 kB
Active:           286948 kB
Inactive:        8816860 kB
Active(anon):       1560 kB
Inactive(anon):  2915692 kB
Active(file):     285388 kB
Inactive(file):  5901168 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28556 kB
Writeback:            44 kB
AnonPages:       2895704 kB
Mapped:           121964 kB
Shmem:             21336 kB
KReclaimable:     111032 kB
Slab:             198424 kB
SReclaimable:     111032 kB
SUnreclaim:        87392 kB
KernelStack:        4128 kB
PageTables:        14868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:    1996812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            10144 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:      275156 kB
DirectMap2M:     7886848 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC016 at 2024-07-31 03:40:54