Trace number 4464858

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 829.822 833.391

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo
MD5SUM986151a138d2ed587805254495fec40d
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark32.3999
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 constraints1868
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 94981
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94980
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 709
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.04	c Default LC presolving (default).
0.00/0.04	c ** Before presolving: virtualMemUsedAtLc = 33902592, getVmSize() = 33902592, SCIPgetMemUsed() = 8636992, SCIPgetMemTotal() = 11893144, SCIPgetMemExternEstim() = 6339354
0.00/0.04	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.68/1.75	c ** Estimated virtualMemUsedAtSolver = 28042581, getVmSize() = 50225152, SCIPgetMemUsed() = 16371320, SCIPgetMemTotal() = 26695744, SCIPgetMemExternEstim() = 6339354
1.68/1.75	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
1.68/1.75	c Original Problem   :
1.68/1.75	c   Problem name     : instance-4464858-1722389801
1.68/1.75	c   Variables        : 2099 (2099 binary, 0 integer, 0 implicit integer, 0 continuous)
1.68/1.75	c   Constraints      : 4576
1.68/1.75	c   Objective sense  : minimize
1.68/1.75	c Presolved Problem  :
1.68/1.75	c   Variables        : 2117 (2099 binary, 0 integer, 18 implicit integer, 0 continuous)
1.68/1.75	c   Constraints      : 2714
1.68/1.75	c Constraints        : Number
1.68/1.75	c   setppc           : 55 
1.68/1.75	c   linear           : 1868 
1.68/1.75	c   logicor          : 748 
1.68/1.75	c   indicator        : 43 
1.68/1.75	c ** Instance transfer method used: 0
1.68/1.76	c ** ParaScipInstance copy does not increase the number of variables. **
1.68/1.78	c LC is working with racing ramp-up and with rebuilding tree after racing.
1.68/1.78	c                                Nodes    Active                                            
1.68/1.78	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
1.78/1.88	c *       2              0           1         1       63378.0000                -          -
1.78/1.88	c *       2              0           1         1         719.0000                -          -
3.86/3.96	c *       4              0           1         1         632.0000                -          -
3.86/4.01	c *       4              0           1         1         600.0000                -          -
3.97/4.01	c *       4              0           1         1         470.0000                -          -
5.46/5.55	c *       6              2           1         1         221.0000           0.0000          -
5.46/5.55	c         6              2           1         1         221.0000           0.0000          -
6.15/6.24	c *       6             12          11         1         213.0000           0.0000          -
6.26/6.38	c *       6             12          11         1           9.0000           0.0000          -
10.96/11.07	c        11             54           9         1           9.0000           0.0000          -
16.32/16.49	c        16            190          14         1           9.0000           0.0000          -
21.80/21.94	c        22            818          88         1           9.0000           0.0000          -
27.08/27.21	c        27           1466         288         1           9.0000           0.0000          -
32.15/32.39	c        32           1904         443         1           9.0000           0.0000          -
38.13/38.36	c        38           2362         547         1           9.0000           0.0000          -
44.10/44.35	c        44           3232         823         1           9.0000           0.0000          -
49.18/49.46	c        49           3707         215         1           9.0000           0.0000          -
54.26/54.56	c        55           5331         599         1           9.0000           0.0000          -
59.53/59.88	c        60           6343         791         1           9.0000           0.0000          -
64.60/65.01	c        65           7700        1097         1           9.0000           0.0000          -
70.08/70.48	c        70           8684        1416         1           9.0000           0.0000          -
75.36/75.73	c        76           9778        1733         1           9.0000           0.0000          -
80.66/81.09	c        81          11088        2052         1           9.0000           0.0000          -
85.74/86.14	c        86          12467        2249         1           9.0000           0.0000          -
91.00/91.48	c        91          13482        2534         1           9.0000           0.0000          -
96.28/96.77	c        97          14592        2957         1           9.0000           0.0000          -
101.36/101.89	c       102          16370        3435         1           9.0000           0.0000          -
106.65/107.14	c       107          17571        3697         1           9.0000           0.0000          -
111.72/112.26	c       112          19023        3992         1           9.0000           0.0000          -
117.00/117.52	c       118          20024        4240         1           9.0000           0.0000          -
122.09/122.63	c       123          21620        4516         1           9.0000           0.0000          -
127.36/127.94	c       128          23149        4780         1           9.0000           0.0000          -
132.55/133.14	c       133          24129        4981         1           9.0000           0.0000          -
137.81/138.49	c       138          25258        5157         1           9.0000           0.0000          -
142.98/143.61	c       144          26757        5371         1           9.0000           0.0000          -
148.17/148.86	c       149          27782        5588         1           9.0000           0.0000          -
153.24/153.91	c       154          28903        5817         1           9.0000           0.0000          -
158.34/159.08	c       159          29651        6015         1           9.0000           0.0000          -
163.70/164.40	c       164          30158        6137         1           9.0000           0.0000          -
169.07/169.84	c       170          30964        6313         1           9.0000           0.0000          -
174.15/174.90	c       175          31579        6445         1           9.0000           0.0000          -
179.23/180.02	c       180          32971        6746         1           9.0000           0.0000          -
184.50/185.37	c       185          33572        6919         1           9.0000           0.0000          -
189.77/190.61	c       191          34362        7117         1           9.0000           0.0000          -
194.86/195.79	c       196          35782        7387         1           9.0000           0.0000          -
199.93/200.84	c       201          37019        7657         1           9.0000           0.0000          -
204.92/205.89	c       206          38353        7867         1           9.0000           0.0000          -
210.00/210.97	c       211          40288        8265         1           9.0000           0.0000          -
215.09/216.07	c       216          42833        8858         1           9.0000           0.0000          -
220.17/221.13	c       221          44840        9374         1           9.0000           0.0000          -
225.15/226.19	c       226          47110        9837         1           9.0000           0.0000          -
230.61/231.60	c       232          48426       10067         1           9.0000           0.0000          -
235.70/236.76	c       237          50021       10425         1           9.0000           0.0000          -
240.88/241.90	c       242          51180       10587         1           9.0000           0.0000          -
241.09/242.20	c *     242          51180       10587         1           8.0000           0.0000          -
246.07/247.17	c       247          51885        9907         1           8.0000           0.0000          -
251.23/252.33	c       252          53119       10181         1           8.0000           0.0000          -
256.22/257.39	c       257          54664       10442         1           8.0000           0.0000          -
261.79/262.91	c       263          55905       10642         1           8.0000           0.0000          -
267.07/268.23	c       268          56795       10739         1           8.0000           0.0000          -
272.15/273.40	c       273          58693       11051         1           8.0000           0.0000          -
277.23/278.44	c       278          60967       11343         1           8.0000           0.0000          -
282.21/283.49	c       284          62716       11479         1           8.0000           0.0000          -
287.30/288.58	c       289          64278       11757         1           8.0000           0.0000          -
292.37/293.63	c       294          65769       12026         1           8.0000           0.0000          -
297.46/298.70	c       299          67366       12275         1           8.0000           0.0000          -
302.43/303.74	c       304          69008       12523         1           8.0000           0.0000          -
307.62/309.01	c       309          70677       12818         1           8.0000           0.0000          -
312.70/314.09	c       314          72626       13128         1           8.0000           0.0000          -
317.87/319.24	c       319          73869       13284         1           8.0000           0.0000          -
322.95/324.33	c       324          75672       13523         1           8.0000           0.0000          -
328.03/329.42	c       329          77060       13754         1           8.0000           0.0000          -
333.02/334.49	c       334          78554       13939         1           8.0000           0.0000          -
338.09/339.55	c       340          80216       14260         1           8.0000           0.0000          -
343.17/344.68	c       345          81314       14406         1           8.0000           0.0000          -
348.45/349.99	c       350          82297       14550         1           8.0000           0.0000          -
353.55/355.06	c       355          84196       14897         1           8.0000           0.0000          -
358.62/360.19	c       360          86266       15336         1           8.0000           0.0000          -
363.70/365.29	c       365          87471       15541         1           8.0000           0.0000          -
368.77/370.34	c       370          89397       15901         1           8.0000           0.0000          -
373.84/375.43	c       375          91653       16379         1           8.0000           0.0000          -
379.23/380.80	c       381          92699       16530         1           8.0000           0.0000          -
384.30/385.98	c       386          93957       16724         1           8.0000           0.0000          -
389.39/391.09	c       391          94929       16917         1           8.0000           0.0000          -
394.75/396.42	c       396          95788       17071         1           8.0000           0.0000          -
399.93/401.65	c       402          96831       17214         1           8.0000           0.0000          -
405.01/406.79	c       407          98177       17455         1           8.0000           0.0000          -
410.19/411.97	c       412          99440       17638         1           8.0000           0.0000          -
415.47/417.27	c       417         100049       17755         1           8.0000           0.0000          -
420.85/422.61	c       423         101332       17933         1           8.0000           0.0000          -
425.83/427.67	c       428         102578       18082         1           8.0000           0.0000          -
431.01/432.85	c       433         103735       18256         1           8.0000           0.0000          -
436.09/437.97	c       438         105213       18499         1           8.0000           0.0000          -
441.18/443.09	c       443         106887       18765         1           8.0000           0.0000          -
447.15/449.08	c       449         107693       18862         1           8.0000           0.0000          -
452.32/454.24	c       454         109595       19169         1           8.0000           0.0000          -
457.39/459.36	c       459         110764       19436         1           8.0000           0.0000          -
462.57/464.59	c       465         111724       19588         1           8.0000           0.0000          -
467.64/469.66	c       470         113222       19752         1           8.0000           0.0000          -
468.54/470.57	c *     471         113222       19752         1           7.0000           0.0000          -
472.72/474.72	c       475         114877       18323         1           7.0000           0.0000          -
478.00/480.02	c       480         116381       18442         1           7.0000           0.0000          -
483.09/485.15	c       485         117905       18584         1           7.0000           0.0000          -
488.15/490.26	c       490         119296       18776         1           7.0000           0.0000          -
493.23/495.31	c       495         121508       19262         1           7.0000           0.0000          -
498.20/500.36	c       500         124381       19863         1           7.0000           0.0000          -
503.28/505.41	c       505         126259       20149         1           7.0000           0.0000          -
508.36/510.56	c       511         127760       20346         1           7.0000           0.0000          -
513.43/515.69	c       516         130346       20862         1           7.0000           0.0000          -
518.62/520.81	c       521         132855       21379         1           7.0000           0.0000          -
523.90/526.11	c       526         134684       21685         1           7.0000           0.0000          -
529.07/531.37	c       531         135933       21860         1           7.0000           0.0000          -
534.15/536.47	c       536         137988       22157         1           7.0000           0.0000          -
539.33/541.62	c       542         139189       22390         1           7.0000           0.0000          -
544.31/546.67	c       547         140897       22563         1           7.0000           0.0000          -
549.70/552.03	c       552         142414       22657         1           7.0000           0.0000          -
554.68/557.07	c       557         144004       22712         1           7.0000           0.0556          -
559.84/562.20	c       562         145704       22743         1           7.0000           0.0957          -
564.82/567.23	c       567         147314       22773         1           7.0000           0.1356          -
570.01/572.42	c       572         148884       22807         1           7.0000           0.1500          -
575.07/577.58	c       578         150624       22816         1           7.0000           0.1684          -
580.15/582.62	c       583         152154       22844         1           7.0000           0.1944          -
585.13/587.70	c       588         154014       22882         1           7.0000           0.2000          -
590.52/593.08	c       593         155824       22923         1           7.0000           0.2250          -
595.78/598.35	c       598         157664       22961         1           7.0000           0.2449          -
600.75/603.38	c       603         159454       23006         1           7.0000           0.2610          -
606.12/608.73	c       609         161334       23051         1           7.0000           0.2875          -
611.21/613.83	c       614         163304       23070         1           7.0000           0.3000          -
616.18/618.89	c       619         165264       23089         1           7.0000           0.3333          -
621.26/623.94	c       624         167014       23091         1           7.0000           0.3433          -
626.45/629.14	c       629         168894       23117         1           7.0000           0.3636          -
632.11/634.88	c       635         170780       23093         1           7.0000           0.3804          -
637.19/639.99	c       640         172454       23090         1           7.0000           0.4000          -
642.17/645.01	c       645         174144       23060         1           7.0000           0.4161          -
647.64/650.45	c       650         176115       22967         1           7.0000           0.4375          -
652.62/655.47	c       655         178194       22873         1           7.0000           0.4667          -
658.49/661.34	c       661         180516       22776         1           7.0000           0.5000          -
663.47/666.39	c       666         182424       22644         1           7.0000           0.5219          -
668.66/671.51	c       672         184284       22545         1           7.0000           0.5500          -
673.63/676.55	c       677         186164       22439         1           7.0000           0.5789          -
678.90/681.83	c       682         187944       22317         1           7.0000           0.6000          -
683.97/686.93	c       687         190034       22192         1           7.0000           0.6263          -
689.35/692.34	c       692         192184       22018         1           7.0000           0.6571          -
694.32/697.36	c       697         194274       21867         1           7.0000           0.6682          -
699.40/702.40	c       702         196174       21711         1           7.0000           0.7000          -
704.38/707.49	c       707         198364       21535         1           7.0000           0.7333          -
709.45/712.54	c       713         200234       21386         1           7.0000           0.7667          -
714.72/717.81	c       718         202264       21130         1           7.0000           0.7875          -
719.71/722.88	c       723         204424       20852         1           7.0000           0.8286          -
724.78/727.97	c       728         206444       20577         1           7.0000           0.8591          -
729.76/733.00	c       733         208504       20325         1           7.0000           0.8854          -
734.85/738.08	c       738         210334       20120         1           7.0000           0.9018          -
739.94/743.19	c       743         212364       19957         1           7.0000           0.9279          -
744.99/748.28	c       748         214694       19781         1           7.0000           0.9583          -
750.88/754.18	c       754         216125       19659         1           7.0000           1.0000          -
756.13/759.44	c       759         217644       19556         1           7.0000           1.0000          -
761.21/764.53	c       765         219934       19383         1           7.0000           1.0339          -
762.12/765.45	c *     765         220364       19367         1           6.0000           1.0500    471.43%
766.59/769.96	c       770         222522       14356         1           6.0000           1.0500    471.43%
771.57/775.01	c       775         224894       14061         1           6.0000           1.1048    443.10%
777.15/780.53	c       781         227484       13713         1           6.0000           1.1455    423.81%
782.42/785.80	c       786         229714       13362         1           6.0000           1.1667    414.29%
787.41/790.86	c       791         231954       13046         1           6.0000           1.2141    394.21%
792.49/795.95	c       796         234274       12547         1           6.0000           1.2585    376.76%
797.46/801.01	c       801         236694       12066         1           6.0000           1.3200    354.55%
802.55/806.07	c       806         239064       11328         1           6.0000           1.4000    328.57%
807.62/811.11	c       811         241334       10573         1           6.0000           1.4545    312.50%
812.61/816.12	c       816         243644        9871         1           6.0000           1.5217    294.29%
814.68/818.23	c *     818         244734        9499         1           5.0000           1.5526    222.03%
817.58/821.14	c       821         246334        5142         1           5.0000           1.6182    208.99%
822.56/826.15	c       826         249184        2969         1           5.0000           1.8667    167.86%
827.54/831.19	c       831         251424         668         1           5.0000           2.6625     87.79%
829.72/833.33	c       833         252037           0         0           5.0000           5.0000      0.00%
829.72/833.36	c       833         252037           0         0           5.0000           5.0000          -
829.72/833.36	c SCIP Status        : c problem is solved
829.72/833.36	c Total Time         : 833.3600
829.72/833.36	c   solving          : 833.3600
829.72/833.36	c   presolving       : 1.7090 (included in solving)
829.72/833.36	c B&B Tree           :
829.72/833.36	c   nodes (total)    : 252037
829.72/833.36	c Solution           :
829.72/833.36	c   Solutions found  : 12
829.72/833.36	c   Primal Bound     : +5.00000000000000e+00
829.72/833.36	c   Dual Bound       : +5.00000000000000e+00
829.72/833.36	c Gap                : 0.00000 %
829.72/833.38	o 5
829.72/833.38	s OPTIMUM FOUND
829.72/833.38	v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 
829.72/833.38	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 
829.72/833.38	v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 
829.72/833.38	v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
829.72/833.38	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
829.72/833.38	v -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 
829.72/833.38	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 
829.72/833.38	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 
829.72/833.38	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 
829.72/833.38	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 
829.72/833.38	v -x1

