Trace number 4456117

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02OPTIMUM 893.81 896.546

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo
MD5SUMc80b6180d98478604df0f17e55c6d3fe
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark15.3913
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 137245
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137244
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 745
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02	c Default LC presolving (default).
0.00/0.02	c ** Before presolving: virtualMemUsedAtLc = 35733504, getVmSize() = 35733504, SCIPgetMemUsed() = 10377853, SCIPgetMemTotal() = 13642749, SCIPgetMemExternEstim() = 7879036
0.00/0.02	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.68/1.72	c ** Estimated virtualMemUsedAtSolver = 31989760, getVmSize() = 60235776, SCIPgetMemUsed() = 21333801, SCIPgetMemTotal() = 36521241, SCIPgetMemExternEstim() = 7879036
1.68/1.72	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
1.68/1.72	c Original Problem   :
1.68/1.72	c   Problem name     : instance-4456117-1721718414
1.68/1.72	c   Variables        : 2938 (2938 binary, 0 integer, 0 implicit integer, 0 continuous)
1.68/1.72	c   Constraints      : 5415
1.68/1.72	c   Objective sense  : minimize
1.68/1.72	c Presolved Problem  :
1.68/1.72	c   Variables        : 2961 (2938 binary, 0 integer, 23 implicit integer, 0 continuous)
1.68/1.72	c   Constraints      : 2739
1.68/1.72	c Constraints        : Number
1.68/1.72	c   linear           : 2707 
1.68/1.72	c   indicator        : 32 
1.68/1.72	c ** Instance transfer method used: 0
1.68/1.73	c ** ParaScipInstance copy does not increase the number of variables. **
1.68/1.74	c LC is working with racing ramp-up and with rebuilding tree after racing.
1.68/1.74	c                                Nodes    Active                                            
1.68/1.74	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
1.68/1.78	c *       2              0           1         1       89897.0000                -          -
1.68/1.79	c *       2              0           1         1        1204.0000                -          -
3.37/3.41	c *       3              0           1         1         284.0000                -          -
4.97/5.01	c         5              5           4         1         284.0000           0.0000          -
6.97/7.08	c *       7             10           9         1         279.0000           0.0000          -
6.97/7.09	c *       7             10           9         1         267.0000           0.0000          -
8.56/8.66	c *       9             23          18         1         263.0000           0.0000          -
10.26/10.35	c *      10             29          24         1          76.0000           0.0000          -
10.26/10.35	c        10             29          24         1          76.0000           0.0000          -
12.25/12.37	c *      12             39          19         1          74.0000           0.0000          -
12.35/12.46	c *      12             39          19         1          68.0000           0.0000          -
12.35/12.47	c *      12             39          19         1          62.0000           0.0000          -
15.34/15.43	c *      15             60          26         1          24.0000           0.0000          -
15.34/15.43	c        15             60          26         1          24.0000           0.0000          -
15.34/15.49	c *      15             81          24         1          20.0000           0.0000          -
16.05/16.14	c *      16             81          24         1          19.0000           0.0000          -
20.53/20.61	c        21            345          79         1          19.0000           0.0000          -
25.61/25.76	c        26            862         180         1          19.0000           0.0000          -
31.19/31.31	c        31           1269         226         1          19.0000           0.0000          -
36.47/36.69	c        37           1672         330         1          19.0000           0.0000          -
42.55/42.78	c        43           1933         519         1          19.0000           0.0000          -
48.13/48.38	c        48           2224         664         1          19.0000           0.0000          -
53.33/53.55	c        54           2688         815         1          19.0000           0.0000          -
58.61/58.84	c        59           3022         945         1          19.0000           0.0000          -
64.40/64.61	c        65           3350        1014         1          19.0000           0.0000          -
69.88/70.12	c        70           3793        1136         1          19.0000           0.0000          -
75.56/75.86	c        76           4194        1244         1          19.0000           0.0000          -
81.54/81.83	c        82           4477        1324         1          19.0000           0.0000          -
86.94/87.30	c        87           4772        1394         1          19.0000           0.0000          -
92.62/92.93	c        93           4911        1429         1          19.0000           0.0000          -
98.20/98.51	c        99           5152        1477         1          19.0000           0.0000          -
103.39/103.71	c       104           5507           1         1          19.0000           0.0000          -
108.68/109.05	c       109           6074         268         1          19.0000           0.0000          -
113.95/114.30	c       114           6974         658         1          19.0000           0.0000          -
115.25/115.61	c *     116           7208         725         1          14.0000           0.0000          -
119.04/119.42	c       119           8249         829         1          14.0000           0.0000          -
124.13/124.52	c       125           9038         989         1          14.0000           0.0000          -
129.12/129.57	c       130          11055        1292         1          14.0000           0.0000          -
134.20/134.68	c       135          12502        1594         1          14.0000           0.0000          -
135.80/136.29	c *     136          12748        1656         1          10.0000           0.0000          -
139.59/140.05	c       140          13751        1500         1          10.0000           0.0000          -
144.78/145.28	c       145          15133        1598         1          10.0000           0.0000          -
150.35/150.81	c       151          15799        1724         1          10.0000           0.0000          -
155.35/155.88	c       156          17134        1906         1          10.0000           0.0000          -
160.43/160.93	c       161          18894        2126         1          10.0000           0.0000          -
165.81/166.39	c       166          20725        2325         1          10.0000           0.0000          -
170.99/171.54	c       172          23260        2609         1          10.0000           0.0000          -
176.18/176.76	c       177          24844        2797         1          10.0000           0.0000          -
181.26/181.81	c       182          27390        3068         1          10.0000           0.0000          -
186.35/186.95	c       187          28748        3177         1          10.0000           0.0000          -
191.43/192.03	c       192          31037        3456         1          10.0000           0.0000          -
196.43/197.10	c       197          32643        3684         1          10.0000           0.0000          -
202.01/202.64	c       203          33682        3790         1          10.0000           0.0000          -
206.99/207.68	c       208          35372        3925         1          10.0000           0.0000          -
212.18/212.81	c       213          37222        4103         1          10.0000           0.0000          -
217.16/217.86	c       218          40146        4508         1          10.0000           0.0000          -
222.34/223.00	c       223          41671        4704         1          10.0000           0.0000          -
227.63/228.33	c       228          42740        4820         1          10.0000           0.0000          -
232.71/233.45	c       233          44351        4967         1          10.0000           0.0000          -
237.80/238.50	c       239          46690        5158         1          10.0000           0.0000          -
242.98/243.72	c       244          48206        5334         1          10.0000           0.0000          -
248.17/248.90	c       249          50330        5521         1          10.0000           0.0000          -
253.25/254.01	c       254          51802        5640         1          10.0000           0.0000          -
258.54/259.31	c       259          52429        5770         1          10.0000           0.0000          -
263.62/264.48	c       264          53226        5864         1          10.0000           0.0000          -
268.00/268.81	c *     269          54383        6068         1           8.0000           0.0000          -
268.80/269.69	c       270          54656        5482         1           8.0000           0.0000          -
274.08/274.96	c       275          55568        5666         1           8.0000           0.0000          -
279.36/280.25	c       280          56189        5825         1           8.0000           0.0000          -
284.74/285.61	c       286          56911        5998         1           8.0000           0.0000          -
289.82/290.78	c       291          58091        6093         1           8.0000           0.0000          -
295.60/296.55	c       297          58759        6135         1           8.0000           0.0000          -
300.69/301.66	c       302          59925        6252         1           8.0000           0.0000          -
305.77/306.75	c       307          61024        6413         1           8.0000           0.0000          -
310.95/311.95	c       312          62137        6532         1           8.0000           0.0000          -
315.24/316.26	c *     316          62809        6594         1           5.0000           0.0000          -
316.64/317.61	c       318          63325        5101         1           5.0000           0.0000          -
321.73/322.72	c       323          64982        5206         1           5.0000           0.0000          -
326.81/327.82	c       328          66229        5269         1           5.0000           0.0000          -
332.00/333.01	c       333          67633        5349         1           5.0000           0.0000          -
337.28/338.30	c       338          69025        5406         1           5.0000           0.0000          -
342.36/343.42	c       343          70278        5438         1           5.0000           0.0000          -
347.35/348.48	c       348          71786        5499         1           5.0000           0.0000          -
352.43/353.58	c       354          73659        5562         1           5.0000           0.0000          -
357.51/358.67	c       359          75170        5582         1           5.0000           0.0000          -
362.70/363.84	c       364          76371        5653         1           5.0000           0.0000          -
367.78/368.95	c       369          78904        5748         1           5.0000           0.0000          -
372.87/374.00	c       374          80850        5913         1           5.0000           0.0000          -
378.13/379.33	c       379          82799        5985         1           5.0000           0.0000          -
383.23/384.45	c       384          84303        6066         1           5.0000           0.0000          -
388.30/389.55	c       390          86196        6119         1           5.0000           0.0000          -
393.39/394.62	c       395          88134        6157         1           5.0000           0.0000          -
398.47/399.74	c       400          90119        6222         1           5.0000           0.0000          -
403.55/404.82	c       405          91179        6295         1           5.0000           0.0000          -
408.63/409.97	c       410          93363        6400         1           5.0000           0.0000          -
413.72/415.06	c       415          95005        6508         1           5.0000           0.0000          -
418.90/420.27	c       420          96842        6638         1           5.0000           0.0000          -
424.08/425.41	c       425          97920        6766         1           5.0000           0.0000          -
429.16/430.58	c       431          99591        6885         1           5.0000           0.0000          -
434.24/435.68	c       436         101329        6947         1           5.0000           0.0000          -
439.42/440.81	c       441         102838        7027         1           5.0000           0.0000          -
444.51/445.90	c       446         104270        7126         1           5.0000           0.0000          -
449.79/451.26	c       451         105498        7255         1           5.0000           0.0000          -
455.07/456.52	c       457         106603        7370         1           5.0000           0.0000          -
460.06/461.57	c       462         108913        7551         1           5.0000           0.0000          -
466.04/467.55	c       468         109445        7582         1           5.0000           0.0000          -
471.13/472.65	c       473         110951        7637         1           5.0000           0.0000          -
476.21/477.74	c       478         112587        7707         1           5.0000           0.0000          -
481.29/482.82	c       483         113824        7820         1           5.0000           0.0000          -
486.38/487.90	c       488         115599        7989         1           5.0000           0.0000          -
491.48/493.00	c       493         118315        8189         1           5.0000           0.0000          -
496.46/498.09	c       498         121008        8374         1           5.0000           0.0000          -
501.54/503.15	c       503         123795        8544         1           5.0000           0.0000          -
506.72/508.35	c       508         126357        8709         1           5.0000           0.0000          -
511.90/513.56	c       514         127991        8867         1           5.0000           0.0000          -
516.99/518.63	c       519         130260        8994         1           5.0000           0.0000          -
522.18/523.89	c       524         132465        9129         1           5.0000           0.0000          -
527.27/528.94	c       529         135861        9363         1           5.0000           0.0000          -
532.46/534.16	c       534         137483        9481         1           5.0000           0.0000          -
537.54/539.24	c       539         139087        9638         1           5.0000           0.0000          -
542.72/544.43	c       544         140352        9736         1           5.0000           0.0000          -
547.71/549.48	c       549         141341        9832         1           5.0000           0.0000          -
552.89/554.67	c       555         142745        9947         1           5.0000           0.0000          -
558.17/559.93	c       560         143535       10000         1           5.0000           0.0000          -
558.17/559.96	c *     560         143535       10000         1           4.0000           0.0000          -
563.46/565.21	c       565         144894        8817         1           4.0000           0.0000          -
568.44/570.26	c       570         146844        8924         1           4.0000           0.0000          -
573.54/575.31	c       575         149254        9009         1           4.0000           0.0000          -
575.33/577.17	c *     577         149564        9012         1           3.0000           0.0000          -
578.52/580.37	c       580         150994        7300         1           3.0000           0.0000          -
583.61/585.42	c       585         152758        7359         1           3.0000           0.0000          -
588.79/590.61	c       591         154632        7381         1           3.0000           0.0000          -
593.97/595.80	c       596         155949        7343         1           3.0000           0.0000          -
598.96/600.87	c       601         157568        7377         1           3.0000           0.0000          -
604.15/606.06	c       606         159186        7391         1           3.0000           0.0000          -
609.23/611.12	c       611         161296        7409         1           3.0000           0.0000          -
614.32/616.20	c       616         163493        7421         1           3.0000           0.0000          -
619.30/621.25	c       621         165614        7443         1           3.0000           0.0000          -
624.38/626.34	c       626         167876        7568         1           3.0000           0.0000          -
629.37/631.39	c       631         170513        7714         1           3.0000           0.0000          -
630.36/632.36	c *     632         170513        7714         1           2.0000           0.0000          -
634.46/636.45	c       636         172653        4545         1           2.0000           0.0000          -
639.64/641.66	c       642         174222        4553         1           2.0000           0.0000          -
644.73/646.70	c       647         176192        4526         1           2.0000           0.0000          -
649.71/651.78	c       652         178229        4465         1           2.0000           0.0000          -
654.80/656.83	c       657         180979        4486         1           2.0000           0.0000          -
659.78/661.89	c       662         183599        4503         1           2.0000           0.0000          -
664.97/667.06	c       667         185330        4522         1           2.0000           0.0000          -
670.05/672.11	c       672         187648        4509         1           2.0000           0.0000          -
675.14/677.22	c       677         189633        4537         1           2.0000           0.0000          -
680.12/682.27	c       682         191830        4518         1           2.0000           0.0000          -
685.21/687.32	c       687         194256        4507         1           2.0000           0.0000          -
690.19/692.39	c       692         196070        4370         1           2.0000           0.0000          -
695.27/697.44	c       697         198768        4404         1           2.0000           0.0000          -
700.26/702.49	c       702         201389        4420         1           2.0000           0.0000          -
705.34/707.54	c       708         203895        4441         1           2.0000           0.0000          -
710.43/712.60	c       713         206006        4447         1           2.0000           0.0000          -
715.52/717.74	c       718         208082        4447         1           2.0000           0.0000          -
720.59/722.80	c       723         210397        4445         1           2.0000           0.0000          -
726.48/728.75	c       729         211845        4351         1           2.0000           0.0000          -
731.87/734.14	c       734         212912        4322         1           2.0000           0.0000          -
737.05/739.30	c       739         214922        4388         1           2.0000           0.0000          -
742.13/744.47	c       744         216103        4386         1           2.0000           0.0000          -
747.22/749.54	c       750         217936        4412         1           2.0000           0.0000          -
752.30/754.62	c       755         220438        4419         1           2.0000           0.0000          -
757.39/759.72	c       760         222115        4437         1           2.0000           0.0000          -
762.47/764.80	c       765         224062        4431         1           2.0000           0.0000          -
767.46/769.86	c       770         226387        4404         1           2.0000           0.0000          -
772.54/774.93	c       775         228754        4488         1           2.0000           0.0000          -
777.53/779.98	c       780         231149        4471         1           2.0000           0.0000          -
782.61/785.06	c       785         233410        4432         1           2.0000           0.0000          -
787.70/790.17	c       790         235533        4267         1           2.0000           0.0000          -
792.78/795.26	c       795         238171        4218         1           2.0000           0.0000          -
797.86/800.34	c       800         239980        4247         1           2.0000           0.0000          -
802.94/805.41	c       805         242325        4309         1           2.0000           0.0000          -
807.93/810.47	c       810         244565        4361         1           2.0000           0.0000          -
813.01/815.58	c       816         246994        4401         1           2.0000           0.0000          -
818.10/820.63	c       821         249056        4447         1           2.0000           0.0000          -
823.18/825.70	c       826         251097        4492         1           2.0000           0.0000          -
828.16/830.76	c       831         252904        4500         1           2.0000           0.0000          -
833.25/835.88	c       836         254986        4493         1           2.0000           0.0000          -
838.33/840.95	c       841         257246        4500         1           2.0000           0.0000          -
843.42/846.01	c       846         259170        4480         1           2.0000           0.0000          -
848.50/851.12	c       851         261418        4458         1           2.0000           0.0000          -
853.58/856.22	c       856         264048        4461         1           2.0000           0.0000          -
858.56/861.27	c       861         266467        4311         1           2.0000           0.0000          -
863.65/866.32	c       866         268820        4280         1           2.0000           0.0000          -
868.73/871.44	c       871         271023        4342         1           2.0000           0.0000          -
873.82/876.53	c       877         273251        4316         1           2.0000           0.0000          -
879.00/881.73	c       882         275017        3750         1           2.0000           0.0656          -
883.98/886.78	c       887         276467        2924         1           2.0000           0.1143          -
889.06/891.85	c       892         278096        1605         1           2.0000           0.2346          -
893.65/896.47	c       896         279683           0         0           2.0000           2.0000      0.00%
893.75/896.52	c       897         279683           0         0           2.0000           2.0000          -
893.75/896.52	c SCIP Status        : c problem is solved
893.75/896.52	c Total Time         : 896.5300
893.75/896.52	c   solving          : 896.5300
893.75/896.52	c   presolving       : 1.7049 (included in solving)
893.75/896.52	c B&B Tree           :
893.75/896.52	c   nodes (total)    : 279683
893.75/896.52	c Solution           :
893.75/896.52	c   Solutions found  : 21
893.75/896.52	c   Primal Bound     : +2.00000000000000e+00
893.75/896.52	c   Dual Bound       : +2.00000000000000e+00
893.75/896.52	c Gap                : 0.00000 %
893.75/896.54	o 2
893.75/896.54	s OPTIMUM FOUND
893.75/896.54	v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 
893.75/896.54	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
893.75/896.54	v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
893.75/896.54	v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 
893.75/896.54	v -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 
893.75/896.54	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 
893.75/896.54	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 
893.75/896.54	v -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 
893.75/896.54	v x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 x30 -x29 
893.75/896.54	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 
893.75/896.54	v -x1

