Trace number 4465083

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 676.8 679.347

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900553812--soft-0-100-0.wbo
MD5SUMbba5b9128642b2db23fc07428dc31bb7
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark21.8974
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 136614
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136613
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
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.05	c Default LC presolving (default).
0.00/0.05	c ** Before presolving: virtualMemUsedAtLc = 35749888, getVmSize() = 35749888, SCIPgetMemUsed() = 10377933, SCIPgetMemTotal() = 13642749, SCIPgetMemExternEstim() = 7879036
0.00/0.05	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
2.48/2.53	c ** Estimated virtualMemUsedAtSolver = 41992722, getVmSize() = 79179776, SCIPgetMemUsed() = 39418336, SCIPgetMemTotal() = 55110048, SCIPgetMemExternEstim() = 7879036
2.48/2.53	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
2.48/2.53	c Original Problem   :
2.48/2.53	c   Problem name     : instance-4465083-1722389415
2.48/2.53	c   Variables        : 2938 (2938 binary, 0 integer, 0 implicit integer, 0 continuous)
2.48/2.53	c   Constraints      : 5415
2.48/2.53	c   Objective sense  : minimize
2.48/2.53	c Presolved Problem  :
2.48/2.53	c   Variables        : 2961 (2938 binary, 0 integer, 23 implicit integer, 0 continuous)
2.48/2.53	c   Constraints      : 2742
2.48/2.53	c Constraints        : Number
2.48/2.53	c   setppc           : 3 
2.48/2.53	c   linear           : 2707 
2.48/2.53	c   indicator        : 32 
2.48/2.53	c ** Instance transfer method used: 0
2.48/2.54	c ** ParaScipInstance copy does not increase the number of variables. **
2.48/2.56	c LC is working with racing ramp-up and with rebuilding tree after racing.
2.48/2.56	c                                Nodes    Active                                            
2.48/2.56	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
2.48/2.58	c *       3              0           1         1      136556.0000                -          -
2.58/2.68	c *       3              0           1         1       90352.0000                -          -
2.58/2.69	c *       3              0           1         1        1138.0000                -          -
4.67/4.70	c *       5              0           1         1         176.0000                -          -
6.08/6.16	c         6              8           7         1         176.0000           0.0000          -
7.08/7.15	c *       7              8           7         1         119.0000           0.0000          -
7.08/7.19	c *       7              8           7         1         115.0000           0.0000          -
10.16/10.29	c *      10             26          20         1         104.0000           0.0000          -
11.66/11.75	c        12             37          28         1         104.0000           0.0000          -
11.66/11.76	c *      12             37          28         1          88.0000           0.0000          -
13.84/13.99	c *      14             54          33         1          67.0000           0.0000          -
13.97/14.10	c *      14             54          33         1          44.0000           0.0000          -
15.95/16.10	c *      16             67          27         1          38.0000           0.0000          -
17.05/17.15	c        17             93          35         1          38.0000           0.0000          -
17.64/17.74	c *      18             93          35         1          23.0000           0.0000          -
20.23/20.33	c *      20            103          30         1          12.0000           0.0000          -
22.12/22.25	c        22            133          25         1          12.0000           0.0000          -
27.31/27.46	c        27            513          79         1          12.0000           0.0000          -
32.89/33.03	c        33            916         117         1          12.0000           0.0000          -
38.07/38.22	c        38           1348         114         1          12.0000           0.0000          -
43.25/43.45	c        43           2374         357         1          12.0000           0.0000          -
48.62/48.89	c        49           3521         645         1          12.0000           0.0000          -
53.92/54.12	c        54           4707         894         1          12.0000           0.0000          -
59.28/59.57	c        60           5842        1130         1          12.0000           0.0000          -
64.36/64.64	c        65           7068        1310         1          12.0000           0.0000          -
69.45/69.74	c        70           8169        1520         1          12.0000           0.0000          -
74.93/75.28	c        75           8862        1609         1          12.0000           0.0000          -
80.11/80.44	c        80           9788        1770         1          12.0000           0.0000          -
85.39/85.79	c        86          10895        1948         1          12.0000           0.0000          -
90.70/91.05	c        91          12029        2133         1          12.0000           0.0000          -
95.68/96.09	c        96          13767        2511         1          12.0000           0.0000          -
99.46/99.86	c *     100          14568        2658         1          10.0000           0.0000          -
100.85/101.24	c       101          15106        2563         1          10.0000           0.0000          -
106.24/106.63	c       107          15989        2693         1          10.0000           0.0000          -
111.33/111.73	c       112          17656        2908         1          10.0000           0.0000          -
116.51/116.99	c       117          19309        3120         1          10.0000           0.0000          -
121.60/122.04	c       122          21077        3351         1          10.0000           0.0000          -
126.87/127.37	c       127          22053        3509         1          10.0000           0.0000          -
132.05/132.54	c       133          23527        3703         1          10.0000           0.0000          -
137.14/137.65	c       138          25246        3871         1          10.0000           0.0000          -
142.32/142.87	c       143          26805        4133         1          10.0000           0.0000          -
147.70/148.23	c       148          27864        4291         1          10.0000           0.0000          -
153.50/154.06	c       154          29007        4417         1          10.0000           0.0000          -
158.59/159.11	c       159          31426        4782         1          10.0000           0.0000          -
163.57/164.16	c       164          32925        5046         1          10.0000           0.0000          -
168.74/169.34	c       169          34366        5355         1          10.0000           0.0000          -
173.93/174.55	c       175          35024        5450         1          10.0000           0.0000          -
179.11/179.70	c       180          36355        5688         1          10.0000           0.0000          -
184.30/184.97	c *     185          37542        5862         1           9.0000           0.0000          -
184.30/184.97	c       185          37542        5862         1           9.0000           0.0000          -
189.38/190.02	c       190          39932        5871         1           9.0000           0.0000          -
194.56/195.23	c       195          41409        6083         1           9.0000           0.0000          -
194.96/195.67	c *     196          41409        6083         1           8.0000           0.0000          -
199.64/200.33	c       200          43108        5883         1           8.0000           0.0000          -
204.83/205.53	c       206          45287        6121         1           8.0000           0.0000          -
209.91/210.66	c       211          47478        6328         1           8.0000           0.0000          -
215.20/215.94	c       216          48934        6561         1           8.0000           0.0000          -
220.18/220.99	c       221          50117        6636         1           8.0000           0.0000          -
225.26/226.07	c       226          51540        6783         1           8.0000           0.0000          -
230.53/231.31	c       231          52737        6868         1           8.0000           0.0000          -
236.23/237.02	c       237          53682        6985         1           8.0000           0.0000          -
241.21/242.07	c       242          55142        7102         1           8.0000           0.0000          -
246.29/247.12	c       247          56873        7356         1           8.0000           0.0000          -
251.36/252.28	c       252          58759        7569         1           8.0000           0.0000          -
256.54/257.40	c       257          60353        7795         1           8.0000           0.0000          -
259.24/260.18	c *     260          61196        7861         1           6.0000           0.0000          -
261.52/262.46	c       262          62798        6648         1           6.0000           0.0000          -
266.60/267.56	c       268          65008        6884         1           6.0000           0.0000          -
271.68/272.65	c       273          67598        7175         1           6.0000           0.0000          -
276.76/277.70	c       278          69440        7359         1           6.0000           0.0000          -
281.84/282.83	c       283          71864        7548         1           6.0000           0.0000          -
286.91/287.91	c       288          73974        7753         1           6.0000           0.0000          -
291.90/292.99	c       293          75845        7965         1           6.0000           0.0000          -
296.98/298.04	c       298          77857        8099         1           6.0000           0.0000          -
302.07/303.12	c       303          79289        8164         1           6.0000           0.0000          -
307.13/308.27	c       308          80860        8263         1           6.0000           0.0000          -
312.21/313.32	c       313          82744        8398         1           6.0000           0.0000          -
317.29/318.45	c       318          84984        8613         1           6.0000           0.0000          -
322.47/323.62	c       324          86848        8739         1           6.0000           0.0000          -
327.45/328.69	c       329          88477        8798         1           6.0000           0.0000          -
328.65/329.83	c *     330          88943        8867         1           4.0000           0.0000          -
332.53/333.78	c       334          91018        6966         1           4.0000           0.0000          -
337.61/338.82	c       339          93462        7024         1           4.0000           0.0000          -
342.59/343.87	c       344          95637        7102         1           4.0000           0.0000          -
347.67/348.97	c       349          97514        7174         1           4.0000           0.0000          -
352.86/354.14	c       354          99486        7295         1           4.0000           0.0000          -
353.65/354.98	c *     355          99486        7295         1           3.0000           0.0000          -
357.84/359.19	c       359         102351        5736         1           3.0000           0.0000          -
362.91/364.28	c       364         104403        5795         1           3.0000           0.0000          -
368.70/370.04	c       370         105356        5817         1           3.0000           0.0000          -
373.68/375.09	c       375         107931        5915         1           3.0000           0.0000          -
378.77/380.14	c       380         110399        5935         1           3.0000           0.0000          -
383.75/385.19	c       385         112822        5991         1           3.0000           0.0000          -
388.82/390.24	c       390         115467        5978         1           3.0000           0.0000          -
393.80/395.29	c       395         117691        5968         1           3.0000           0.0000          -
398.89/400.34	c       400         120204        6010         1           3.0000           0.0000          -
403.88/405.39	c       405         122047        5924         1           3.0000           0.0000          -
408.95/410.44	c       410         124207        5932         1           3.0000           0.0000          -
413.92/415.49	c       416         126814        6036         1           3.0000           0.0000          -
419.00/420.54	c       421         129245        6113         1           3.0000           0.0000          -
424.08/425.61	c       426         131258        6227         1           3.0000           0.0000          -
429.06/430.67	c       431         133412        6296         1           3.0000           0.0000          -
434.24/435.80	c       436         135241        6342         1           3.0000           0.0000          -
439.21/440.87	c       441         137257        6427         1           3.0000           0.0000          -
444.40/446.01	c       446         138545        6501         1           3.0000           0.0000          -
449.38/451.07	c       451         140591        6629         1           3.0000           0.0000          -
454.46/456.16	c       456         142281        6700         1           3.0000           0.0000          -
459.63/461.30	c       461         144130        6771         1           3.0000           0.0000          -
464.60/466.39	c       466         145932        6853         1           3.0000           0.0000          -
469.68/471.45	c       471         147594        6891         1           3.0000           0.0000          -
474.86/476.63	c       477         148875        6945         1           3.0000           0.0000          -
479.93/481.72	c       482         150889        7067         1           3.0000           0.0000          -
484.92/486.79	c       487         153154        7170         1           3.0000           0.0000          -
490.10/491.96	c       492         154667        7231         1           3.0000           0.0000          -
495.19/497.08	c       497         156051        7281         1           3.0000           0.0000          -
500.36/502.22	c       502         157885        7350         1           3.0000           0.0000          -
505.34/507.28	c       507         159108        7380         1           3.0000           0.0000          -
510.42/512.33	c       512         161024        7461         1           3.0000           0.0000          -
515.49/517.42	c       517         162693        7554         1           3.0000           0.0000          -
520.58/522.51	c       523         164223        7608         1           3.0000           0.0000          -
525.65/527.62	c       528         166030        7682         1           3.0000           0.0000          -
530.83/532.81	c       533         167853        7776         1           3.0000           0.0000          -
535.81/537.86	c       538         170203        7857         1           3.0000           0.0000          -
540.89/542.93	c       543         172160        7934         1           3.0000           0.0000          -
545.98/548.03	c       548         173689        7988         1           3.0000           0.0000          -
551.06/553.15	c       553         175072        8040         1           3.0000           0.0000          -
556.13/558.20	c       558         176815        8132         1           3.0000           0.0000          -
561.20/563.32	c       563         178547        8217         1           3.0000           0.0000          -
566.29/568.46	c       568         179871        8284         1           3.0000           0.0000          -
571.36/573.51	c       574         181252        8315         1           3.0000           0.0000          -
576.54/578.73	c       579         183039        8394         1           3.0000           0.0000          -
581.62/583.83	c       584         184704        8461         1           3.0000           0.0000          -
586.70/588.93	c       589         186586        8557         1           3.0000           0.0000          -
591.79/594.04	c       594         188185        8570         1           3.0000           0.0000          -
597.06/599.32	c       599         189927        8449         1           3.0000           0.0000          -
602.13/604.42	c       604         191836        8472         1           3.0000           0.0000          -
607.11/609.48	c       609         194093        8397         1           3.0000           0.0000          -
612.19/614.59	c       615         196489        8545         1           3.0000           0.0000          -
617.37/619.72	c       620         198688        8564         1           3.0000           0.0119          -
622.45/624.87	c       625         200678        8282         1           3.0000           0.1000          -
627.53/629.99	c       630         202448        8024         1           3.0000           0.1463          -
632.72/635.12	c       635         204338        7668         1           3.0000           0.1667          -
637.70/640.15	c       640         206048        7133         1           3.0000           0.2000          -
642.78/645.21	c       645         207908        6630         1           3.0000           0.2386          -
647.87/650.37	c       650         209968        5911         1           3.0000           0.2857          -
653.24/655.70	c       656         212078        5274         1           3.0000           0.3158          -
658.22/660.78	c       661         214088        4542         1           3.0000           0.3375          -
663.29/665.85	c       666         215988        3802         1           3.0000           0.4000          -
668.48/671.05	c       671         217998        2720         1           3.0000           0.4615          -
673.46/676.07	c       676         219998        1235         1           3.0000           0.6358    371.87%
676.64/679.26	c       679         221228           0         0           3.0000           3.0000      0.00%
676.74/679.31	c       679         221228           0         0           3.0000           3.0000          -
676.74/679.31	c SCIP Status        : c problem is solved
676.74/679.31	c Total Time         : 679.3100
676.74/679.31	c   solving          : 679.3100
676.74/679.31	c   presolving       : 2.4877 (included in solving)
676.74/679.31	c B&B Tree           :
676.74/679.31	c   nodes (total)    : 221228
676.74/679.31	c Solution           :
676.74/679.31	c   Solutions found  : 20
676.74/679.31	c   Primal Bound     : +3.00000000000000e+00
676.74/679.31	c   Dual Bound       : +3.00000000000000e+00
676.74/679.31	c Gap                : 0.00000 %
676.74/679.33	o 3
676.74/679.33	s OPTIMUM FOUND
676.74/679.33	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 
676.74/679.33	v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 x191 -x190 -x189 
676.74/679.33	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
676.74/679.33	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
676.74/679.33	v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 
676.74/679.33	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 
676.74/679.33	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 
676.74/679.33	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 
676.74/679.33	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 
676.74/679.33	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 
676.74/679.33	v -x1