Verifier Data 

OK	5

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=34912, runsolver pid=34905

[startup+0.100465 s]*
/proc/loadavg: 1.07 1.91 3.06 6/242 34913
/proc/meminfo: memFree=128950672/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=42444 memory=31132 CPUtime=0.1 cores=0,2
/proc/34912/stat : 34912 (fscip) R 34905 34912 34840 0 -1 4194304 5415 0 0 0 8 2 0 0 20 0 1 0 5350515 43462656 7783 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 10611 7783 2630 3035 0 7007 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42444 KiB
Current children cumulated memory: 31132 KiB

[startup+0.214302 s]*
/proc/loadavg: 1.07 1.91 3.06 5/242 34913
/proc/meminfo: memFree=128947480/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=42932 memory=31756 CPUtime=0.22 cores=0,2
/proc/34912/stat : 34912 (fscip) R 34905 34912 34840 0 -1 4194304 5574 0 0 0 20 2 0 0 20 0 1 0 5350515 43962368 7939 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 10733 7939 2662 3035 0 7129 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 42932 KiB
Current children cumulated memory: 31756 KiB

[startup+0.312887 s]*
/proc/loadavg: 1.07 1.91 3.06 6/242 34913
/proc/meminfo: memFree=128946040/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=42932 memory=32008 CPUtime=0.31 cores=0,2
/proc/34912/stat : 34912 (fscip) R 34905 34912 34840 0 -1 4194304 5606 0 0 0 29 2 0 0 20 0 1 0 5350515 43962368 8002 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 10733 8002 2662 3035 0 7129 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42932 KiB
Current children cumulated memory: 32008 KiB

