Trace number 4444100

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-02UNSAT 326.549 327.617

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559676.opb
MD5SUM95888c36dbc3e063e75763857563d2e5
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark4.31777
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
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 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 625
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01	c Default LC presolving (default).
0.00/0.01	c ** Before presolving: virtualMemUsedAtLc = 27533312, getVmSize() = 27533312, SCIPgetMemUsed() = 4074222, SCIPgetMemTotal() = 5803206, SCIPgetMemExternEstim() = 2902814
0.00/0.01	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.04	c ** Estimated virtualMemUsedAtSolver = 20295680, getVmSize() = 33353728, SCIPgetMemUsed() = 5869031, SCIPgetMemTotal() = 10323639, SCIPgetMemExternEstim() = 2902814
0.00/0.04	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.04	c Original Problem   :
0.00/0.04	c   Problem name     : instance-4444100-1721317637
0.00/0.04	c   Variables        : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.04	c   Constraints      : 2707
0.00/0.04	c   Objective sense  : minimize
0.00/0.04	c Presolved Problem  :
0.00/0.04	c   Variables        : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.04	c   Constraints      : 2443
0.00/0.04	c Constraints        : Number
0.00/0.04	c   knapsack         : 1 
0.00/0.04	c   setppc           : 22 
0.00/0.04	c   logicor          : 2420 
0.00/0.04	c ** Instance transfer method used: 0
0.00/0.05	c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.05	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.05	c                                Nodes    Active                                            
0.00/0.05	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
5.77/5.86	c         6           1488          26         1                -           0.0000          -
10.84/10.95	c        11           2884          26         1                -           0.0000          -
15.94/16.04	c        16           5460          40         1                -           0.0000          -
20.93/21.09	c        21          10233          81         1                -           0.0000          -
26.01/26.14	c        26          14705          91         1                -           0.0000          -
31.00/31.19	c        31          19461         148         1                -           0.0000          -
36.07/36.23	c        36          24127         182         1                -           0.0000          -
41.05/41.29	c        41          27954         172         1                -           0.0000          -
46.14/46.34	c        46          31552         193         1                -           0.0000          -
51.12/51.39	c        51          36314         216         1                -           0.0000          -
56.21/56.44	c        56          39839         210         1                -           0.0000          -
61.39/61.65	c        62          43034         207         1                -           0.0000          -
66.37/66.69	c        67          46712         232         1                -           0.0000          -
71.45/71.75	c        72          50799         221         1                -           0.0000          -
76.53/76.80	c        77          55512         221         1                -           0.0000          -
81.50/81.86	c        82          59240         218         1                -           0.0000          -
86.58/86.91	c        87          63592         199         1                -           0.0000          -
91.56/91.96	c        92          68192         199         1                -           0.0000          -
96.65/97.01	c        97          72905         228         1                -           0.0000          -
101.62/102.06	c       102          77357         269         1                -           0.0000          -
106.71/107.11	c       107          81766         257         1                -           0.0000          -
111.69/112.16	c       112          86072         291         1                -           0.0000          -
116.76/117.21	c       117          90764         367         1                -           0.0000          -
121.75/122.26	c       122          95466         397         1                -           0.0000          -
126.83/127.31	c       127          99312         398         1                -           0.0000          -
131.82/132.36	c       132         102587         438         1                -           0.0000          -
136.89/137.41	c       137         105994         444         1                -           0.0000          -
141.88/142.48	c       142         109907         431         1                -           0.0000          -
146.95/147.57	c       148         113999         455         1                -           0.0000          -
152.05/152.62	c       153         116579         438         1                -           0.0000          -
157.12/157.71	c       158         119410         440         1                -           0.0000          -
162.11/162.79	c       163         121493         451         1                -           0.0000          -
167.20/167.85	c       168         124233         463         1                -           0.0000          -
172.28/172.90	c       173         126184         497         1                -           0.0000          -
177.37/178.00	c       178         127934         494         1                -           0.0000          -
182.35/183.09	c       183         130012         484         1                -           0.0000          -
187.44/188.15	c       188         133519         456         1                -           0.0000          -
192.53/193.28	c       193         136295         456         1                -           0.0000          -
197.70/198.40	c       198         139810         446         1                -           0.0000          -
202.70/203.47	c       203         143099         432         1                -           0.0000          -
207.78/208.52	c       209         147412         431         1                -           0.0000          -
212.76/213.57	c       214         151500         410         1                -           0.0000          -
217.85/218.62	c       219         154346         412         1                -           0.0000          -
222.83/223.67	c       224         158971         397         1                -           0.0000          -
227.92/228.74	c       229         162658         388         1                -           0.0000          -
233.00/233.82	c       234         165919         378         1                -           0.0000          -
237.99/238.88	c       239         170170         375         1                -           0.0000          -
243.07/243.93	c       244         174342         358         1                -           0.0000          -
248.16/249.02	c       249         178494         365         1                -           0.0000          -
253.14/254.08	c       254         182716         346         1                -           0.0000          -
258.23/259.12	c       259         185379         319         1                -           0.0000          -
263.22/264.17	c       264         189647         291         1                -           0.0000          -
268.29/269.24	c       269         193610         299         1                -           0.0000          -
273.38/274.32	c       274         196025         297         1                -           0.0000          -
278.37/279.38	c       279         199863         272         1                -           0.0000          -
283.45/284.43	c       284         204495         264         1                -           0.0000          -
288.44/289.49	c       290         207791         237         1                -           0.0000          -
293.52/294.55	c       295         211019         211         1                -           0.0000          -
298.61/299.62	c       300         214675         181         1                -           0.0000          -
303.59/304.67	c       305         218342         150         1                -           0.0000          -
308.78/309.82	c       310         222640         128         1                -           0.0000          -
313.76/314.88	c       315         225563          88         1                -           0.0000          -
318.85/319.93	c       320         229698          43         1                -           0.0000          -
323.83/324.98	c       325         233429          24         1                -           0.0000          -
326.43/327.59	c       328         235331           0         0                -           0.0000          -
326.52/327.61	c       328         235331           0         0                -           0.0000          -
326.52/327.61	c SCIP Status        : c problem is solved [infeasible]
326.52/327.61	c Total Time         : 327.6200
326.52/327.61	c   solving          : 327.6200
326.52/327.61	c   presolving       : 0.0385 (included in solving)
326.52/327.61	c B&B Tree           :
326.52/327.61	c   nodes (total)    : 235331
326.52/327.61	c Solution           :
326.52/327.61	c   Solutions found  : 0
326.52/327.61	c   Primal Bound     :          -
326.52/327.61	c   Dual Bound       :          -
326.52/327.61	c Gap                :          -
326.52/327.61	s UNSATISFIABLE

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: 63968 MiB (62340 MiB free)
  memory of node 1: 64473 MiB (63142 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=1007755, runsolver pid=1007752
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 1.23 1.92 3.05 5/255 1007778
/proc/meminfo: memFree=128410336/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=117448 memory=36760 CPUtime=0.09 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 6876 0 0 0 8 1 0 0 20 0 3 0 183931843 120266752 9190 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 29362 9190 2830 3032 0 12567 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=117448 memory=4026531959 CPUtime=0.04 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 3076 0 0 0 4 0 0 0 20 0 3 0 183931848 120266752 9190 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=117448 memory=224261325119 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183931849 120266752 9190 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 117448 KiB
Current children cumulated memory: 36760 KiB

[startup+0.206078 s]*
/proc/loadavg: 1.23 1.92 3.05 5/253 1007778
/proc/meminfo: memFree=128344960/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=117448 memory=38968 CPUtime=0.19 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 7356 0 0 0 18 1 0 0 20 0 3 0 183931843 120266752 9742 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 29362 9742 2926 3032 0 13077 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=117448 memory=3472328300254199927 CPUtime=0.14 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 3580 0 0 0 14 0 0 0 20 0 3 0 183931848 120266752 9808 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=117448 memory=17004 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183931849 120266752 9808 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 117448 KiB
Current children cumulated memory: 38968 KiB

[startup+0.305477 s]*
/proc/loadavg: 1.23 1.92 3.05 5/253 1007779
/proc/meminfo: memFree=128193508/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=117448 memory=45592 CPUtime=0.29 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 9174 0 0 0 28 1 0 0 20 0 3 0 183931843 120266752 11398 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 29362 11398 2926 3032 0 15000 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=117448 memory=8761640388318109335 CPUtime=0.23 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 5374 0 0 0 23 0 0 0 20 0 3 0 183931848 120266752 11398 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=117448 memory=-7308882027805369440 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183931849 120266752 11398 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 117448 KiB
Current children cumulated memory: 45592 KiB

[startup+0.700268 s]
/proc/loadavg: 1.23 1.92 3.05 5/259 1007789
/proc/meminfo: memFree=127959476/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=122492 memory=63540 CPUtime=0.67 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 13678 0 0 0 66 1 0 0 20 0 3 0 183931843 125431808 15885 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 30623 15885 2926 3032 0 20239 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=122492 memory=0 CPUtime=0.63 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 9878 0 0 0 62 1 0 0 20 0 3 0 183931848 125431808 15885 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=122492 memory=0 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183931849 125431808 15885 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 122492 KiB
Current children cumulated memory: 63540 KiB

[startup+1.50027 s]
/proc/loadavg: 1.23 1.92 3.05 5/259 1007789
/proc/meminfo: memFree=127810308/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=124516 memory=75352 CPUtime=1.48 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 23359 0 0 0 146 2 0 0 20 0 3 0 183931843 127504384 18838 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 31129 18838 2942 3032 0 23222 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=124516 memory=0 CPUtime=1.42 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 19559 0 0 0 141 1 0 0 20 0 3 0 183931848 127504384 18838 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=124516 memory=0 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183931849 127504384 18838 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 124516 KiB
Current children cumulated memory: 75352 KiB

[startup+3.10548 s]
/proc/loadavg: 1.23 1.92 3.05 5/261 1007791
/proc/meminfo: memFree=126090840/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=128472 memory=93356 CPUtime=3.08 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 30169 0 0 0 304 4 0 0 20 0 3 0 183931843 131555328 23339 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 32118 23339 2942 3032 0 27783 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=128472 memory=-7952647673509994361 CPUtime=3.02 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 26351 0 0 0 299 3 0 0 20 0 3 0 183931848 131555328 23339 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=128472 memory=0 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 183931849 131555328 23339 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 128472 KiB
Current children cumulated memory: 93356 KiB

[startup+6.30025 s]
/proc/loadavg: 1.45 1.95 3.05 5/263 1007795
/proc/meminfo: memFree=124589924/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=127448 memory=95000 CPUtime=6.26 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 42561 0 0 0 621 5 0 0 20 0 3 0 183931843 130506752 23750 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 31862 23750 2942 3032 0 28171 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=127448 memory=0 CPUtime=6.2 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 38719 0 0 0 616 4 0 0 20 0 3 0 183931848 130506752 23750 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=127448 memory=13116 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 183931849 130506752 23750 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 127448 KiB
Current children cumulated memory: 95000 KiB

[startup+12.7002 s]
/proc/loadavg: 1.74 2.00 3.06 5/263 1007795
/proc/meminfo: memFree=124491704/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=192980 memory=101072 CPUtime=12.65 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 76436 0 0 0 1257 8 0 0 20 0 3 0 183931843 197611520 25268 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 48245 25268 2990 3032 0 29773 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=192980 memory=18916 CPUtime=12.59 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 72545 0 0 0 1252 7 0 0 20 0 3 0 183931848 197611520 25268 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=192980 memory=-6879388917473316453 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 183931849 197611520 25268 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 192980 KiB
Current children cumulated memory: 101072 KiB

[startup+25.5003 s]
/proc/loadavg: 2.24 2.10 3.08 5/264 1007799
/proc/meminfo: memFree=122559608/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=196372 memory=104040 CPUtime=25.41 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 96024 0 0 0 2529 12 0 0 20 0 3 0 183931843 201084928 26010 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 49093 26010 2990 3032 0 30621 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=196372 memory=104040 CPUtime=25.35 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 92074 0 0 0 2524 11 0 0 20 0 3 0 183931848 201084928 26010 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=196372 memory=104040 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 183931849 201084928 26010 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 196372 KiB
Current children cumulated memory: 104040 KiB

[startup+51.1055 s]
/proc/loadavg: 2.90 2.27 3.11 5/265 1007803
/proc/meminfo: memFree=119984300/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=197052 memory=114756 CPUtime=50.93 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 126670 0 0 0 5075 18 0 0 20 0 3 0 183931843 201781248 28689 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 49263 28689 2990 3032 0 33951 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=197052 memory=101072 CPUtime=50.87 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 122631 0 0 0 5070 17 0 0 20 0 3 0 183931848 201781248 28689 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=197052 memory=0 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 183931849 201781248 28689 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 197052 KiB
Current children cumulated memory: 114756 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 2.57 3.17 5/265 1007812
/proc/meminfo: memFree=119723752/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=200012 memory=123344 CPUtime=101.93 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 168414 0 0 0 10162 31 0 0 20 0 3 0 183931843 204812288 30836 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 50003 30836 2990 3032 0 35785 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=200012 memory=123348 CPUtime=101.86 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 164263 0 0 0 10156 30 0 0 20 0 3 0 183931848 204812288 30836 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=200012 memory=11396 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 183931849 204812288 30836 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 200012 KiB
Current children cumulated memory: 123344 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 2.86 3.24 5/265 1007823
/proc/meminfo: memFree=119659488/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=201420 memory=132352 CPUtime=161.72 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 186412 0 0 0 16132 40 0 0 20 0 3 0 183931843 206254080 33088 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 50355 33088 2990 3032 0 36423 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=201420 memory=33 CPUtime=161.65 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 182220 0 0 0 16126 39 0 0 20 0 3 0 183931848 206254080 33088 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=201420 memory=5464 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 183931849 206254080 33088 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 201420 KiB
Current children cumulated memory: 132352 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.09 3.29 5/266 1007836
/proc/meminfo: memFree=119619048/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=230308 memory=161996 CPUtime=221.53 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 190641 0 0 0 22107 46 0 0 20 0 3 0 183931843 235835392 40499 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 57577 40499 2990 3032 0 43737 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=230308 memory=135224 CPUtime=221.47 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 186405 0 0 0 22102 45 0 0 20 0 3 0 183931848 235835392 40499 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=230308 memory=11396 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 183931849 235835392 40499 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 230308 KiB
Current children cumulated memory: 161996 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 3.27 3.34 5/266 1007846
/proc/meminfo: memFree=119501528/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=237772 memory=171352 CPUtime=281.36 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 201101 0 0 0 28082 54 0 0 20 0 3 0 183931843 243478528 42838 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 59443 42838 2990 3032 0 45603 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=237772 memory=163324 CPUtime=281.28 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 196843 0 0 0 28076 52 0 0 20 0 3 0 183931848 243478528 42838 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=237772 memory=171352 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 183931849 243478528 42838 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 237772 KiB
Current children cumulated memory: 171352 KiB

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

# cumulated CPU time of all completed processes:  user=325.953 s, system=0.596035 s

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

[startup+307.2 s]
/proc/loadavg: 4.05 3.33 3.36 5/266 1007853
/proc/meminfo: memFree=119498548/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=237772 memory=171352 CPUtime=306.19 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 201128 0 0 0 30562 57 0 0 20 0 3 0 183931843 243478528 42838 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 59443 42838 2990 3032 0 45603 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=237772 memory=123344 CPUtime=306.11 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 196870 0 0 0 30556 55 0 0 20 0 3 0 183931848 243478528 42838 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=237772 memory=131868 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 183931849 243478528 42838 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 306.19 s
Current children cumulated vsize: 237772 KiB
Current children cumulated memory: 171352 KiB

[startup+320 s]*
/proc/loadavg: 4.11 3.38 3.38 5/264 1007855
/proc/meminfo: memFree=119483276/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=237772 memory=171680 CPUtime=318.96 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 201544 0 0 0 31838 58 0 0 20 0 3 0 183931843 243478528 42920 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 59443 42920 2990 3032 0 45603 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=237772 memory=4724 CPUtime=318.88 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 197286 0 0 0 31832 56 0 0 20 0 3 0 183931848 243478528 42920 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=237772 memory=-6933350163988321731 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 183931849 243478528 42920 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 318.96 s
Current children cumulated vsize: 237772 KiB
Current children cumulated memory: 171680 KiB

[startup+323.2 s]
/proc/loadavg: 4.11 3.38 3.38 5/264 1007855
/proc/meminfo: memFree=119483276/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=237772 memory=171680 CPUtime=322.14 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 201545 0 0 0 32156 58 0 0 20 0 3 0 183931843 243478528 42920 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 59443 42920 2990 3032 0 45603 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=237772 memory=171680 CPUtime=322.06 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 197287 0 0 0 32150 56 0 0 20 0 3 0 183931848 243478528 42920 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=237772 memory=11396 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 183931849 243478528 42920 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 322.14 s
Current children cumulated vsize: 237772 KiB
Current children cumulated memory: 171680 KiB

[startup+324.8 s]
/proc/loadavg: 4.11 3.38 3.38 5/264 1007856
/proc/meminfo: memFree=119483296/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=237772 memory=171680 CPUtime=323.73 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 201545 0 0 0 32315 58 0 0 20 0 3 0 183931843 243478528 42920 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 59443 42920 2990 3032 0 45603 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=237772 memory=-6879388917473316453 CPUtime=323.66 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 197287 0 0 0 32309 57 0 0 20 0 3 0 183931848 243478528 42920 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=237772 memory=-6879388917473316453 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 183931849 243478528 42920 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 323.73 s
Current children cumulated vsize: 237772 KiB
Current children cumulated memory: 171680 KiB

[startup+326.4 s]
/proc/loadavg: 4.10 3.39 3.38 5/264 1007856
/proc/meminfo: memFree=119483304/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=237772 memory=171680 CPUtime=325.33 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 201545 0 0 0 32474 59 0 0 20 0 3 0 183931843 243478528 42920 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 59443 42920 2990 3032 0 45603 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=237772 memory=171352 CPUtime=325.25 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 197287 0 0 0 32468 57 0 0 20 0 3 0 183931848 243478528 42920 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=237772 memory=171680 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 183931849 243478528 42920 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 325.33 s
Current children cumulated vsize: 237772 KiB
Current children cumulated memory: 171680 KiB

[startup+327.2 s]
/proc/loadavg: 4.10 3.39 3.38 5/264 1007856
/proc/meminfo: memFree=119483332/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=237772 memory=171680 CPUtime=326.13 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 202193 0 0 0 32554 59 0 0 20 0 3 0 183931843 243478528 42920 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 59443 42920 2990 3032 0 45603 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=237772 memory=171680 CPUtime=326.05 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 197935 0 0 0 32548 57 0 0 20 0 3 0 183931848 243478528 42920 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=237772 memory=171680 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 183931849 243478528 42920 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 326.13 s
Current children cumulated vsize: 237772 KiB
Current children cumulated memory: 171680 KiB

[startup+327.6 s]
/proc/loadavg: 4.10 3.39 3.38 5/264 1007856
/proc/meminfo: memFree=119483332/131524600 swapFree=131071996/131071996
[pid=1007755] ppid=1007752 vsize=237772 memory=171680 CPUtime=326.52 cores=5,7
/proc/1007755/stat : 1007755 (fscip) S 1007752 1007755 1007714 0 -1 1077936128 202279 0 0 0 32593 59 0 0 20 0 3 0 183931843 243478528 42920 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
/proc/1007755/statm: 59443 42920 2990 3032 0 45603 0
[pid=1007755/tid=1007777] ppid=1007752 vsize=237772 memory=16236 CPUtime=326.44 cores=5,7
/proc/1007755/task/1007777/stat : 1007777 (fscip) R 1007752 1007755 1007714 0 -1 4194368 197998 0 0 0 32587 57 0 0 20 0 3 0 183931848 243478528 42920 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
[pid=1007755/tid=1007778] ppid=1007752 vsize=237772 memory=2212 CPUtime=0 cores=5,7
/proc/1007755/task/1007778/stat : 1007778 (fscip) S 1007752 1007755 1007714 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 183931849 243478528 42920 134679101440 4194304 16613245 140725501884096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 35012608 140725501891603 140725501891719 140725501891719 140725501898736 0
Current children cumulated CPU time: 326.52 s
Current children cumulated vsize: 237772 KiB
Current children cumulated memory: 171680 KiB

Child status: 0

Real time (s): 327.617
CPU time (s): 326.549
CPU user time (s): 325.953
CPU system time (s): 0.596035
CPU usage (%): 99.6739
Max. virtual memory (cumulated for all children) (KiB): 237772
Max. memory (cumulated for all children) (KiB): 171680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 325.953
system time used= 0.596035
maximum resident set size= 171680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202852
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= 1051
involuntary context switches= 174


# summary of solver processes directly reported to runsolver:
#   pid: 1007755
#   total CPU time (s): 326.549
#   total CPU user time (s): 325.953
#   total CPU system time (s): 0.596035

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.635277 second user time and 1.61541 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-18 17:47:30
IDJOB=4444100
IDBENCH=147898
IDSOLVER=3064
FILE ID=nodeC030/4444100-1721317637
RUNJOBID= nodeC030-1721317650-1007727
SLURM_JOB_ID= 7542666
Free space on /tmp= 890080 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559676.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-4444100-1721317637/watcher-4444100-1721317637 -o /tmp/evaluation-result-4444100-1721317637/solver-4444100-1721317637 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721317650-1007727 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4444100-1721317637.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 95888c36dbc3e063e75763857563d2e5
RANDOM SEED=1576844475

nodeC030.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		: 3638.136
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.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128497920 kB
MemAvailable:   129689672 kB
Buffers:          472668 kB
Cached:          1548264 kB
SwapCached:            0 kB
Active:          1097600 kB
Inactive:        1304736 kB
Active(anon):       1440 kB
Inactive(anon):   417680 kB
Active(file):    1096160 kB
Inactive(file):   887056 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            107564 kB
Writeback:             8 kB
AnonPages:        381036 kB
Mapped:           105988 kB
Shmem:             37720 kB
KReclaimable:      96716 kB
Slab:             209372 kB
SReclaimable:      96716 kB
SUnreclaim:       112656 kB
KernelStack:        3840 kB
PageTables:         9464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     778268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69760 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 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:      234196 kB
DirectMap2M:    18413568 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889924 MiB
End job on nodeC030 at 2024-07-18 17:52:58