Trace number 4464340

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-30? 2139.27 2146.04

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob1.opb
MD5SUM471fd854f2c30bf1b2104c39e43ffd70
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.198066
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables77
Total number of constraints2
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint77
Maximum length of a constraint77
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 33367336
Number of bits of the biggest number in a constraint 25
Biggest sum of numbers in a constraint 458257453
Number of bits of the biggest sum of numbers29
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.00	c Default LC presolving (default).
0.00/0.00	c ** Before presolving: virtualMemUsedAtLc = 22409216, getVmSize() = 22409216, SCIPgetMemUsed() = 746249, SCIPgetMemTotal() = 903833, SCIPgetMemExternEstim() = 1048576
0.00/0.00	c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00	c ** Estimated virtualMemUsedAtSolver = 15450112, getVmSize() = 23941120, SCIPgetMemUsed() = 876944, SCIPgetMemTotal() = 1433728, SCIPgetMemExternEstim() = 1048576
0.00/0.00	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00	c Original Problem   :
0.00/0.00	c   Problem name     : instance-4464340-1722379155
0.00/0.00	c   Variables        : 77 (77 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00	c   Constraints      : 2
0.00/0.00	c   Objective sense  : minimize
0.00/0.00	c Presolved Problem  :
0.00/0.00	c   Variables        : 77 (77 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00	c   Constraints      : 2
0.00/0.00	c Constraints        : Number
0.00/0.00	c   linear           : 2 
0.00/0.00	c ** Instance transfer method used: 0
0.00/0.00	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.00	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.00	c                                Nodes    Active                                            
0.00/0.00	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
4.97/5.08	c         5          46989        3999         1                -           0.0000          -
10.07/10.13	c        10          95144        7708         1                -           0.0000          -
15.05/15.18	c        15         153531       11925         1                -           0.0000          -
20.12/20.22	c        20         206257       15410         1                -           0.0000          -
25.10/25.27	c        25         261003       18920         1                -           0.0000          -
30.19/30.32	c        30         316170       22381         1                -           0.0000          -
35.16/35.37	c        35         369304       26224         1                -           0.0000          -
40.25/40.42	c        40         423605       29547         1                -           0.0000          -
45.23/45.47	c        45         477479       32667         1                -           0.0000          -
50.31/50.52	c        51         529795       35551         1                -           0.0000          -
55.30/55.57	c        56         583936       38292         1                -           0.0000          -
60.38/60.62	c        61         640386       41024         1                -           0.0000          -
65.37/65.66	c        66         693358       43302         1                -           0.0000          -
70.45/70.71	c        71         746130       45509         1                -           0.0000          -
75.43/75.76	c        76         801188       47793         1                -           0.0000          -
80.51/80.81	c        81         859585       51132         1                -           0.0000          -
85.50/85.86	c        86         910457       53300         1                -           0.0000          -
90.58/90.91	c        91         973379       56098         1                -           0.0000          -
95.57/95.96	c        96        1030327       58504         1                -           0.0000          -
100.65/101.01	c       101        1084344       60657         1                -           0.0000          -
105.63/106.06	c       106        1136998       64645         1                -           0.0000          -
110.71/111.11	c       111        1189462       68089         1                -           0.0000          -
115.70/116.16	c       116        1238850       71349         1                -           0.0000          -
120.77/121.21	c       121        1291129       74075         1                -           0.0000          -
125.76/126.26	c       126        1344771       77698         1                -           0.0000          -
130.85/131.31	c       131        1396849       80558         1                -           0.0000          -
135.83/136.36	c       136        1451537       83514         1                -           0.0000          -
140.91/141.41	c       141        1506138       86298         1                -           0.0000          -
145.89/146.46	c       146        1559070       88815         1                -           0.0000          -
150.98/151.51	c       152        1613942       91902         1                -           0.0000          -
155.96/156.56	c       157        1668560       94826         1                -           0.0000          -
161.04/161.61	c       162        1723355       97915         1                -           0.0000          -
166.02/166.66	c       167        1778586      100736         1                -           0.0000          -
171.11/171.71	c       172        1833161      102911         1                -           0.0000          -
176.09/176.77	c       177        1885867      105169         1                -           0.0000          -
181.18/181.82	c       182        1940684      107177         1                -           0.0000          -
186.16/186.87	c       187        1995431      109792         1                -           0.0000          -
191.25/191.92	c       192        2048117      112008         1                -           0.0000          -
196.23/196.97	c       197        2103803      114539         1                -           0.0000          -
201.32/202.02	c       202        2158359      117095         1                -           0.0000          -
206.30/207.07	c       207        2216529      119811         1                -           0.0000          -
211.38/212.12	c       212        2267750      122040         1                -           0.0000          -
216.37/217.17	c       217        2319907      124735         1                -           0.0000          -
221.44/222.22	c       222        2370579      127316         1                -           0.0000          -
226.43/227.27	c       227        2429192      129941         1                -           0.0000          -
231.51/232.32	c       232        2482439      132189         1                -           0.0000          -
236.50/237.38	c       237        2538822      134478         1                -           0.0000          -
241.57/242.43	c       242        2589851      136855         1                -           0.0000          -
246.56/247.48	c       247        2648622      139572         1                -           0.0000          -
251.65/252.53	c       253        2701853      142557         1                -           0.0000          -
256.63/257.58	c       258        2757802      144654         1                -           0.0000          -
261.72/262.64	c       263        2813209      146977         1                -           0.0000          -
266.70/267.69	c       268        2871950      149518         1                -           0.0000          -
271.78/272.74	c       273        2927774      151659         1                -           0.0000          -
276.77/277.79	c       278        2982816      153945         1                -           0.0000          -
281.85/282.84	c       283        3040102      156395         1                -           0.0000          -
286.83/287.89	c       288        3098681      158946         1                -           0.0000          -
291.91/292.94	c       293        3152969      161328         1                -           0.0000          -
296.90/297.99	c       298        3202624      164292         1                -           0.0000          -
301.99/303.04	c       303        3263609      167073         1                -           0.0000          -
307.07/308.16	c       308        3319638      170880         1                -           0.0000          -
312.15/313.24	c       313        3370805      173547         1                -           0.0000          -
317.14/318.29	c       318        3428623      175831         1                -           0.0000          -
322.21/323.39	c       323        3488141      178745         1                -           0.0000          -
327.29/328.44	c       328        3556412      181798         1                -           0.0000          -
332.28/333.49	c       334        3622894      185034         1                -           0.0000          -
337.36/338.55	c       339        3685353      188045         1                -           0.0000          -
342.44/343.60	c       344        3747518      190927         1                -           0.0000          -
347.42/348.65	c       349        3804364      192929         1                -           0.0000          -
352.50/353.70	c       354        3859451      195428         1                -           0.0000          -
357.49/358.75	c       359        3911265      197478         1                -           0.0000          -
362.57/363.80	c       364        3968925      200156         1                -           0.0000          -
367.56/368.85	c       369        4026459      202406         1                -           0.0000          -
372.65/373.93	c       374        4086577      205564         1                -           0.0000          -
377.62/378.98	c       379        4144204      208252         1                -           0.0000          -
382.71/384.03	c       384        4197910      210548         1                -           0.0000          -
387.80/389.14	c       389        4253648      212668         1                -           0.0000          -
392.88/394.29	c       394        4305218      217120         1                -           0.0000          -
397.97/399.33	c       399        4361862      221748         1                -           0.0000          -
402.95/404.38	c       404        4420640      224497         1                -           0.0000          -
408.03/409.43	c       409        4479352      227085         1                -           0.0000          -
413.11/414.51	c       415        4536738      229681         1                -           0.0000          -
418.09/419.56	c       420        4593012      232649         1                -           0.0000          -
423.18/424.61	c       425        4656783      235024         1                -           0.0000          -
428.16/429.68	c       430        4712612      237676         1                -           0.0000          -
433.25/434.72	c       435        4771686      239607         1                -           0.0000          -
438.23/439.79	c       440        4834483      242344         1                -           0.0000          -
443.32/444.84	c       445        4887010      244587         1                -           0.0000          -
448.30/449.89	c       450        4945045      247106         1                -           0.0000          -
453.38/454.94	c       455        4998673      249641         1                -           0.0000          -
458.37/459.99	c       460        5060638      252082         1                -           0.0000          -
463.45/465.04	c       465        5116935      254593         1                -           0.0000          -
468.44/470.09	c       470        5174726      257294         1                -           0.0000          -
473.52/475.14	c       475        5229085      259185         1                -           0.0000          -
478.51/480.19	c       480        5283420      261381         1                -           0.0000          -
483.59/485.27	c       485        5338431      263788         1                -           0.0000          -
488.67/490.32	c       490        5390295      266304         1                -           0.0000          -
493.76/495.41	c       495        5450387      268694         1                -           0.0000          -
498.73/500.49	c       500        5502631      270706         1                -           0.0000          -
503.92/505.69	c       506        5559240      273186         1                -           0.0000          -
509.11/510.80	c       511        5613529      275754         1                -           0.0000          -
514.09/515.87	c       516        5670741      277886         1                -           0.0000          -
519.17/520.92	c       521        5732723      280742         1                -           0.0000          -
524.16/525.97	c       526        5783987      282872         1                -           0.0000          -
529.24/531.02	c       531        5836551      285216         1                -           0.0000          -
534.23/536.07	c       536        5892878      287426         1                -           0.0000          -
539.40/541.20	c       541        5947215      289555         1                -           0.0000          -
544.39/546.27	c       546        6005280      291840         1                -           0.0000          -
549.48/551.33	c       551        6061444      294535         1                -           0.0000          -
554.47/556.38	c       556        6118810      297041         1                -           0.0000          -
559.54/561.43	c       561        6177227      299460         1                -           0.0000          -
564.53/566.48	c       566        6235639      301615         1                -           0.0000          -
569.61/571.53	c       572        6293853      305605         1                -           0.0000          -
574.70/576.64	c       577        6341655      309399         1                -           0.0000          -
579.68/581.69	c       582        6396721      311657         1                -           0.0000          -
584.77/586.74	c       587        6454738      313952         1                -           0.0000          -
589.75/591.79	c       592        6515291      317751         1                -           0.0000          -
594.84/596.88	c       597        6574264      320111         1                -           0.0000          -
599.92/601.93	c       602        6633232      322055         1                -           0.0000          -
604.91/606.98	c       607        6691411      324143         1                -           0.0000          -
609.99/612.04	c       612        6741273      326283         1                -           0.0000          -
615.17/617.20	c       617        6795965      328561         1                -           0.0000          -
620.16/622.25	c       622        6859720      331224         1                -           0.0000          -
625.23/627.30	c       627        6915060      333205         1                -           0.0000          -
630.22/632.39	c       632        6974380      335897         1                -           0.0000          -
635.29/637.43	c       637        7029489      337984         1                -           0.0000          -
640.28/642.48	c       642        7083992      340154         1                -           0.0000          -
645.36/647.53	c       648        7140141      342351         1                -           0.0000          -
650.35/652.59	c       653        7190432      344572         1                -           0.0000          -
655.42/657.64	c       658        7244506      346450         1                -           0.0000          -
660.51/662.72	c       663        7300531      349041         1                -           0.0000          -
665.50/667.77	c       668        7357912      351096         1                -           0.0000          -
670.58/672.83	c       673        7409491      353600         1                -           0.0000          -
675.56/677.88	c       678        7467095      355852         1                -           0.0000          -
680.65/682.93	c       683        7534303      358456         1                -           0.0000          -
685.74/688.05	c       688        7605214      360877         1                -           0.0000          -
690.82/693.14	c       693        7665074      363521         1                -           0.0000          -
695.80/698.19	c       698        7728739      366336         1                -           0.0000          -
700.89/703.24	c       703        7784006      368644         1                -           0.0000          -
705.87/708.29	c       708        7845873      371075         1                -           0.0000          -
710.95/713.36	c       713        7900530      373154         1                -           0.0000          -
716.04/718.42	c       718        7964891      376831         1                -           0.0000          -
721.02/723.47	c       723        8033271      381371         1                -           0.0000          -
726.11/728.52	c       729        8096169      384505         1                -           0.0000          -
731.09/733.57	c       734        8148692      386799         1                -           0.0000          -
736.17/738.62	c       739        8209004      388898         1                -           0.0000          -
741.36/743.84	c       744        8264368      390898         1                -           0.0000          -
746.34/748.89	c       749        8315973      393229         1                -           0.0000          -
751.42/753.94	c       754        8369238      395535         1                -           0.0000          -
756.41/758.99	c       759        8429097      398177         1                -           0.0000          -
761.50/764.04	c       764        8483955      400727         1                -           0.0000          -
766.58/769.10	c       769        8539712      402745         1                -           0.0000          -
771.57/774.15	c       774        8599411      405350         1                -           0.0000          -
776.74/779.38	c       779        8657170      407345         1                -           0.0000          -
781.84/784.44	c       784        8714332      409743         1                -           0.0000          -
786.82/789.49	c       790        8774331      412055         1                -           0.0000          -
791.90/794.54	c       795        8837685      414755         1                -           0.0000          -
796.88/799.59	c       800        8898552      417160         1                -           0.0000          -
801.97/804.69	c       805        8951437      420816         1                -           0.0000          -
807.06/809.74	c       810        9014320      423095         1                -           0.0000          -
812.03/814.79	c       815        9074528      425227         1                -           0.0000          -
817.12/819.84	c       820        9113022      427077         1                -           0.0000          -
822.41/825.10	c       825        9169270      429637         1                -           0.0000          -
827.40/830.15	c       830        9227869      432370         1                -           0.0000          -
832.47/835.20	c       835        9276657      434460         1                -           0.0000          -
837.46/840.25	c       840        9331420      436889         1                -           0.0000          -
842.54/845.30	c       845        9371964      438693         1                -           0.0000          -
847.53/850.35	c       850        9424529      440171         1                -           0.0000          -
852.61/855.47	c       855        9479180      442178         1                -           0.0000          -
857.80/860.60	c       861        9527481      444389         1                -           0.0000          -
862.78/865.65	c       866        9586860      446556         1                -           0.0000          -
867.86/870.73	c       871        9644862      448826         1                -           0.0000          -
873.05/875.93	c       876        9693688      450884         1                -           0.0000          -
878.03/880.98	c       881        9736602      452844         1                -           0.0000          -
883.12/886.03	c       886        9795476      455258         1                -           0.0000          -
888.10/891.08	c       891        9855398      457680         1                -           0.0000          -
893.19/896.17	c       896        9911611      460171         1                -           0.0000          -
898.27/901.26	c       901        9965666      462826         1                -           0.0000          -
903.35/906.34	c       906       10022369      465243         1                -           0.0000          -
908.34/911.39	c       911       10082726      467948         1                -           0.0000          -
913.42/916.44	c       916       10143839      470481         1                -           0.0000          -
918.41/921.49	c       922       10205233      472477         1                -           0.0000          -
923.59/926.62	c       927       10261266      474675         1                -           0.0000          -
928.57/931.67	c       932       10317399      476522         1                -           0.0000          -
933.66/936.72	c       937       10375908      478923         1                -           0.0000          -
938.65/941.77	c       942       10436283      481516         1                -           0.0000          -
943.73/946.82	c       947       10495296      483849         1                -           0.0000          -
948.81/951.97	c       952       10549633      486159         1                -           0.0000          -
953.90/957.02	c       957       10601096      488005         1                -           0.0000          -
958.88/962.07	c       962       10655906      489989         1                -           0.0000          -
963.97/967.12	c       967       10708314      491905         1                -           0.0000          -
969.05/972.21	c       972       10762460      493926         1                -           0.0000          -
974.03/977.26	c       977       10815505      496153         1                -           0.0000          -
979.22/982.42	c       982       10876088      498438         1                -           0.0000          -
984.20/987.47	c       987       10928764      500882         1                -           0.0000          -
989.29/992.52	c       993       10990653      504291         1                -           0.0000          -
994.28/997.59	c       998       11051403      506447         1                -           0.0000          -
999.36/1002.64	c      1003       11110003      509111         1                -           0.0000          -
1004.34/1007.69	c      1008       11168793      511759         1                -           0.0000          -
1009.52/1012.82	c      1013       11226825      514015         1                -           0.0000          -
1014.51/1017.87	c      1018       11281853      517121         1                -           0.0000          -
1019.59/1022.91	c      1023       11334735      519190         1                -           0.0000          -
1024.78/1028.14	c      1028       11389843      521862         1                -           0.0000          -
1029.77/1033.19	c      1033       11446185      523714         1                -           0.0000          -
1034.84/1038.24	c      1038       11499130      525439         1                -           0.0000          -
1039.83/1043.29	c      1043       11559223      527622         1                -           0.0000          -
1044.91/1048.35	c      1048       11611938      530097         1                -           0.0000          -
1049.88/1053.39	c      1053       11681953      533270         1                -           0.0000          -
1054.97/1058.44	c      1058       11738133      535707         1                -           0.0000          -
1059.95/1063.49	c      1064       11792850      537596         1                -           0.0000          -
1065.04/1068.54	c      1069       11852872      540272         1                -           0.0000          -
1070.02/1073.59	c      1074       11909161      542599         1                -           0.0000          -
1075.11/1078.64	c      1079       11969512      544742         1                -           0.0000          -
1080.20/1083.71	c      1084       12018461      547181         1                -           0.0000          -
1085.18/1088.76	c      1089       12073303      550729         1                -           0.0000          -
1090.26/1093.82	c      1094       12126028      553070         1                -           0.0000          -
1095.25/1098.88	c      1099       12183901      554969         1                -           0.0000          -
1100.33/1103.93	c      1104       12238889      556923         1                -           0.0000          -
1105.31/1108.98	c      1109       12288864      559309         1                -           0.0000          -
1110.59/1114.24	c      1114       12341175      561290         1                -           0.0000          -
1115.58/1119.29	c      1119       12394081      563340         1                -           0.0000          -
1120.66/1124.39	c      1124       12455429      566200         1                -           0.0000          -
1125.75/1129.44	c      1129       12510855      568095         1                -           0.0000          -
1130.73/1134.49	c      1134       12551325      569995         1                -           0.0000          -
1135.92/1139.69	c      1140       12599377      572551         1                -           0.0000          -
1141.00/1144.74	c      1145       12659948      575386         1                -           0.0000          -
1146.08/1149.82	c      1150       12720264      577398         1                -           0.0000          -
1151.17/1154.99	c      1155       12775303      579492         1                -           0.0000          -
1156.45/1160.28	c      1160       12818943      583884         1                -           0.0000          -
1161.53/1165.33	c      1165       12876091      586993         1                -           0.0000          -
1166.52/1170.38	c      1170       12931791      589042         1                -           0.0000          -
1171.61/1175.47	c      1175       12977330      591223         1                -           0.0000          -
1176.68/1180.54	c      1181       13020986      593361         1                -           0.0000          -
1181.77/1185.62	c      1186       13068026      595065         1                -           0.0000          -
1186.85/1190.71	c      1191       13112345      597117         1                -           0.0000          -
1191.84/1195.76	c      1196       13159050      598540         1                -           0.0000          -
1196.92/1200.81	c      1201       13211126      600160         1                -           0.0000          -
1201.91/1205.86	c      1206       13259098      602263         1                -           0.0000          -
1206.99/1210.91	c      1211       13311654      604157         1                -           0.0000          -
1211.98/1215.98	c      1216       13360894      605955         1                -           0.0000          -
1217.07/1221.03	c      1221       13411561      608108         1                -           0.0000          -
1222.06/1226.08	c      1226       13462260      609737         1                -           0.0000          -
1227.14/1231.13	c      1231       13512319      611489         1                -           0.0000          -
1232.12/1236.19	c      1236       13564292      613062         1                -           0.0000          -
1237.21/1241.24	c      1241       13624578      615612         1                -           0.0000          -
1242.18/1246.29	c      1246       13680373      617307         1                -           0.0000          -
1247.27/1251.34	c      1251       13733083      619775         1                -           0.0000          -
1252.36/1256.48	c      1256       13790466      621448         1                -           0.0000          -
1257.45/1261.53	c      1262       13840126      623142         1                -           0.0000          -
1262.63/1266.71	c      1267       13896010      626112         1                -           0.0000          -
1267.61/1271.78	c      1272       13939274      627724         1                -           0.0000          -
1272.69/1276.83	c      1277       13992270      629862         1                -           0.0000          -
1277.68/1281.88	c      1282       14041676      631862         1                -           0.0000          -
1282.88/1287.08	c      1287       14105671      634185         1                -           0.0000          -
1287.96/1292.13	c      1292       14160468      635997         1                -           0.0000          -
1293.04/1297.24	c      1297       14216135      637954         1                -           0.0000          -
1298.02/1302.29	c      1302       14271940      639838         1                -           0.0000          -
1303.30/1307.59	c      1308       14330530      642032         1                -           0.0000          -
1308.39/1312.64	c      1313       14383689      644215         1                -           0.0000          -
1313.37/1317.69	c      1318       14435481      645925         1                -           0.0000          -
1318.46/1322.74	c      1323       14494399      647898         1                -           0.0000          -
1323.44/1327.79	c      1328       14554315      650192         1                -           0.0000          -
1328.53/1332.86	c      1333       14608409      652128         1                -           0.0000          -
1333.61/1337.91	c      1338       14667416      654311         1                -           0.0000          -
1338.70/1343.02	c      1343       14728466      656463         1                -           0.0000          -
1343.69/1348.09	c      1348       14778113      658530         1                -           0.0000          -
1348.77/1353.14	c      1353       14837901      660378         1                -           0.0000          -
1353.85/1358.27	c      1358       14889160      662913         1                -           0.0000          -
1358.94/1363.35	c      1363       14956137      665724         1                -           0.0000          -
1364.02/1368.40	c      1368       15024098      667886         1                -           0.0000          -
1369.00/1373.45	c      1373       15086511      670181         1                -           0.0000          -
1374.09/1378.59	c      1379       15137077      671901         1                -           0.0000          -
1379.47/1383.90	c      1384       15193624      674540         1                -           0.0000          -
1384.46/1388.95	c      1389       15248887      676367         1                -           0.0000          -
1389.54/1394.06	c      1394       15304665      678191         1                -           0.0000          -
1394.63/1399.11	c      1399       15365551      680799         1                -           0.0000          -
1399.61/1404.16	c      1404       15425646      682766         1                -           0.0000          -
1404.69/1409.22	c      1409       15480856      684456         1                -           0.0000          -
1409.68/1414.27	c      1414       15539394      686460         1                -           0.0000          -
1414.76/1419.32	c      1419       15592881      688491         1                -           0.0000          -
1419.83/1424.40	c      1424       15656934      690694         1                -           0.0000          -
1425.02/1429.64	c      1430       15711138      692566         1                -           0.0000          -
1429.99/1434.69	c      1435       15772437      694925         1                -           0.0000          -
1435.08/1439.74	c      1440       15830905      697021         1                -           0.0000          -
1440.17/1444.81	c      1445       15889192      699044         1                -           0.0000          -
1445.15/1449.85	c      1450       15952836      701988         1                -           0.0000          -
1450.23/1454.97	c      1455       16010308      704172         1                -           0.0000          -
1455.31/1460.01	c      1460       16073085      706313         1                -           0.0000          -
1460.30/1465.06	c      1465       16128970      707862         1                -           0.0000          -
1465.39/1470.11	c      1470       16183110      709772         1                -           0.0000          -
1470.37/1475.17	c      1475       16231588      711608         1                -           0.0000          -
1475.45/1480.26	c      1480       16284939      713826         1                -           0.0000          -
1480.53/1485.31	c      1485       16342326      715493         1                -           0.0000          -
1485.51/1490.36	c      1490       16396229      717485         1                -           0.0000          -
1490.68/1495.58	c      1496       16445058      721466         1                -           0.0000          -
1495.77/1500.65	c      1501       16505637      723636         1                -           0.0000          -
1500.85/1505.70	c      1506       16568284      725823         1                -           0.0000          -
1505.84/1510.78	c      1511       16621019      727709         1                -           0.0000          -
1510.92/1515.83	c      1516       16663535      729277         1                -           0.0000          -
1515.90/1520.88	c      1521       16711170      731202         1                -           0.0000          -
1520.99/1525.95	c      1526       16766665      732761         1                -           0.0000          -
1526.08/1531.00	c      1531       16823977      734431         1                -           0.0000          -
1531.35/1536.33	c      1536       16880539      736321         1                -           0.0000          -
1536.34/1541.37	c      1541       16943727      738101         1                -           0.0000          -
1541.40/1546.42	c      1546       16999726      740114         1                -           0.0000          -
1546.50/1551.59	c      1552       17055118      744406         1                -           0.0000          -
1551.67/1556.74	c      1557       17121272      746316         1                -           0.0000          -
1556.76/1561.89	c      1562       17187996      749202         1                -           0.0000          -
1561.95/1567.05	c      1567       17243411      751957         1                -           0.0000          -
1567.04/1572.10	c      1572       17298257      755047         1                -           0.0000          -
1572.02/1577.15	c      1577       17357107      757097         1                -           0.0000          -
1577.09/1582.20	c      1582       17419698      759534         1                -           0.0000          -
1582.38/1587.55	c      1588       17477083      761735         1                -           0.0000          -
1587.56/1592.70	c      1593       17540958      763632         1                -           0.0000          -
1592.64/1597.83	c      1598       17603193      766256         1                -           0.0000          -
1597.63/1602.88	c      1603       17661904      768423         1                -           0.0000          -
1602.71/1607.93	c      1608       17725601      771906         1                -           0.0000          -
1607.80/1613.04	c      1613       17794708      774529         1                -           0.0000          -
1612.88/1618.12	c      1618       17850691      776107         1                -           0.0000          -
1617.87/1623.16	c      1623       17908365      777955         1                -           0.0000          -
1622.95/1628.21	c      1628       17970640      780544         1                -           0.0000          -
1627.93/1633.26	c      1633       18036868      782858         1                -           0.0000          -
1633.02/1638.32	c      1638       18090816      785882         1                -           0.0000          -
1638.10/1643.42	c      1643       18149936      787604         1                -           0.0000          -
1643.09/1648.47	c      1648       18200875      788991         1                -           0.0000          -
1648.17/1653.56	c      1654       18251997      791429         1                -           0.0000          -
1653.26/1658.64	c      1659       18312354      796432         1                -           0.0000          -
1658.34/1663.72	c      1664       18367478      798588         1                -           0.0000          -
1663.33/1668.77	c      1669       18418466      800212         1                -           0.0000          -
1668.41/1673.82	c      1674       18475111      802081         1                -           0.0000          -
1673.39/1678.87	c      1679       18529474      803649         1                -           0.0000          -
1678.47/1683.92	c      1684       18587619      805404         1                -           0.0000          -
1683.56/1689.02	c      1689       18645168      807139         1                -           0.0000          -
1688.54/1694.06	c      1694       18716327      811000         1                -           0.0000          -
1693.63/1699.12	c      1699       18777746      816285         1                -           0.0000          -
1699.01/1704.52	c      1705       18832538      820755         1                -           0.0000          -
1703.99/1709.57	c      1710       18892690      823587         1                -           0.0000          -
1709.08/1714.62	c      1715       18951247      825192         1                -           0.0000          -
1714.06/1719.67	c      1720       19011052      827037         1                -           0.0000          -
1719.14/1724.72	c      1725       19067694      829163         1                -           0.0000          -
1724.13/1729.77	c      1730       19129261      831114         1                -           0.0000          -
1729.21/1734.88	c      1735       19182825      833418         1                -           0.0000          -
1734.30/1739.95	c      1740       19218791      835514         1                -           0.0000          -
1739.49/1745.18	c      1745       19265079      838544         1                -           0.0000          -
1744.57/1750.26	c      1750       19312446      840506         1                -           0.0000          -
1749.65/1755.31	c      1755       19356136      843004         1                -           0.0000          -
1754.64/1760.36	c      1760       19408657      845443         1                -           0.0000          -
1759.83/1765.52	c      1766       19458286      848148         1                -           0.0000          -
1765.20/1770.94	c      1771       19504920      850364         1                -           0.0000          -
1770.29/1776.03	c      1776       19553766      852524         1                -           0.0000          -
1775.48/1781.24	c      1781       19604888      855058         1                -           0.0000          -
1780.56/1786.30	c      1786       19657254      856983         1                -           0.0000          -
1785.55/1791.35	c      1791       19707235      859148         1                -           0.0000          -
1790.63/1796.40	c      1796       19758878      861403         1                -           0.0000          -
1795.62/1801.45	c      1801       19811076      863497         1                -           0.0000          -
1800.70/1806.50	c      1807       19861595      865721         1                -           0.0000          -
1805.69/1811.59	c      1812       19911838      867514         1                -           0.0000          -
1810.78/1816.63	c      1817       19962821      869945         1                -           0.0000          -
1815.86/1821.79	c      1822       20014948      871940         1                -           0.0000          -
1820.95/1826.83	c      1827       20070281      874127         1                -           0.0000          -
1825.92/1831.88	c      1832       20120644      876362         1                -           0.0000          -
1831.02/1836.93	c      1837       20170181      878129         1                -           0.0000          -
1836.00/1841.98	c      1842       20222867      879985         1                -           0.0000          -
1841.09/1847.07	c      1847       20275396      882428         1                -           0.0000          -
1846.37/1852.39	c      1852       20320492      884352         1                -           0.0000          -
1851.46/1857.45	c      1857       20372934      885926         1                -           0.0000          -
1856.54/1862.50	c      1863       20424121      888513         1                -           0.0000          -
1861.52/1867.55	c      1868       20477219      890835         1                -           0.0000          -
1866.61/1872.60	c      1873       20528990      892774         1                -           0.0000          -
1871.59/1877.65	c      1878       20578726      894404         1                -           0.0000          -
1876.88/1882.94	c      1883       20628935      896193         1                -           0.0000          -
1881.97/1888.00	c      1888       20682186      898071         1                -           0.0000          -
1886.96/1893.05	c      1893       20735490      900101         1                -           0.0000          -
1892.04/1898.10	c      1898       20790734      901513         1                -           0.0000          -
1897.02/1903.15	c      1903       20846467      903660         1                -           0.0000          -
1902.11/1908.20	c      1908       20897293      905244         1                -           0.0000          -
1907.09/1913.25	c      1913       20951535      907369         1                -           0.0000          -
1912.18/1918.30	c      1918       21004619      909627         1                -           0.0000          -
1917.16/1923.39	c      1923       21054703      911183         1                -           0.0000          -
1922.25/1928.49	c      1928       21105928      913151         1                -           0.0000          -
1927.33/1933.53	c      1934       21156273      914738         1                -           0.0000          -
1932.32/1938.58	c      1939       21210321      916512         1                -           0.0000          -
1937.40/1943.63	c      1944       21263302      918073         1                -           0.0000          -
1942.39/1948.69	c      1949       21318618      919991         1                -           0.0000          -
1947.47/1953.74	c      1954       21374189      921862         1                -           0.0000          -
1952.56/1958.82	c      1959       21423232      923923         1                -           0.0000          -
1957.75/1964.03	c      1964       21476278      925225         1                -           0.0000          -
1962.74/1969.07	c      1969       21527409      927210         1                -           0.0000          -
1967.82/1974.12	c      1974       21580351      929016         1                -           0.0000          -
1972.81/1979.17	c      1979       21630734      930821         1                -           0.0000          -
1977.89/1984.22	c      1984       21681495      932520         1                -           0.0000          -
1982.87/1989.27	c      1989       21731599      933732         1                -           0.0000          -
1987.96/1994.32	c      1994       21788990      935641         1                -           0.0000          -
1992.94/1999.37	c      1999       21839652      937082         1                -           0.0000          -
1998.03/2004.42	c      2004       21896070      939022         1                -           0.0000          -
2003.02/2009.47	c      2009       21945806      940350         1                -           0.0000          -
2008.10/2014.55	c      2015       21998476      941978         1                -           0.0000          -
2013.39/2019.84	c      2020       22052307      944155         1                -           0.0000          -
2018.47/2024.91	c      2025       22107248      945904         1                -           0.0000          -
2023.46/2029.96	c      2030       22159017      947386         1                -           0.0000          -
2028.55/2035.05	c      2035       22209077      948856         1                -           0.0000          -
2033.64/2040.10	c      2040       22261951      950580         1                -           0.0000          -
2038.61/2045.15	c      2045       22316831      952264         1                -           0.0000          -
2043.61/2050.19	c      2050       22371012      953539         1                -           0.0000          -
2048.68/2055.29	c      2055       22423716      954861         1                -           0.0000          -
2053.77/2060.34	c      2060       22476399      955964         1                -           0.0000          -
2058.76/2065.39	c      2065       22531591      957686         1                -           0.0000          -
2063.85/2070.44	c      2070       22583079      958893         1                -           0.0000          -
2068.82/2075.49	c      2076       22637643      960235         1                -           0.0000          -
2073.91/2080.54	c      2081       22690314      962119         1                -           0.0000          -
2078.90/2085.59	c      2086       22746495      963508         1                -           0.0000          -
2083.98/2090.64	c      2091       22796220      964749         1                -           0.0000          -
2088.97/2095.69	c      2096       22849118      966281         1                -           0.0000          -
2094.36/2101.00	c      2101       22905138      967567         1                -           0.0000          -
2099.34/2106.05	c      2106       22961461      969502         1                -           0.0000          -
2104.42/2111.10	c      2111       23017596      971482         1                -           0.0000          -
2109.41/2116.18	c      2116       23082028      973842         1                -           0.0000          -
2114.49/2121.23	c      2121       23150364      976352         1                -           0.0000          -
2119.58/2126.35	c      2126       23209077      977815         1                -           0.0000          -
2124.66/2131.44	c      2131       23269072      979486         1                -           0.0000          -
2129.74/2136.57	c      2137       23337937      981863         1                -           0.0000          -
2134.53/2141.37	c *    2141       23384784      983376         1           0.0000           0.0000      0.00%
2139.12/2145.93	c      2146       23395370           0         0           0.0000           0.0000      0.00%
2139.12/2145.93	c      2146       23395370           0         0           0.0000           0.0000      0.00%
2139.23/2146.03	c      2146       23395370           0         0           0.0000           0.0000          -
2139.23/2146.03	c SCIP Status        : c problem is solved
2139.23/2146.03	c Total Time         : 2146.0300
2139.23/2146.03	c   solving          : 2146.0300
2139.23/2146.03	c   presolving       : 0.0016 (included in solving)
2139.23/2146.03	c B&B Tree           :
2139.23/2146.03	c   nodes (total)    : 23395370
2139.23/2146.03	c Solution           :
2139.23/2146.03	c   Solutions found  : 1
2139.23/2146.03	c   Primal Bound     : +0.00000000000000e+00
2139.23/2146.03	c   Dual Bound       : +0.00000000000000e+00
2139.23/2146.03	c Gap                : 0.00000 %
2139.23/2146.03	c internal error
2139.23/2146.03	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464340-1722379155/watcher-4464340-1722379155 -o /tmp/evaluation-result-4464340-1722379155/solver-4464340-1722379155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722378594-29037 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464340-1722379155.opb -qsol -t 3600 -sth 1 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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=29311, runsolver pid=29308
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 4.12 3.58 1.99 5/262 29314
/proc/meminfo: memFree=121894412/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=106464 memory=20532 CPUtime=0.09 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 2528 0 0 0 9 0 0 0 20 0 3 0 4512582 109019136 5133 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 26616 5133 2950 3035 0 8446 0
[pid=29311/tid=29313] ppid=29308 vsize=106464 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 1401 0 0 0 9 0 0 0 20 0 3 0 4512583 109019136 5133 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=106464 memory=232851243367 CPUtime=0 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4512583 109019136 5133 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106464 KiB
Current children cumulated memory: 20532 KiB

[startup+0.205656 s]*
/proc/loadavg: 4.12 3.58 1.99 5/262 29314
/proc/meminfo: memFree=121893908/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=106464 memory=20796 CPUtime=0.2 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 2632 0 0 0 20 0 0 0 20 0 3 0 4512582 109019136 5199 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 26616 5199 2950 3035 0 8591 0
[pid=29311/tid=29313] ppid=29308 vsize=106464 memory=664970838410264707 CPUtime=0.19 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 1505 0 0 0 19 0 0 0 20 0 3 0 4512583 109019136 5199 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=106464 memory=15988 CPUtime=0 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4512583 109019136 5199 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106464 KiB
Current children cumulated memory: 20796 KiB

[startup+0.304751 s]*
/proc/loadavg: 4.12 3.58 1.99 5/262 29314
/proc/meminfo: memFree=121893432/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=106464 memory=21060 CPUtime=0.3 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 2693 0 0 0 30 0 0 0 20 0 3 0 4512582 109019136 5265 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 26616 5265 2950 3035 0 8617 0
[pid=29311/tid=29313] ppid=29308 vsize=106464 memory=-5155626916482608261 CPUtime=0.29 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 1566 0 0 0 29 0 0 0 20 0 3 0 4512583 109019136 5265 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=106464 memory=0 CPUtime=0 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4512583 109019136 5265 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106464 KiB
Current children cumulated memory: 21060 KiB

[startup+0.700174 s]
/proc/loadavg: 4.12 3.58 1.99 5/262 29314
/proc/meminfo: memFree=121892620/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=106464 memory=22116 CPUtime=0.69 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 2982 0 0 0 68 1 0 0 20 0 3 0 4512582 109019136 5529 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 26616 5529 2950 3035 0 8925 0
[pid=29311/tid=29313] ppid=29308 vsize=106464 memory=0 CPUtime=0.67 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 1855 0 0 0 67 0 0 0 20 0 3 0 4512583 109019136 5529 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=106464 memory=0 CPUtime=0 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4512583 109019136 5529 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106464 KiB
Current children cumulated memory: 22116 KiB

[startup+1.50017 s]
/proc/loadavg: 4.12 3.58 1.99 5/262 29314
/proc/meminfo: memFree=121891592/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=106464 memory=22444 CPUtime=1.48 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 4336 0 0 0 147 1 0 0 20 0 3 0 4512582 109019136 5611 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 26616 5611 2950 3035 0 8989 0
[pid=29311/tid=29313] ppid=29308 vsize=106464 memory=0 CPUtime=1.48 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 3195 0 0 0 147 1 0 0 20 0 3 0 4512583 109019136 5611 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=106464 memory=0 CPUtime=0 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4512583 109019136 5611 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106464 KiB
Current children cumulated memory: 22444 KiB

[startup+3.10532 s]
/proc/loadavg: 4.12 3.58 1.99 5/262 29315
/proc/meminfo: memFree=121888432/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=106464 memory=24352 CPUtime=3.08 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 5123 0 0 0 306 2 0 0 20 0 3 0 4512582 109019136 6088 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 26616 6088 2966 3035 0 9345 0
[pid=29311/tid=29313] ppid=29308 vsize=106464 memory=2273 CPUtime=3.07 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 3977 0 0 0 305 2 0 0 20 0 3 0 4512583 109019136 6088 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=106464 memory=0 CPUtime=0 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4512583 109019136 6088 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 106464 KiB
Current children cumulated memory: 24352 KiB

[startup+6.30016 s]
/proc/loadavg: 4.11 3.59 2.00 5/262 29315
/proc/meminfo: memFree=121841056/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=107044 memory=29872 CPUtime=6.27 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 8659 0 0 0 622 5 0 0 20 0 3 0 4512582 109613056 7468 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 26761 7468 3014 3035 0 10781 0
[pid=29311/tid=29313] ppid=29308 vsize=107044 memory=-5155626916482608261 CPUtime=6.26 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 7486 0 0 0 621 5 0 0 20 0 3 0 4512583 109613056 7468 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=107044 memory=29048 CPUtime=0 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4512583 109613056 7468 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 107044 KiB
Current children cumulated memory: 29872 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 3.60 2.02 5/262 29315
/proc/meminfo: memFree=121825836/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=109724 memory=41252 CPUtime=12.65 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 18035 0 0 0 1254 11 0 0 20 0 3 0 4512582 112357376 10313 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 27431 10313 3014 3035 0 13430 0
[pid=29311/tid=29313] ppid=29308 vsize=109724 memory=24352 CPUtime=12.64 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 16825 0 0 0 1253 11 0 0 20 0 3 0 4512583 112357376 10313 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=109724 memory=0 CPUtime=0 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4512583 112357376 10313 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 109724 KiB
Current children cumulated memory: 41252 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 3.62 2.05 5/262 29318
/proc/meminfo: memFree=121790592/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=116144 memory=59112 CPUtime=25.41 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 42072 0 0 0 2516 25 0 0 20 0 3 0 4512582 118931456 14778 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 29036 14778 3014 3035 0 18101 0
[pid=29311/tid=29313] ppid=29308 vsize=116144 memory=34208 CPUtime=25.4 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 40792 0 0 0 2515 25 0 0 20 0 3 0 4512583 118931456 14778 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=116144 memory=11576 CPUtime=0 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4512583 118931456 14778 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 116144 KiB
Current children cumulated memory: 59112 KiB

[startup+51.1053 s]
/proc/loadavg: 4.17 3.68 2.11 5/262 29321
/proc/meminfo: memFree=121734248/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=131804 memory=93920 CPUtime=50.92 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 88886 0 0 0 5038 54 0 0 20 0 3 0 4512582 134967296 23480 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 32951 23480 3014 3035 0 27431 0
[pid=29311/tid=29313] ppid=29308 vsize=131804 memory=86356 CPUtime=50.91 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 87538 0 0 0 5037 54 0 0 20 0 3 0 4512583 134967296 23480 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=131804 memory=84640 CPUtime=0 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4512583 134967296 23480 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 131804 KiB
Current children cumulated memory: 93920 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 3.75 2.22 5/264 29335
/proc/meminfo: memFree=121659280/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=222968 memory=139624 CPUtime=101.94 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 165971 0 0 0 10089 105 0 0 20 0 3 0 4512582 228319232 34906 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 55742 34906 3014 3035 0 39186 0
[pid=29311/tid=29313] ppid=29308 vsize=222968 memory=133460 CPUtime=101.93 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 164558 0 0 0 10088 105 0 0 20 0 3 0 4512583 228319232 34906 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=222968 memory=133236 CPUtime=0 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4512583 228319232 34906 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 222968 KiB
Current children cumulated memory: 139624 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.81 2.34 5/264 29345
/proc/meminfo: memFree=121546008/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=265708 memory=207504 CPUtime=161.74 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 230583 0 0 0 16005 169 0 0 20 0 3 0 4512582 272084992 51876 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 66427 51876 3014 3035 0 57464 0
[pid=29311/tid=29313] ppid=29308 vsize=265708 memory=11576 CPUtime=161.73 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 229120 0 0 0 16004 169 0 0 20 0 3 0 4512583 272084992 51876 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=265708 memory=11576 CPUtime=0 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4512583 272084992 51876 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 265708 KiB

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

/proc/29311/statm: 318581 299160 3014 3035 0 304214 0
[pid=29311/tid=29313] ppid=29308 vsize=1274324 memory=1193748 CPUtime=1776.47 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 3188680 0 0 0 175723 1924 0 0 20 0 3 0 4512583 1304907776 299160 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=1274324 memory=11576 CPUtime=0 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 3 0 4512583 1304907776 299160 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 1776.57 s
Current children cumulated vsize: 1274324 KiB
Current children cumulated memory: 1196640 KiB

[startup+1842.3 s]
/proc/loadavg: 4.15 4.12 3.88 5/261 30222
/proc/meminfo: memFree=119256016/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=1287932 memory=1222944 CPUtime=1836.4 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 3245055 0 0 0 181661 1979 0 0 20 0 3 0 4512582 1318842368 305736 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 321983 305736 3014 3035 0 310465 0
[pid=29311/tid=29313] ppid=29308 vsize=1287932 memory=1201720 CPUtime=1836.28 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 3243054 0 0 0 181651 1977 0 0 20 0 3 0 4512583 1318842368 305736 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=1287932 memory=1201220 CPUtime=0.01 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 82 0 0 0 0 1 0 0 20 0 3 0 4512583 1318842368 305736 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 1836.4 s
Current children cumulated vsize: 1287932 KiB
Current children cumulated memory: 1222944 KiB

[startup+1902.3 s]
/proc/loadavg: 4.16 4.12 3.91 5/264 30238
/proc/meminfo: memFree=119209108/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=1300176 memory=1244916 CPUtime=1896.23 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 3301217 0 0 0 187590 2033 0 0 20 0 3 0 4512582 1331380224 311229 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 325044 311229 3014 3035 0 316071 0
[pid=29311/tid=29313] ppid=29308 vsize=1300176 memory=1201220 CPUtime=1896.1 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 3299203 0 0 0 187579 2031 0 0 20 0 3 0 4512583 1331380224 311229 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=1300176 memory=11576 CPUtime=0.01 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 84 0 0 0 0 1 0 0 20 0 3 0 4512583 1331380224 311229 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 1896.23 s
Current children cumulated vsize: 1300176 KiB
Current children cumulated memory: 1244916 KiB

[startup+1962.3 s]
/proc/loadavg: 4.10 4.11 3.92 5/264 30249
/proc/meminfo: memFree=119183916/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=1308352 memory=1265000 CPUtime=1956.05 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 3359219 0 0 0 193516 2089 0 0 20 0 3 0 4512582 1339752448 316250 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 327088 316250 3014 3035 0 320484 0
[pid=29311/tid=29313] ppid=29308 vsize=1308352 memory=11576 CPUtime=1955.93 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 3357192 0 0 0 193505 2088 0 0 20 0 3 0 4512583 1339752448 316250 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=1308352 memory=1250048 CPUtime=0.01 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 86 0 0 0 0 1 0 0 20 0 3 0 4512583 1339752448 316250 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 1956.05 s
Current children cumulated vsize: 1308352 KiB
Current children cumulated memory: 1265000 KiB

[startup+2022.3 s]
/proc/loadavg: 4.13 4.12 3.94 5/264 30261
/proc/meminfo: memFree=119159204/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=1317708 memory=1284144 CPUtime=2015.88 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 3410970 0 0 0 199449 2139 0 0 20 0 3 0 4512582 1349332992 321036 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 329427 321036 3014 3035 0 325175 0
[pid=29311/tid=29313] ppid=29308 vsize=1317708 memory=1277132 CPUtime=2015.76 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 3408926 0 0 0 199438 2138 0 0 20 0 3 0 4512583 1349332992 321036 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=1317708 memory=1284052 CPUtime=0.01 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 88 0 0 0 0 1 0 0 20 0 3 0 4512583 1349332992 321036 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 2015.88 s
Current children cumulated vsize: 1317708 KiB
Current children cumulated memory: 1284144 KiB

[startup+2082.3 s]
/proc/loadavg: 4.10 4.11 3.95 5/264 30271
/proc/meminfo: memFree=119106608/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=1389880 memory=1299996 CPUtime=2075.71 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 3477940 0 0 0 205371 2200 0 0 20 0 3 0 4512582 1423237120 324999 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 347470 324999 3014 3035 0 329043 0
[pid=29311/tid=29313] ppid=29308 vsize=1389880 memory=0 CPUtime=2075.58 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 3475879 0 0 0 205360 2198 0 0 20 0 3 0 4512583 1423237120 324999 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=1389880 memory=1299612 CPUtime=0.01 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 90 0 0 0 0 1 0 0 20 0 3 0 4512583 1423237120 324999 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 2075.71 s
Current children cumulated vsize: 1389880 KiB
Current children cumulated memory: 1299996 KiB

[startup+2142.3 s]
/proc/loadavg: 4.14 4.12 3.96 5/264 30282
/proc/meminfo: memFree=118894796/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=1620956 memory=1508348 CPUtime=2135.53 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 3625714 0 0 0 211283 2270 0 0 20 0 3 0 4512582 1659858944 377087 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 405239 377087 3014 3035 0 385206 0
[pid=29311/tid=29313] ppid=29308 vsize=1620956 memory=1318820 CPUtime=2135.4 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 3623646 0 0 0 211271 2269 0 0 20 0 3 0 4512583 1659858944 377087 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=1620956 memory=1508348 CPUtime=0.01 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 92 0 0 0 0 1 0 0 20 0 3 0 4512583 1659858944 377087 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 2135.53 s
Current children cumulated vsize: 1620956 KiB
Current children cumulated memory: 1508348 KiB

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

# cumulated CPU time of all completed processes:  user=2116.49 s, system=22.7824 s

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

[startup+2144 s]*
/proc/loadavg: 4.13 4.12 3.96 5/264 30284
/proc/meminfo: memFree=118894684/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=1620956 memory=1508348 CPUtime=2137.23 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 3634163 0 0 0 211452 2271 0 0 20 0 3 0 4512582 1659858944 377087 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 405239 377087 3014 3035 0 385206 0
[pid=29311/tid=29313] ppid=29308 vsize=1620956 memory=3164 CPUtime=2137.1 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 3632093 0 0 0 211441 2269 0 0 20 0 3 0 4512583 1659858944 377087 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=1620956 memory=20212 CPUtime=0.01 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 92 0 0 0 0 1 0 0 20 0 3 0 4512583 1659858944 377087 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 2137.23 s
Current children cumulated vsize: 1620956 KiB
Current children cumulated memory: 1508348 KiB

[startup+2144.8 s]
/proc/loadavg: 4.13 4.12 3.96 5/264 30284
/proc/meminfo: memFree=118894684/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=1620956 memory=1508348 CPUtime=2138.02 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 3634399 0 0 0 211531 2271 0 0 20 0 3 0 4512582 1659858944 377087 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 405239 377087 3014 3035 0 385206 0
[pid=29311/tid=29313] ppid=29308 vsize=1620956 memory=13888 CPUtime=2137.89 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 3632329 0 0 0 211520 2269 0 0 20 0 3 0 4512583 1659858944 377087 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=1620956 memory=-7449917524697767552 CPUtime=0.01 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 92 0 0 0 0 1 0 0 20 0 3 0 4512583 1659858944 377087 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 2138.02 s
Current children cumulated vsize: 1620956 KiB
Current children cumulated memory: 1508348 KiB

[startup+2145.6 s]
/proc/loadavg: 4.13 4.12 3.96 5/264 30284
/proc/meminfo: memFree=118894676/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=1620956 memory=1508348 CPUtime=2138.82 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 3636861 0 0 0 211611 2271 0 0 20 0 3 0 4512582 1659858944 377087 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 405239 377087 3014 3035 0 385206 0
[pid=29311/tid=29313] ppid=29308 vsize=1620956 memory=1508348 CPUtime=2138.69 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 3634793 0 0 0 211599 2270 0 0 20 0 3 0 4512583 1659858944 377087 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=1620956 memory=1508348 CPUtime=0.01 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 92 0 0 0 0 1 0 0 20 0 3 0 4512583 1659858944 377087 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 2138.82 s
Current children cumulated vsize: 1620956 KiB
Current children cumulated memory: 1508348 KiB

[startup+2146 s]*
/proc/loadavg: 4.13 4.12 3.96 5/264 30284
/proc/meminfo: memFree=119067104/131524592 swapFree=131071996/131071996
[pid=29311] ppid=29308 vsize=1290184 memory=1193956 CPUtime=2139.23 cores=1,3
/proc/29311/stat : 29311 (fscip) S 29308 29311 29025 0 -1 1077936128 3668412 0 0 0 211648 2275 0 0 20 0 3 0 4512582 1321148416 298489 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
/proc/29311/statm: 322546 298489 3014 3035 0 302513 0
[pid=29311/tid=29313] ppid=29308 vsize=1290184 memory=-7449917524697767552 CPUtime=2139.1 cores=1,3
/proc/29311/task/29313/stat : 29313 (fscip) R 29308 29311 29025 0 -1 4194368 3666325 0 0 0 211636 2274 0 0 20 0 3 0 4512583 1321148416 298489 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
[pid=29311/tid=29314] ppid=29308 vsize=1290184 memory=6934491875580616212 CPUtime=0.01 cores=1,3
/proc/29311/task/29314/stat : 29314 (fscip) S 29308 29311 29025 0 -1 1077936192 92 0 0 0 0 1 0 0 20 0 3 0 4512583 1321148416 298489 134679101440 4194304 16623229 140726126194496 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 33107968 140726126199830 140726126199946 140726126199946 140726126206960 0
Current children cumulated CPU time: 2139.23 s
Current children cumulated vsize: 1290184 KiB
Current children cumulated memory: 1193956 KiB

Child status: 0

Real time (s): 2146.04
CPU time (s): 2139.27
CPU user time (s): 2116.49
CPU system time (s): 22.7824
CPU usage (%): 99.6845
Max. virtual memory (cumulated for all children) (KiB): 1620956
Max. memory (cumulated for all children) (KiB): 1508348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2116.49
system time used= 22.7824
maximum resident set size= 1508348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3668466
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= 6578
involuntary context switches= 2897


# summary of solver processes directly reported to runsolver:
#   pid: 29311
#   total CPU time (s): 2139.27
#   total CPU user time (s): 2116.49
#   total CPU system time (s): 22.7824

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.68898 second user time and 9.20672 second system time

The end

Launcher Data

Begin job on nodeC016 at 2024-07-31 00:39:15
IDJOB=4464340
IDBENCH=148108
IDSOLVER=3092
FILE ID=nodeC016/4464340-1722379155
RUNJOBID= nodeC016-1722378594-29037
SLURM_JOB_ID= 8249829
Free space on /tmp= 889992 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob1.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464340-1722379155/watcher-4464340-1722379155 -o /tmp/evaluation-result-4464340-1722379155/solver-4464340-1722379155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722378594-29037 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464340-1722379155.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 471fd854f2c30bf1b2104c39e43ffd70
RANDOM SEED=1453536771

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524592 kB
MemFree:        121903888 kB
MemAvailable:   127267316 kB
Buffers:           94868 kB
Cached:          6074756 kB
SwapCached:            0 kB
Active:           270652 kB
Inactive:        8805648 kB
Active(anon):       1556 kB
Inactive(anon):  2926464 kB
Active(file):     269096 kB
Inactive(file):  5879184 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28356 kB
Writeback:             0 kB
AnonPages:       2906736 kB
Mapped:           122924 kB
Shmem:             21336 kB
KReclaimable:     109900 kB
Slab:             196800 kB
SReclaimable:     109900 kB
SUnreclaim:        86900 kB
KernelStack:        4176 kB
PageTables:        15232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:    2147724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9856 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1212416 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      275156 kB
DirectMap2M:     7886848 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC016 at 2024-07-31 01:15:01