[startup+0.700276 s]
/proc/loadavg: 1.07 1.91 3.06 6/242 34913
/proc/meminfo: memFree=128944104/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=43832 memory=32800 CPUtime=0.68 cores=0,2
/proc/34912/stat : 34912 (fscip) R 34905 34912 34840 0 -1 4194304 5813 0 0 0 66 2 0 0 20 0 1 0 5350515 44883968 8200 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 10958 8200 2662 3035 0 7354 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43832 KiB
Current children cumulated memory: 32800 KiB

[startup+1.50031 s]
/proc/loadavg: 1.30 1.95 3.06 6/248 34919
/proc/meminfo: memFree=128881164/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=44860 memory=33856 CPUtime=1.48 cores=0,2
/proc/34912/stat : 34912 (fscip) R 34905 34912 34840 0 -1 4194304 6071 0 0 0 146 2 0 0 20 0 1 0 5350515 45936640 8464 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 11215 8464 2662 3035 0 7611 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44860 KiB
Current children cumulated memory: 33856 KiB

[startup+3.11358 s]
/proc/loadavg: 1.30 1.95 3.06 6/250 34921
/proc/meminfo: memFree=128720340/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=137784 memory=77396 CPUtime=3.08 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 21446 0 0 0 303 5 0 0 20 0 3 0 5350515 141090816 19349 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 34446 19349 2870 3035 0 24189 0
[pid=34912/tid=34920] ppid=34905 vsize=137784 memory=198340509722 CPUtime=1.33 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 13226 0 0 0 131 2 0 0 20 0 3 0 5350691 141090816 19349 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=137784 memory=0 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 5350694 141090816 19349 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 137784 KiB
Current children cumulated memory: 77396 KiB