Verifier Data 

OK	3

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: 64059 MiB (62316 MiB free)
  memory of node 1: 64510 MiB (59601 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4465083-1722389415/watcher-4465083-1722389415 -o /tmp/evaluation-result-4465083-1722389415/solver-4465083-1722389415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722389412-35455 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465083-1722389415.wbo -qsol -t 3600 -sth 1 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100098 s]*
/proc/loadavg: 2.02 2.77 3.44 4/247 35645
/proc/meminfo: memFree=124881876/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=49672 memory=38256 CPUtime=0.11 cores=4,6
/proc/35644/stat : 35644 (fscip) R 35641 35644 35414 0 -1 4194304 7197 0 0 0 9 2 0 0 20 0 1 0 5537112 50864128 9564 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 12418 9564 2630 3035 0 8814 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 49672 KiB
Current children cumulated memory: 38256 KiB

[startup+0.213403 s]*
/proc/loadavg: 2.02 2.77 3.44 6/244 35653
/proc/meminfo: memFree=124880792/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=50336 memory=39048 CPUtime=0.22 cores=4,6
/proc/35644/stat : 35644 (fscip) R 35641 35644 35414 0 -1 4194304 7376 0 0 0 20 2 0 0 20 0 1 0 5537112 51544064 9762 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 12584 9762 2630 3035 0 8980 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 50336 KiB
Current children cumulated memory: 39048 KiB