Verifier Data 

OK	2

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (49195 MiB free)
  memory of node 1: 64473 MiB (53176 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456117-1721718414/watcher-4456117-1721718414 -o /tmp/evaluation-result-4456117-1721718414/solver-4456117-1721718414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721718414-86211 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4456117-1721718414.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=86270, runsolver pid=86260
Current StackSize limit: 8192 KiB


[startup+0.100774 s]*
/proc/loadavg: 1.48 1.86 2.00 8/259 86277
/proc/meminfo: memFree=104713660/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=50316 memory=39012 CPUtime=0.09 cores=4,6
/proc/86270/stat : 86270 (fscip) R 86260 86270 86200 0 -1 4194304 7375 0 0 0 9 0 0 0 20 0 1 0 8369684 51523584 9753 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 12579 9753 2622 3032 0 8979 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50316 KiB
Current children cumulated memory: 39012 KiB

[startup+0.206313 s]*
/proc/loadavg: 1.48 1.86 2.00 6/259 86277
/proc/meminfo: memFree=104711556/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=50812 memory=39276 CPUtime=0.19 cores=4,6
/proc/86270/stat : 86270 (fscip) R 86260 86270 86200 0 -1 4194304 7471 0 0 0 19 0 0 0 20 0 1 0 8369684 52031488 9819 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 12703 9819 2622 3032 0 9103 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 50812 KiB
Current children cumulated memory: 39276 KiB

[startup+0.306451 s]*
/proc/loadavg: 1.48 1.86 2.00 8/259 86277
/proc/meminfo: memFree=104710996/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=50812 memory=39276 CPUtime=0.29 cores=4,6
/proc/86270/stat : 86270 (fscip) R 86260 86270 86200 0 -1 4194304 7471 0 0 0 29 0 0 0 20 0 1 0 8369684 52031488 9819 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 12703 9819 2622 3032 0 9103 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 50812 KiB
Current children cumulated memory: 39276 KiB

[startup+0.700217 s]
/proc/loadavg: 1.48 1.86 2.00 8/259 86277
/proc/meminfo: memFree=104708488/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=52356 memory=40860 CPUtime=0.69 cores=4,6
/proc/86270/stat : 86270 (fscip) R 86260 86270 86200 0 -1 4194304 7855 0 0 0 68 1 0 0 20 0 1 0 8369684 53612544 10215 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 13089 10215 2622 3032 0 9489 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52356 KiB
Current children cumulated memory: 40860 KiB

[startup+1.5002 s]
/proc/loadavg: 1.48 1.86 2.00 7/259 86277
/proc/meminfo: memFree=104703244/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=53384 memory=41916 CPUtime=1.48 cores=4,6
/proc/86270/stat : 86270 (fscip) R 86260 86270 86200 0 -1 4194304 8116 0 0 0 147 1 0 0 20 0 1 0 8369684 54665216 10479 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 13346 10479 2622 3032 0 9746 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53384 KiB
Current children cumulated memory: 41916 KiB

[startup+3.10636 s]
/proc/loadavg: 1.48 1.86 2.00 7/267 86287
/proc/meminfo: memFree=104463124/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=150616 memory=92340 CPUtime=3.08 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 26132 0 0 0 304 4 0 0 20 0 3 0 8369684 154230784 23085 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 37654 23085 2830 3032 0 28729 0
[pid=86270/tid=86283] ppid=86260 vsize=150616 memory=0 CPUtime=1.36 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 15842 0 0 0 134 2 0 0 20 0 3 0 8369856 154230784 23085 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=150616 memory=81160 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 8369858 154230784 23085 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 150616 KiB
Current children cumulated memory: 92340 KiB

[startup+6.30022 s]
/proc/loadavg: 1.84 1.93 2.02 8/267 86287
/proc/meminfo: memFree=104342100/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=150616 memory=107964 CPUtime=6.26 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 32365 0 0 0 622 4 0 0 20 0 3 0 8369684 154230784 26991 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 37654 26991 2974 3032 0 32899 0
[pid=86270/tid=86283] ppid=86260 vsize=150616 memory=79312 CPUtime=4.54 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 21540 0 0 0 451 3 0 0 20 0 3 0 8369856 154230784 26991 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=150616 memory=41916 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 8369858 154230784 26991 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 150616 KiB
Current children cumulated memory: 107964 KiB

[startup+12.7002 s]
/proc/loadavg: 2.02 1.96 2.03 7/267 86288
/proc/meminfo: memFree=104180624/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=216152 memory=164360 CPUtime=12.65 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 76354 0 0 0 1257 8 0 0 20 0 3 0 8369684 221339648 41090 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 54038 41090 2990 3032 0 47538 0
[pid=86270/tid=86283] ppid=86260 vsize=216152 memory=164100 CPUtime=10.92 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 64312 0 0 0 1086 6 0 0 20 0 3 0 8369856 221339648 41090 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=216152 memory=11548 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 8369858 221339648 41090 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 216152 KiB
Current children cumulated memory: 164360 KiB

[startup+25.5003 s]
/proc/loadavg: 2.53 2.08 2.07 8/267 86290
/proc/meminfo: memFree=104174940/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=216152 memory=166396 CPUtime=25.41 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 109789 0 0 0 2530 11 0 0 20 0 3 0 8369684 221339648 41599 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 54038 41599 3310 3032 0 47538 0
[pid=86270/tid=86283] ppid=86260 vsize=216152 memory=166352 CPUtime=23.68 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 97201 0 0 0 2359 9 0 0 20 0 3 0 8369856 221339648 41599 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=216152 memory=166348 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 8369858 221339648 41599 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 216152 KiB
Current children cumulated memory: 166396 KiB

[startup+51.1067 s]
/proc/loadavg: 3.03 2.24 2.12 8/267 86293
/proc/meminfo: memFree=103999248/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=281688 memory=192248 CPUtime=50.93 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 172948 0 0 0 5077 16 0 0 20 0 3 0 8369684 288448512 48062 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 70422 48062 3310 3032 0 53636 0
[pid=86270/tid=86283] ppid=86260 vsize=281688 memory=191760 CPUtime=49.2 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 160252 0 0 0 4906 14 0 0 20 0 3 0 8369856 288448512 48062 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=281688 memory=4638778398332895336 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 8369858 288448512 48062 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 281688 KiB
Current children cumulated memory: 192248 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 2.52 2.23 8/267 86303
/proc/meminfo: memFree=103869212/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=281688 memory=232004 CPUtime=101.99 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 270284 0 0 0 10176 23 0 0 20 0 3 0 8369684 288448512 58001 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 70422 58001 3310 3032 0 63574 0
[pid=86270/tid=86283] ppid=86260 vsize=281688 memory=231068 CPUtime=100.26 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 257484 0 0 0 10005 21 0 0 20 0 3 0 8369856 288448512 58001 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=281688 memory=230984 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 8369858 288448512 58001 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 281688 KiB
Current children cumulated memory: 232004 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 2.83 2.35 8/267 86314
/proc/meminfo: memFree=103741456/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=372408 memory=277776 CPUtime=161.82 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 340210 0 0 0 16150 32 0 0 20 0 3 0 8369684 381345792 69444 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 93102 69444 3310 3032 0 75346 0
[pid=86270/tid=86283] ppid=86260 vsize=372408 memory=252124 CPUtime=160.08 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 326876 0 0 0 15978 30 0 0 20 0 3 0 8369856 381345792 69444 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=372408 memory=241676 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 8369858 381345792 69444 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 372408 KiB
Current children cumulated memory: 277776 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 3.04 2.46 8/264 86324
/proc/meminfo: memFree=103639952/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=392232 memory=314796 CPUtime=221.65 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 384525 0 0 0 22122 43 0 0 20 0 3 0 8369684 401645568 78699 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 98058 78699 3310 3032 0 85701 0
[pid=86270/tid=86283] ppid=86260 vsize=392232 memory=300764 CPUtime=219.91 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 371161 0 0 0 21950 41 0 0 20 0 3 0 8369856 401645568 78699 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=392232 memory=314156 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 8369858 401645568 78699 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 392232 KiB
Current children cumulated memory: 314796 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.25 2.57 6/266 86388
/proc/meminfo: memFree=103683220/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=401228 memory=330472 CPUtime=281.46 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 428033 0 0 0 28095 51 0 0 20 0 3 0 8369684 410857472 82618 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0

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

/proc/86270/statm: 143312 127294 3310 3032 0 132269 0
[pid=86270/tid=86283] ppid=86260 vsize=573248 memory=509176 CPUtime=758.2 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 604651 0 0 0 75724 96 0 0 20 0 3 0 8369856 587005952 127294 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=573248 memory=33272 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 8369858 587005952 127294 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 759.98 s
Current children cumulated vsize: 573248 KiB
Current children cumulated memory: 509176 KiB

[startup+822.3 s]
/proc/loadavg: 4.18 4.06 3.32 5/259 86624
/proc/meminfo: memFree=99751412/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=605336 memory=528560 CPUtime=819.79 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 644492 0 0 0 81871 108 0 0 20 0 3 0 8369684 619864064 132140 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 151334 132140 3310 3032 0 140291 0
[pid=86270/tid=86283] ppid=86260 vsize=605336 memory=509176 CPUtime=817.99 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 630127 0 0 0 81695 104 0 0 20 0 3 0 8369856 619864064 132140 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=605336 memory=528476 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 68 0 0 0 0 0 0 0 20 0 3 0 8369858 619864064 132140 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 819.79 s
Current children cumulated vsize: 605336 KiB
Current children cumulated memory: 528560 KiB

[startup+882.3 s]
/proc/loadavg: 4.14 4.07 3.37 5/261 86639
/proc/meminfo: memFree=99732816/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=605336 memory=536752 CPUtime=879.6 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 677654 0 0 0 87841 119 0 0 20 0 3 0 8369684 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 151334 134188 3310 3032 0 140291 0
[pid=86270/tid=86283] ppid=86260 vsize=605336 memory=509176 CPUtime=877.81 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 663273 0 0 0 87666 115 0 0 20 0 3 0 8369856 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=605336 memory=17908 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 8369858 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 879.6 s
Current children cumulated vsize: 605336 KiB
Current children cumulated memory: 536752 KiB

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

# cumulated CPU time of all completed processes:  user=892.576 s, system=1.23329 s

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

[startup+883.2 s]
/proc/loadavg: 4.14 4.07 3.37 5/259 86639
/proc/meminfo: memFree=99732864/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=605336 memory=536752 CPUtime=880.5 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 677666 0 0 0 87931 119 0 0 20 0 3 0 8369684 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 151334 134188 3310 3032 0 140291 0
[pid=86270/tid=86283] ppid=86260 vsize=605336 memory=33272 CPUtime=878.7 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 663285 0 0 0 87755 115 0 0 20 0 3 0 8369856 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=605336 memory=11548 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 8369858 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 880.5 s
Current children cumulated vsize: 605336 KiB
Current children cumulated memory: 536752 KiB

[startup+889.6 s]
/proc/loadavg: 4.13 4.06 3.37 5/260 86640
/proc/meminfo: memFree=99732748/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=605336 memory=536752 CPUtime=886.87 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 677921 0 0 0 88567 120 0 0 20 0 3 0 8369684 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 151334 134188 3310 3032 0 140291 0
[pid=86270/tid=86283] ppid=86260 vsize=605336 memory=26372 CPUtime=885.06 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 663539 0 0 0 88391 115 0 0 20 0 3 0 8369856 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=605336 memory=536752 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 8369858 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 886.87 s
Current children cumulated vsize: 605336 KiB
Current children cumulated memory: 536752 KiB

[startup+892.8 s]
/proc/loadavg: 4.12 4.06 3.38 5/260 86642
/proc/meminfo: memFree=99732584/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=605336 memory=536752 CPUtime=890.06 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 678326 0 0 0 88885 121 0 0 20 0 3 0 8369684 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 151334 134188 3310 3032 0 140291 0
[pid=86270/tid=86283] ppid=86260 vsize=605336 memory=33272 CPUtime=888.25 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 663944 0 0 0 88709 116 0 0 20 0 3 0 8369856 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=605336 memory=11548 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 8369858 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 890.06 s
Current children cumulated vsize: 605336 KiB
Current children cumulated memory: 536752 KiB

[startup+894.4 s]
/proc/loadavg: 4.12 4.06 3.38 5/260 86642
/proc/meminfo: memFree=99732572/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=605336 memory=536752 CPUtime=891.66 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 678346 0 0 0 89044 122 0 0 20 0 3 0 8369684 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 151334 134188 3310 3032 0 140291 0
[pid=86270/tid=86283] ppid=86260 vsize=605336 memory=536752 CPUtime=889.85 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 663964 0 0 0 88868 117 0 0 20 0 3 0 8369856 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=605336 memory=7815293531173759824 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 8369858 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 891.66 s
Current children cumulated vsize: 605336 KiB
Current children cumulated memory: 536752 KiB

[startup+895.2 s]
/proc/loadavg: 4.12 4.06 3.38 5/260 86642
/proc/meminfo: memFree=99732540/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=605336 memory=536752 CPUtime=892.46 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 678355 0 0 0 89124 122 0 0 20 0 3 0 8369684 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 151334 134188 3310 3032 0 140291 0
[pid=86270/tid=86283] ppid=86260 vsize=605336 memory=11548 CPUtime=890.65 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 663973 0 0 0 88948 117 0 0 20 0 3 0 8369856 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=605336 memory=33272 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 8369858 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 892.46 s
Current children cumulated vsize: 605336 KiB
Current children cumulated memory: 536752 KiB

[startup+896 s]*
/proc/loadavg: 4.11 4.06 3.38 5/260 86642
/proc/meminfo: memFree=99732532/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=605336 memory=536752 CPUtime=893.26 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 678362 0 0 0 89204 122 0 0 20 0 3 0 8369684 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 151334 134188 3310 3032 0 140291 0
[pid=86270/tid=86283] ppid=86260 vsize=605336 memory=-6000919481363490407 CPUtime=891.45 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 663980 0 0 0 89028 117 0 0 20 0 3 0 8369856 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=605336 memory=-5155633680935826750 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 8369858 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 893.26 s
Current children cumulated vsize: 605336 KiB
Current children cumulated memory: 536752 KiB

[startup+896.4 s]
/proc/loadavg: 4.11 4.06 3.38 5/260 86642
/proc/meminfo: memFree=99732532/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=605336 memory=536752 CPUtime=893.65 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 678378 0 0 0 89243 122 0 0 20 0 3 0 8369684 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 151334 134188 3310 3032 0 140291 0
[pid=86270/tid=86283] ppid=86260 vsize=605336 memory=-7522812946596062842 CPUtime=891.84 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 663996 0 0 0 89067 117 0 0 20 0 3 0 8369856 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=605336 memory=2132 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 8369858 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 893.65 s
Current children cumulated vsize: 605336 KiB
Current children cumulated memory: 536752 KiB

[startup+896.5 s]
/proc/loadavg: 4.11 4.06 3.38 5/260 86642
/proc/meminfo: memFree=99732532/131524600 swapFree=131071996/131071996
[pid=86270] ppid=86260 vsize=605336 memory=536752 CPUtime=893.75 cores=4,6
/proc/86270/stat : 86270 (fscip) S 86260 86270 86200 0 -1 1077936128 678645 0 0 0 89253 122 0 0 20 0 3 0 8369684 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
/proc/86270/statm: 151334 134188 3310 3032 0 140291 0
[pid=86270/tid=86283] ppid=86260 vsize=605336 memory=509176 CPUtime=891.94 cores=4,6
/proc/86270/task/86283/stat : 86283 (fscip) R 86260 86270 86200 0 -1 4194368 664263 0 0 0 89077 117 0 0 20 0 3 0 8369856 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
[pid=86270/tid=86285] ppid=86260 vsize=605336 memory=33272 CPUtime=0 cores=4,6
/proc/86270/task/86285/stat : 86285 (fscip) S 86260 86270 86200 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 8369858 619864064 134188 134679101440 4194304 16613245 140731698386224 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 34357248 140731698390040 140731698390156 140731698390156 140731698397168 0
Current children cumulated CPU time: 893.75 s
Current children cumulated vsize: 605336 KiB
Current children cumulated memory: 536752 KiB

Child status: 0

Real time (s): 896.546
CPU time (s): 893.81
CPU user time (s): 892.576
CPU system time (s): 1.23329
CPU usage (%): 99.6948
Max. virtual memory (cumulated for all children) (KiB): 605336
Max. memory (cumulated for all children) (KiB): 536752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 892.576
system time used= 1.23329
maximum resident set size= 536752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 678957
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= 3417
involuntary context switches= 865


# summary of solver processes directly reported to runsolver:
#   pid: 86270
#   total CPU time (s): 893.81
#   total CPU user time (s): 892.576
#   total CPU system time (s): 1.23329

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.90255 second user time and 4.8805 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-23 09:06:54
IDJOB=4456117
IDBENCH=143218
IDSOLVER=3044
FILE ID=nodeC018/4456117-1721718414
RUNJOBID= nodeC018-1721718414-86211
SLURM_JOB_ID= 7770409
Free space on /tmp= 890072 MiB

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

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

MD5SUM BENCH= c80b6180d98478604df0f17e55c6d3fe
RANDOM SEED=170537521

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        104830700 kB
MemAvailable:   129773096 kB
Buffers:          140784 kB
Cached:         25530080 kB
SwapCached:            0 kB
Active:           913936 kB
Inactive:       25020692 kB
Active(anon):       1432 kB
Inactive(anon):   300140 kB
Active(file):     912504 kB
Inactive(file): 24720552 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            113000 kB
Writeback:             8 kB
AnonPages:        261844 kB
Mapped:            99624 kB
Shmem:             37712 kB
KReclaimable:     298328 kB
Slab:             405460 kB
SReclaimable:     298328 kB
SUnreclaim:       107132 kB
KernelStack:        3888 kB
PageTables:         9352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     617084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19616 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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:      281300 kB
DirectMap2M:    24657920 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC018 at 2024-07-23 09:21:51