[startup+6.30038 s]
/proc/loadavg: 1.60 2.00 3.08 6/250 34921
/proc/meminfo: memFree=128574260/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=141876 memory=100864 CPUtime=6.26 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 30431 0 0 0 619 7 0 0 20 0 3 0 5350515 145281024 25216 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 35469 25216 3014 3035 0 31120 0
[pid=34912/tid=34920] ppid=34905 vsize=141876 memory=0 CPUtime=4.5 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 21667 0 0 0 447 3 0 0 20 0 3 0 5350691 145281024 25216 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=141876 memory=100264 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 5350694 145281024 25216 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 141876 KiB
Current children cumulated memory: 100864 KiB

[startup+12.7004 s]
/proc/loadavg: 1.79 2.03 3.08 6/250 34923
/proc/meminfo: memFree=128506244/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=207412 memory=163540 CPUtime=12.64 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 77720 0 0 0 1253 11 0 0 20 0 3 0 5350515 212389888 40885 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 51853 40885 3318 3035 0 46823 0
[pid=34912/tid=34920] ppid=34905 vsize=207412 memory=0 CPUtime=10.87 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 68859 0 0 0 1080 7 0 0 20 0 3 0 5350691 212389888 40885 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=207412 memory=-5155630214917155717 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 5350694 212389888 40885 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 207412 KiB
Current children cumulated memory: 163540 KiB