[startup+0.313114 s]*
/proc/loadavg: 2.02 2.77 3.44 4/246 35659
/proc/meminfo: memFree=124879788/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=50576 memory=39048 CPUtime=0.31 cores=4,6
/proc/35644/stat : 35644 (fscip) R 35641 35644 35414 0 -1 4194304 7408 0 0 0 29 2 0 0 20 0 1 0 5537112 51789824 9762 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 12644 9762 2630 3035 0 9040 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50576 KiB
Current children cumulated memory: 39048 KiB

[startup+0.700309 s]
/proc/loadavg: 2.02 2.77 3.44 5/244 35681
/proc/meminfo: memFree=124888540/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=50832 memory=39312 CPUtime=0.69 cores=4,6
/proc/35644/stat : 35644 (fscip) R 35641 35644 35414 0 -1 4194304 7472 0 0 0 67 2 0 0 20 0 1 0 5537112 52051968 9828 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 12708 9828 2630 3035 0 9104 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50832 KiB
Current children cumulated memory: 39312 KiB

[startup+1.50029 s]
/proc/loadavg: 2.02 2.77 3.44 5/249 35691
/proc/meminfo: memFree=124848788/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=52376 memory=40896 CPUtime=1.48 cores=4,6
/proc/35644/stat : 35644 (fscip) R 35641 35644 35414 0 -1 4194304 7856 0 0 0 146 2 0 0 20 0 1 0 5537112 53633024 10224 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 13094 10224 2630 3035 0 9490 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52376 KiB
Current children cumulated memory: 40896 KiB