[startup+25.5004 s]
/proc/loadavg: 2.13 2.10 3.09 6/250 34924
/proc/meminfo: memFree=128415792/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=207412 memory=163824 CPUtime=25.39 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 106087 0 0 0 2527 12 0 0 20 0 3 0 5350515 212389888 40956 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 51853 40956 3318 3035 0 46823 0
[pid=34912/tid=34920] ppid=34905 vsize=207412 memory=163804 CPUtime=23.63 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 97104 0 0 0 2354 9 0 0 20 0 3 0 5350691 212389888 40956 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=207412 memory=11536 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 5350694 212389888 40956 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 207412 KiB
Current children cumulated memory: 163824 KiB

[startup+51.1129 s]
/proc/loadavg: 3.01 2.31 3.13 6/250 34929
/proc/meminfo: memFree=128273984/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=272948 memory=192752 CPUtime=50.89 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 187687 0 0 0 5069 20 0 0 20 0 3 0 5350515 279498752 48188 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 68237 48188 3318 3035 0 53038 0
[pid=34912/tid=34920] ppid=34905 vsize=272948 memory=-7018978235842126208 CPUtime=49.12 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 178561 0 0 0 4896 16 0 0 20 0 3 0 5350691 279498752 48188 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=272948 memory=11536 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 5350694 279498752 48188 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 272948 KiB
Current children cumulated memory: 192752 KiB