[startup+3.11273 s]
/proc/loadavg: 2.02 2.77 3.44 5/254 35696
/proc/meminfo: memFree=124743012/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=166796 memory=88228 CPUtime=3.09 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 20466 0 0 0 304 5 0 0 20 0 3 0 5537112 170799104 22057 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 41699 22057 2870 3035 0 28262 0
[pid=35644/tid=35694] ppid=35641 vsize=166796 memory=0 CPUtime=0.55 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 6987 0 0 0 53 2 0 0 20 0 3 0 5537365 170799104 22057 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=166796 memory=0 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5537368 170799104 22057 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 166796 KiB
Current children cumulated memory: 88228 KiB

[startup+6.30036 s]
/proc/loadavg: 2.18 2.79 3.44 5/255 35697
/proc/meminfo: memFree=124624068/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=167824 memory=120752 CPUtime=6.27 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 34644 0 0 0 620 7 0 0 20 0 3 0 5537112 171851776 30188 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 41956 30188 3014 3035 0 37067 0
[pid=35644/tid=35694] ppid=35641 vsize=167824 memory=0 CPUtime=3.73 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 20650 0 0 0 369 4 0 0 20 0 3 0 5537365 171851776 30188 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=167824 memory=40896 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 5537368 171851776 30188 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 167824 KiB
Current children cumulated memory: 120752 KiB