[startup+102.3 s]
/proc/loadavg: 3.69 2.60 3.19 6/250 34938
/proc/meminfo: memFree=128165372/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=287524 memory=227296 CPUtime=101.86 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 268678 0 0 0 10157 29 0 0 20 0 3 0 5350515 294424576 56824 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 71881 56824 3318 3035 0 62061 0
[pid=34912/tid=34920] ppid=34905 vsize=287524 memory=226700 CPUtime=100.09 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 259389 0 0 0 9983 26 0 0 20 0 3 0 5350691 294424576 56824 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=287524 memory=11536 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 5350694 294424576 56824 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 287524 KiB
Current children cumulated memory: 227296 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.86 3.24 6/250 34950
/proc/meminfo: memFree=128044312/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=310276 memory=254304 CPUtime=161.6 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 350167 0 0 0 16122 38 0 0 20 0 3 0 5350515 317722624 63576 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 77569 63576 3318 3035 0 68986 0
[pid=34912/tid=34920] ppid=34905 vsize=310276 memory=254304 CPUtime=159.83 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 340755 0 0 0 15948 35 0 0 20 0 3 0 5350691 317722624 63576 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=310276 memory=254304 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 5350694 317722624 63576 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 310276 KiB
Current children cumulated memory: 254304 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 3.12 3.31 6/250 34960
/proc/meminfo: memFree=127937364/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=392236 memory=298288 CPUtime=221.35 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 400381 0 0 0 22088 47 0 0 20 0 3 0 5350515 401649664 74572 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 98059 74572 3318 3035 0 80144 0
[pid=34912/tid=34920] ppid=34905 vsize=392236 memory=290064 CPUtime=219.57 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 390906 0 0 0 21914 43 0 0 20 0 3 0 5350691 401649664 74572 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=392236 memory=298164 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 5350694 401649664 74572 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 221.35 s
Current children cumulated vsize: 392236 KiB
Current children cumulated memory: 298288 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.30 3.36 6/252 34975
/proc/meminfo: memFree=127800496/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=402980 memory=345084 CPUtime=281.11 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 439715 0 0 0 28056 55 0 0 20 0 3 0 5350515 412651520 86271 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0

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

/proc/34912/statm: 141127 122732 3318 3035 0 131879 0
[pid=34912/tid=34920] ppid=34905 vsize=564508 memory=12856 CPUtime=637.74 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 725696 0 0 0 63668 106 0 0 20 0 3 0 5350691 578056192 122732 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=564508 memory=461696 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 5350694 578056192 122732 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 639.58 s
Current children cumulated vsize: 564508 KiB
Current children cumulated memory: 490928 KiB

[startup+702.3 s]
/proc/loadavg: 2.57 3.26 3.39 3/231 35254
/proc/meminfo: memFree=128425232/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=564508 memory=503636 CPUtime=699.3 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 752414 0 0 0 69810 120 0 0 20 0 3 0 5350515 578056192 125909 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 141127 125909 3318 3035 0 133595 0
[pid=34912/tid=34920] ppid=34905 vsize=564508 memory=12856 CPUtime=697.42 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 742022 0 0 0 69629 113 0 0 20 0 3 0 5350691 578056192 125909 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=564508 memory=461696 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 5350694 578056192 125909 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 699.3 s
Current children cumulated vsize: 564508 KiB
Current children cumulated memory: 503636 KiB