[startup+12.7004 s]
/proc/loadavg: 2.32 2.81 3.45 5/253 35746
/proc/meminfo: memFree=124523876/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=233360 memory=172624 CPUtime=12.66 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 67836 0 0 0 1255 11 0 0 20 0 3 0 5537112 238960640 43156 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 58340 43156 3014 3035 0 50531 0
[pid=35644/tid=35694] ppid=35641 vsize=233360 memory=3592 CPUtime=10.11 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 53160 0 0 0 1004 7 0 0 20 0 3 0 5537365 238960640 43156 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=233360 memory=5517 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 5537368 238960640 43156 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 233360 KiB
Current children cumulated memory: 172624 KiB

[startup+25.5004 s]
/proc/loadavg: 2.76 2.89 3.46 5/253 35748
/proc/meminfo: memFree=124435768/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=233360 memory=175796 CPUtime=25.41 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 109213 0 0 0 2527 14 0 0 20 0 3 0 5537112 238960640 43949 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 58340 43949 3318 3035 0 50531 0
[pid=35644/tid=35694] ppid=35641 vsize=233360 memory=4672 CPUtime=22.86 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 93389 0 0 0 2276 10 0 0 20 0 3 0 5537365 238960640 43949 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=233360 memory=174580 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 5537368 238960640 43949 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 233360 KiB
Current children cumulated memory: 175796 KiB

[startup+51.1127 s]
/proc/loadavg: 3.19 2.98 3.48 5/253 35753
/proc/meminfo: memFree=124291728/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=307624 memory=227448 CPUtime=50.92 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 175458 0 0 0 5072 20 0 0 20 0 3 0 5537112 315006976 56862 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 76906 56862 3318 3035 0 63964 0
[pid=35644/tid=35694] ppid=35641 vsize=307624 memory=5540 CPUtime=48.38 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 159533 0 0 0 4821 17 0 0 20 0 3 0 5537365 315006976 56862 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=307624 memory=-7234869542979200380 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 5537368 315006976 56862 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 307624 KiB
Current children cumulated memory: 227448 KiB

[startup+102.3 s]
/proc/loadavg: 3.69 3.15 3.51 6/253 35761
/proc/meminfo: memFree=124154428/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=317692 memory=256408 CPUtime=101.94 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 252166 0 0 0 10165 29 0 0 20 0 3 0 5537112 325316608 64102 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 79423 64102 3318 3035 0 70388 0
[pid=35644/tid=35694] ppid=35641 vsize=317692 memory=0 CPUtime=99.39 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 235726 0 0 0 9914 25 0 0 20 0 3 0 5537365 325316608 64102 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=317692 memory=253028 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 5537368 325316608 64102 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 317692 KiB
Current children cumulated memory: 256408 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 3.35 3.56 5/253 35773
/proc/meminfo: memFree=124075512/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=396904 memory=302736 CPUtime=161.76 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 326189 0 0 0 16135 41 0 0 20 0 3 0 5537112 406429696 75684 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 99226 75684 3318 3035 0 83201 0
[pid=35644/tid=35694] ppid=35641 vsize=396904 memory=254464 CPUtime=159.2 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 309692 0 0 0 15883 37 0 0 20 0 3 0 5537365 406429696 75684 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=396904 memory=302652 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 5537368 406429696 75684 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 396904 KiB
Current children cumulated memory: 302736 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.49 3.60 5/253 35783
/proc/meminfo: memFree=123995624/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=418184 memory=325668 CPUtime=221.57 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 376363 0 0 0 22107 50 0 0 20 0 3 0 5537112 428220416 81417 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 104546 81417 3318 3035 0 88521 0
[pid=35644/tid=35694] ppid=35641 vsize=418184 memory=318648 CPUtime=218.99 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 359271 0 0 0 21854 45 0 0 20 0 3 0 5537365 428220416 81417 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=418184 memory=324260 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 5537368 428220416 81417 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 418184 KiB
Current children cumulated memory: 325668 KiB

[startup+282.3 s]
/proc/loadavg: 4.57 3.72 3.67 5/252 35840
/proc/meminfo: memFree=123590092/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=428928 memory=361912 CPUtime=281.34 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 419282 0 0 0 28077 57 0 0 20 0 3 0 5537112 439222272 90478 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0

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

/proc/35644/statm: 118972 110823 3318 3035 0 114972 0
[pid=35644/tid=35694] ppid=35641 vsize=475888 memory=436976 CPUtime=517.77 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 478495 0 0 0 51693 84 0 0 20 0 3 0 5537365 487309312 110823 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=475888 memory=436976 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 5537368 487309312 110823 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 520.38 s
Current children cumulated vsize: 475888 KiB
Current children cumulated memory: 443292 KiB

[startup+582.3 s]
/proc/loadavg: 4.24 4.09 3.86 5/250 36039
/proc/meminfo: memFree=120984856/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=483136 memory=449340 CPUtime=580.13 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 516437 0 0 0 57916 97 0 0 20 0 3 0 5537112 494731264 112335 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 120784 112335 3318 3035 0 116784 0
[pid=35644/tid=35694] ppid=35641 vsize=483136 memory=436976 CPUtime=577.51 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 498254 0 0 0 57661 90 0 0 20 0 3 0 5537365 494731264 112335 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=483136 memory=449340 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 5537368 494731264 112335 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 580.13 s
Current children cumulated vsize: 483136 KiB
Current children cumulated memory: 449340 KiB

[startup+642.3 s]
/proc/loadavg: 4.22 4.12 3.89 5/253 36054
/proc/meminfo: memFree=120902432/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=498168 memory=462624 CPUtime=639.89 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 549429 0 0 0 63880 109 0 0 20 0 3 0 5537112 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 124542 115656 3318 3035 0 120542 0
[pid=35644/tid=35694] ppid=35641 vsize=498168 memory=436976 CPUtime=637.26 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 531237 0 0 0 63624 102 0 0 20 0 3 0 5537365 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=498168 memory=462624 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 5537368 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 639.89 s
Current children cumulated vsize: 498168 KiB
Current children cumulated memory: 462624 KiB

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

# cumulated CPU time of all completed processes:  user=675.612 s, system=1.18762 s

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