[startup+762.3 s]
/proc/loadavg: 2.27 3.05 3.30 3/231 35266
/proc/meminfo: memFree=128354480/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=630044 memory=571580 CPUtime=759.02 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 779610 0 0 0 75774 128 0 0 20 0 3 0 5350515 645165056 142895 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 157511 142895 3318 3035 0 147145 0
[pid=34912/tid=34920] ppid=34905 vsize=630044 memory=518280 CPUtime=757.11 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 769214 0 0 0 75591 120 0 0 20 0 3 0 5350691 645165056 142895 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=630044 memory=11536 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 5350694 645165056 142895 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 759.02 s
Current children cumulated vsize: 630044 KiB
Current children cumulated memory: 571580 KiB

[startup+822.3 s]
/proc/loadavg: 2.29 2.90 3.24 3/233 35280
/proc/meminfo: memFree=128343344/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=630044 memory=574072 CPUtime=818.77 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 783653 0 0 0 81740 137 0 0 20 0 3 0 5350515 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 157511 143518 3318 3035 0 147145 0
[pid=34912/tid=34920] ppid=34905 vsize=630044 memory=574072 CPUtime=816.79 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 772985 0 0 0 81553 126 0 0 20 0 3 0 5350691 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=630044 memory=574072 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 5350694 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 818.77 s
Current children cumulated vsize: 630044 KiB
Current children cumulated memory: 574072 KiB

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

# cumulated CPU time of all completed processes:  user=828.404 s, system=1.41744 s

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

[startup+825.6 s]
/proc/loadavg: 2.29 2.90 3.24 3/233 35280
/proc/meminfo: memFree=128343344/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=630044 memory=574072 CPUtime=822.06 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 783965 0 0 0 82068 138 0 0 20 0 3 0 5350515 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 157511 143518 3318 3035 0 147145 0
[pid=34912/tid=34920] ppid=34905 vsize=630044 memory=16320 CPUtime=820.07 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 773294 0 0 0 81880 127 0 0 20 0 3 0 5350691 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=630044 memory=11536 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 5350694 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 822.06 s
Current children cumulated vsize: 630044 KiB
Current children cumulated memory: 574072 KiB

[startup+828.8 s]
/proc/loadavg: 2.27 2.89 3.23 3/233 35282
/proc/meminfo: memFree=128343212/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=630044 memory=574072 CPUtime=825.24 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 784044 0 0 0 82385 139 0 0 20 0 3 0 5350515 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 157511 143518 3318 3035 0 147145 0
[pid=34912/tid=34920] ppid=34905 vsize=630044 memory=2248 CPUtime=823.25 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 773372 0 0 0 82197 128 0 0 20 0 3 0 5350691 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=630044 memory=1840 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 5350694 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 825.24 s
Current children cumulated vsize: 630044 KiB
Current children cumulated memory: 574072 KiB

[startup+830.4 s]
/proc/loadavg: 2.27 2.89 3.23 3/233 35282
/proc/meminfo: memFree=128342076/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=630044 memory=574072 CPUtime=826.83 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 784066 0 0 0 82544 139 0 0 20 0 3 0 5350515 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 157511 143518 3318 3035 0 147145 0
[pid=34912/tid=34920] ppid=34905 vsize=630044 memory=11536 CPUtime=824.83 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 773394 0 0 0 82355 128 0 0 20 0 3 0 5350691 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=630044 memory=16320 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 5350694 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 826.83 s
Current children cumulated vsize: 630044 KiB
Current children cumulated memory: 574072 KiB

[startup+832 s]*
/proc/loadavg: 2.24 2.87 3.22 3/233 35282
/proc/meminfo: memFree=128342076/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=630044 memory=574072 CPUtime=828.44 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 784148 0 0 0 82704 140 0 0 20 0 3 0 5350515 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 157511 143518 3318 3035 0 147145 0
[pid=34912/tid=34920] ppid=34905 vsize=630044 memory=-7595157513168839292 CPUtime=826.43 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 773476 0 0 0 82515 128 0 0 20 0 3 0 5350691 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=630044 memory=-4050210904893407124 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 5350694 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 828.44 s
Current children cumulated vsize: 630044 KiB
Current children cumulated memory: 574072 KiB

[startup+832.8 s]
/proc/loadavg: 2.24 2.87 3.22 3/233 35282
/proc/meminfo: memFree=128342076/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=630044 memory=574072 CPUtime=829.22 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 784837 0 0 0 82782 140 0 0 20 0 3 0 5350515 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 157511 143518 3318 3035 0 147145 0
[pid=34912/tid=34920] ppid=34905 vsize=630044 memory=1936 CPUtime=827.22 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 774165 0 0 0 82594 128 0 0 20 0 3 0 5350691 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=630044 memory=31968 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 5350694 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 829.22 s
Current children cumulated vsize: 630044 KiB
Current children cumulated memory: 574072 KiB