[startup+665.6 s]
/proc/loadavg: 4.24 4.13 3.90 5/253 36057
/proc/meminfo: memFree=120900000/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=498168 memory=462624 CPUtime=663.09 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 549900 0 0 0 66196 113 0 0 20 0 3 0 5537112 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 124542 115656 3318 3035 0 120542 0
[pid=35644/tid=35694] ppid=35641 vsize=498168 memory=443292 CPUtime=660.46 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 531755 0 0 0 65940 106 0 0 20 0 3 0 5537365 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=498168 memory=449340 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 5537368 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 663.09 s
Current children cumulated vsize: 498168 KiB
Current children cumulated memory: 462624 KiB

[startup+672 s]*
/proc/loadavg: 4.20 4.12 3.90 5/253 36059
/proc/meminfo: memFree=120899692/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=498168 memory=462624 CPUtime=669.48 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 551389 0 0 0 66833 115 0 0 20 0 3 0 5537112 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 124542 115656 3318 3035 0 120542 0
[pid=35644/tid=35694] ppid=35641 vsize=498168 memory=-7666933632230055808 CPUtime=666.83 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 533192 0 0 0 66576 107 0 0 20 0 3 0 5537365 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=498168 memory=-4050210904893473430 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 5537368 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 669.48 s
Current children cumulated vsize: 498168 KiB
Current children cumulated memory: 462624 KiB

[startup+675.2 s]
/proc/loadavg: 4.20 4.12 3.90 5/253 36059
/proc/meminfo: memFree=120899492/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=498168 memory=462624 CPUtime=672.66 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 551788 0 0 0 67150 116 0 0 20 0 3 0 5537112 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 124542 115656 3318 3035 0 120542 0
[pid=35644/tid=35694] ppid=35641 vsize=498168 memory=12220 CPUtime=670 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 533591 0 0 0 66892 108 0 0 20 0 3 0 5537365 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=498168 memory=462624 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 5537368 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 672.66 s
Current children cumulated vsize: 498168 KiB
Current children cumulated memory: 462624 KiB

[startup+676.8 s]
/proc/loadavg: 4.19 4.12 3.90 5/253 36059
/proc/meminfo: memFree=120899476/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=498168 memory=462624 CPUtime=674.26 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 552026 0 0 0 67309 117 0 0 20 0 3 0 5537112 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 124542 115656 3318 3035 0 120542 0
[pid=35644/tid=35694] ppid=35641 vsize=498168 memory=-7234869542979200380 CPUtime=671.59 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 533829 0 0 0 67051 108 0 0 20 0 3 0 5537365 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=498168 memory=3470 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 5537368 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 674.26 s
Current children cumulated vsize: 498168 KiB
Current children cumulated memory: 462624 KiB

[startup+678.4 s]
/proc/loadavg: 4.19 4.12 3.90 5/253 36059
/proc/meminfo: memFree=120899520/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=498168 memory=462624 CPUtime=675.85 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 552062 0 0 0 67468 117 0 0 20 0 3 0 5537112 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 124542 115656 3318 3035 0 120542 0
[pid=35644/tid=35694] ppid=35641 vsize=498168 memory=462624 CPUtime=673.18 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 533865 0 0 0 67210 108 0 0 20 0 3 0 5537365 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=498168 memory=462624 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 5537368 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 675.85 s
Current children cumulated vsize: 498168 KiB
Current children cumulated memory: 462624 KiB

[startup+678.8 s]
/proc/loadavg: 4.19 4.12 3.90 5/253 36059
/proc/meminfo: memFree=120899520/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=498168 memory=462624 CPUtime=676.25 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 552173 0 0 0 67508 117 0 0 20 0 3 0 5537112 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 124542 115656 3318 3035 0 120542 0
[pid=35644/tid=35694] ppid=35641 vsize=498168 memory=12220 CPUtime=673.58 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 533976 0 0 0 67250 108 0 0 20 0 3 0 5537365 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=498168 memory=462624 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 5537368 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 676.25 s
Current children cumulated vsize: 498168 KiB
Current children cumulated memory: 462624 KiB

[startup+679.2 s]
/proc/loadavg: 4.19 4.12 3.90 5/253 36060
/proc/meminfo: memFree=120899492/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=498168 memory=462624 CPUtime=676.64 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 552197 0 0 0 67547 117 0 0 20 0 3 0 5537112 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 124542 115656 3318 3035 0 120542 0
[pid=35644/tid=35694] ppid=35641 vsize=498168 memory=462624 CPUtime=673.98 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 534000 0 0 0 67290 108 0 0 20 0 3 0 5537365 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=498168 memory=-7234869542979200380 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 5537368 510124032 115656 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 676.64 s
Current children cumulated vsize: 498168 KiB
Current children cumulated memory: 462624 KiB

[startup+679.3 s]
/proc/loadavg: 4.19 4.12 3.90 5/253 36060
/proc/meminfo: memFree=120899492/131655788 swapFree=131071996/131071996
[pid=35644] ppid=35641 vsize=494064 memory=458520 CPUtime=676.74 cores=4,6
/proc/35644/stat : 35644 (fscip) S 35641 35644 35414 0 -1 1077936128 552379 0 0 0 67557 117 0 0 20 0 3 0 5537112 505921536 114630 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
/proc/35644/statm: 123516 114630 3318 3035 0 119516 0
[pid=35644/tid=35694] ppid=35641 vsize=494064 memory=436976 CPUtime=674.07 cores=4,6
/proc/35644/task/35694/stat : 35694 (fscip) R 35641 35644 35414 0 -1 4194368 534182 0 0 0 67299 108 0 0 20 0 3 0 5537365 505921536 114630 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
[pid=35644/tid=35695] ppid=35641 vsize=494064 memory=16848 CPUtime=0 cores=4,6
/proc/35644/task/35695/stat : 35695 (fscip) S 35641 35644 35414 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 5537368 505921536 114630 134679101440 4194304 16623229 140735093704144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50253824 140735093711892 140735093712008 140735093712008 140735093719024 0
Current children cumulated CPU time: 676.74 s
Current children cumulated vsize: 494064 KiB
Current children cumulated memory: 458520 KiB

Child status: 0

Real time (s): 679.347
CPU time (s): 676.8
CPU user time (s): 675.612
CPU system time (s): 1.18762
CPU usage (%): 99.625
Max. virtual memory (cumulated for all children) (KiB): 507368
Max. memory (cumulated for all children) (KiB): 462624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 675.612
system time used= 1.18762
maximum resident set size= 462624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 552500
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= 3310
involuntary context switches= 601


# summary of solver processes directly reported to runsolver:
#   pid: 35644
#   total CPU time (s): 676.8
#   total CPU user time (s): 675.612
#   total CPU system time (s): 1.18762

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.16124 second user time and 7.06686 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-31 03:30:15
IDJOB=4465083
IDBENCH=143189
IDSOLVER=3093
FILE ID=nodeC002/4465083-1722389415
RUNJOBID= nodeC002-1722389412-35455
SLURM_JOB_ID= 8249862
Free space on /tmp= 723700 MiB

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

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

MD5SUM BENCH= bba5b9128642b2db23fc07428dc31bb7
RANDOM SEED=715829289

nodeC002.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	: 0xb00001f
cpu MHz		: 3276.069
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.65
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	: 0xb00001f
cpu MHz		: 1535.839
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.23
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	: 0xb00001f
cpu MHz		: 1197.246
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.65
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	: 0xb00001f
cpu MHz		: 1449.264
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.23
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	: 0xb00001f
cpu MHz		: 2463.269
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.65
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	: 0xb00001f
cpu MHz		: 3132.239
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.23
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	: 0xb00001f
cpu MHz		: 1197.199
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.65
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	: 0xb00001f
cpu MHz		: 1197.214
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124845436 kB
MemAvailable:   129704848 kB
Buffers:          114460 kB
Cached:          5534512 kB
SwapCached:            0 kB
Active:           278064 kB
Inactive:        5982036 kB
Active(anon):       1912 kB
Inactive(anon):   638752 kB
Active(file):     276152 kB
Inactive(file):  5343284 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            113500 kB
Writeback:             0 kB
AnonPages:        610376 kB
Mapped:           125440 kB
Shmem:             29512 kB
KReclaimable:     160012 kB
Slab:             244244 kB
SReclaimable:     160012 kB
SUnreclaim:        84232 kB
KernelStack:        4016 kB
PageTables:        10124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     910356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             7232 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 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:      224072 kB
DirectMap2M:    19603456 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723668 MiB
End job on nodeC002 at 2024-07-31 03:41:34