[startup+833.2 s]
/proc/loadavg: 2.24 2.87 3.22 3/233 35282
/proc/meminfo: memFree=128342068/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=630044 memory=574072 CPUtime=829.62 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 784842 0 0 0 82822 140 0 0 20 0 3 0 5350515 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 157511 143518 3318 3035 0 147145 0
[pid=34912/tid=34920] ppid=34905 vsize=630044 memory=5496 CPUtime=827.61 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 774170 0 0 0 82633 128 0 0 20 0 3 0 5350691 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=630044 memory=1840 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 5350694 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 829.62 s
Current children cumulated vsize: 630044 KiB
Current children cumulated memory: 574072 KiB

[startup+833.3 s]
/proc/loadavg: 2.24 2.87 3.22 3/233 35282
/proc/meminfo: memFree=128342068/131655788 swapFree=131071728/131071996
[pid=34912] ppid=34905 vsize=630044 memory=574072 CPUtime=829.72 cores=0,2
/proc/34912/stat : 34912 (fscip) S 34905 34912 34840 0 -1 1077936128 784845 0 0 0 82832 140 0 0 20 0 3 0 5350515 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
/proc/34912/statm: 157511 143518 3318 3035 0 147145 0
[pid=34912/tid=34920] ppid=34905 vsize=630044 memory=574072 CPUtime=827.71 cores=0,2
/proc/34912/task/34920/stat : 34920 (fscip) R 34905 34912 34840 0 -1 4194368 774173 0 0 0 82643 128 0 0 20 0 3 0 5350691 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
[pid=34912/tid=34921] ppid=34905 vsize=630044 memory=11536 CPUtime=0 cores=0,2
/proc/34912/task/34921/stat : 34921 (fscip) S 34905 34912 34840 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 5350694 645165056 143518 134679101440 4194304 16623229 140726582080032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53411840 140726582084628 140726582084744 140726582084744 140726582091760 0
Current children cumulated CPU time: 829.72 s
Current children cumulated vsize: 630044 KiB
Current children cumulated memory: 574072 KiB

Child status: 0

Real time (s): 833.391
CPU time (s): 829.822
CPU user time (s): 828.404
CPU system time (s): 1.41744
CPU usage (%): 99.5716
Max. virtual memory (cumulated for all children) (KiB): 630044
Max. memory (cumulated for all children) (KiB): 574072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 828.404
system time used= 1.41744
maximum resident set size= 574072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 785207
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= 6747
involuntary context switches= 5791


# summary of solver processes directly reported to runsolver:
#   pid: 34912
#   total CPU time (s): 829.822
#   total CPU user time (s): 828.404
#   total CPU system time (s): 1.41744

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55832 second user time and 7.99689 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-31 03:36:42
IDJOB=4464858
IDBENCH=143618
IDSOLVER=3093
FILE ID=nodeC011/4464858-1722389801
RUNJOBID= nodeC011-1722389801-34850
SLURM_JOB_ID= 8249866
Free space on /tmp= 723748 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4464858-1722389801/watcher-4464858-1722389801 -o /tmp/evaluation-result-4464858-1722389801/solver-4464858-1722389801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722389801-34850 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464858-1722389801.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 986151a138d2ed587805254495fec40d
RANDOM SEED=1209120846

nodeC011.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		: 1197.133
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.28
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		: 1197.166
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.29
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.320
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.28
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		: 1197.133
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.29
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		: 1197.273
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.28
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		: 1197.353
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.29
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.134
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.28
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.133
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129015696 kB
MemAvailable:   130032660 kB
Buffers:          107700 kB
Cached:          1752784 kB
SwapCached:           12 kB
Active:           275716 kB
Inactive:        1932924 kB
Active(anon):       1828 kB
Inactive(anon):   375848 kB
Active(file):     273888 kB
Inactive(file):  1557076 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:            113292 kB
Writeback:             4 kB
AnonPages:        346616 kB
Mapped:           101592 kB
Shmem:             29468 kB
KReclaimable:      52396 kB
Slab:             128660 kB
SReclaimable:      52396 kB
SUnreclaim:        76264 kB
KernelStack:        3664 kB
PageTables:         9456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     703156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             7040 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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:      156488 kB
DirectMap2M:     9185280 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723728 MiB
End job on nodeC011 at 2024-07-31 03:50:35