Trace number 4465085

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-30OPTIMUM 367.419 368.731

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900573137--soft-0-100-0.wbo
MD5SUM3be5de5dccad0a17ab99c6901729ec82
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark21.3761
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 136625
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136624
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 693
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02	c Default LC presolving (default).
0.00/0.02	c ** Before presolving: virtualMemUsedAtLc = 35749888, getVmSize() = 35749888, SCIPgetMemUsed() = 10377933, SCIPgetMemTotal() = 13642749, SCIPgetMemExternEstim() = 7879036
0.00/0.02	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.68/1.71	c ** Estimated virtualMemUsedAtSolver = 41860616, getVmSize() = 78655488, SCIPgetMemUsed() = 39289377, SCIPgetMemTotal() = 54911889, SCIPgetMemExternEstim() = 7879036
1.68/1.71	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
1.68/1.71	c Original Problem   :
1.68/1.71	c   Problem name     : instance-4465085-1722389414
1.68/1.71	c   Variables        : 2938 (2938 binary, 0 integer, 0 implicit integer, 0 continuous)
1.68/1.71	c   Constraints      : 5415
1.68/1.71	c   Objective sense  : minimize
1.68/1.71	c Presolved Problem  :
1.68/1.71	c   Variables        : 2961 (2938 binary, 0 integer, 23 implicit integer, 0 continuous)
1.68/1.71	c   Constraints      : 2740
1.68/1.71	c Constraints        : Number
1.68/1.71	c   linear           : 2708 
1.68/1.71	c   indicator        : 32 
1.68/1.71	c ** Instance transfer method used: 0
1.68/1.72	c ** ParaScipInstance copy does not increase the number of variables. **
1.68/1.72	c LC is working with racing ramp-up and with rebuilding tree after racing.
1.68/1.72	c                                Nodes    Active                                            
1.68/1.72	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
1.68/1.74	c *       2              0           1         1      136605.0000                -          -
1.68/1.77	c *       2              0           1         1       90436.0000                -          -
1.68/1.77	c *       2              0           1         1        1275.0000                -          -
3.37/3.46	c *       3              0           1         1         102.0000                -          -
5.97/6.04	c         6              5           6         1         102.0000           0.0000          -
6.56/6.68	c *       7              5           6         1          19.0000           0.0000          -
6.97/7.06	c *       7              5           6         1           8.0000           0.0000          -
11.25/11.35	c        11             64          14         1           8.0000           0.0000          -
16.03/16.16	c *      16            185          48         1           5.0000           0.0000          -
16.54/16.60	c *      17            185          48         1           4.0000           0.0000          -
16.54/16.60	c        17            185          48         1           4.0000           0.0000          -
21.71/21.89	c        22           1195         120         1           4.0000           0.0000          -
21.71/21.89	c *      22           1195         120         1           3.0000           0.0000          -
27.00/27.17	c        27           1695          26         1           3.0000           0.0000          -
32.28/32.41	c        32           2893         249         1           3.0000           0.0000          -
37.47/37.61	c        38           4838         440         1           3.0000           0.0000          -
42.44/42.69	c        43           6248         565         1           3.0000           0.0000          -
47.53/47.76	c        48           8182         655         1           3.0000           0.0000          -
52.91/53.14	c        53          10150         845         1           3.0000           0.0000          -
58.00/58.26	c        58          12909        1133         1           3.0000           0.0000          -
61.08/61.37	c *      61          14584        1359         1           2.0000           0.0000          -
63.07/63.32	c        63          15531         969         1           2.0000           0.0000          -
67.07/67.35	c *      67          16479         984         1           1.0000           0.0000          -
68.26/68.50	c        69          17993         593         1           1.0000           0.0000          -
73.24/73.55	c        74          22014         574         1           1.0000           0.0000          -
78.32/78.60	c        79          26273         531         1           1.0000           0.0000          -
83.70/84.04	c        84          29065         440         1           1.0000           0.0000          -
88.69/89.09	c        89          33419         294         1           1.0000           0.0000          -
93.76/94.14	c        94          36939         320         1           1.0000           0.0000          -
98.84/99.27	c        99          40099         399         1           1.0000           0.0000          -
103.92/104.36	c       104          44116         375         1           1.0000           0.0000          -
109.00/109.41	c       109          48030         308         1           1.0000           0.0000          -
114.08/114.51	c       115          51294         197         1           1.0000           0.0000          -
119.07/119.58	c       120          54170         364         1           1.0000           0.0000          -
124.85/125.35	c       125          56445         430         1           1.0000           0.0000          -
129.93/130.40	c       130          59843         323         1           1.0000           0.0000          -
134.92/135.45	c       135          63669         134         1           1.0000           0.0000          -
140.00/140.54	c       141          66068          58         1           1.0000           0.0000          -
145.08/145.63	c       146          69171         355         1           1.0000           0.0000          -
150.07/150.68	c       151          72680         576         1           1.0000           0.0000          -
155.15/155.73	c       156          75865         758         1           1.0000           0.0000          -
160.24/160.86	c       161          78280        1053         1           1.0000           0.0000          -
165.32/165.93	c       166          81052        1260         1           1.0000           0.0000          -
170.30/170.99	c       171          84119        1325         1           1.0000           0.0000          -
175.39/176.07	c       176          86313        1353         1           1.0000           0.0000          -
180.46/181.13	c       181          89066        1405         1           1.0000           0.0000          -
185.53/186.20	c       186          91626        1414         1           1.0000           0.0000          -
190.52/191.29	c       191          94236        1437         1           1.0000           0.0000          -
195.70/196.42	c       196          97582        1537         1           1.0000           0.0000          -
200.67/201.47	c       201         101561        1585         1           1.0000           0.0000          -
205.76/206.52	c       207         105252        1591         1           1.0000           0.0000          -
210.93/211.79	c       212         105902        1596         1           1.0000           0.0000          -
216.02/216.88	c       217         108723        1539         1           1.0000           0.0000          -
221.09/221.97	c       222         111432        1537         1           1.0000           0.0000          -
226.18/227.02	c       227         114636        1554         1           1.0000           0.0000          -
231.16/232.07	c       232         117824        1561         1           1.0000           0.0000          -
236.24/237.16	c       237         120846        1482         1           1.0000           0.0000          -
241.33/242.21	c       242         123884        1424         1           1.0000           0.0000          -
246.31/247.26	c       247         126579        1442         1           1.0000           0.0000          -
251.39/252.35	c       252         128873        1430         1           1.0000           0.0000          -
256.47/257.42	c       257         131066        1414         1           1.0000           0.0000          -
261.46/262.47	c       262         134137        1444         1           1.0000           0.0000          -
266.55/267.55	c       268         137172        1404         1           1.0000           0.0000          -
271.63/272.65	c       273         140027        1359         1           1.0000           0.0000          -
276.72/277.76	c       278         142488        1332         1           1.0000           0.0000          -
281.80/282.81	c       283         145262        1262         1           1.0000           0.0000          -
286.78/287.87	c       288         147964        1251         1           1.0000           0.0000          -
291.87/292.92	c       293         150924        1197         1           1.0000           0.0000          -
296.95/298.02	c       298         153726        1112         1           1.0000           0.0000          -
301.94/303.10	c       303         156374        1002         1           1.0000           0.0000          -
307.12/308.22	c       308         158749         917         1           1.0000           0.0000          -
312.20/313.34	c       313         161409         845         1           1.0000           0.0000          -
317.18/318.39	c       318         163720         733         1           1.0000           0.0000          -
322.27/323.48	c       323         166230         605         1           1.0000           0.0000          -
327.35/328.57	c       329         168595         469         1           1.0000           0.0000          -
332.43/333.63	c       334         171821         282         1           1.0000           0.0000          -
337.41/338.69	c       339         174769          59         1           1.0000           0.0000          -
342.49/343.74	c       344         177782         151         1           1.0000           0.0000          -
347.46/348.79	c       349         181233         105         1           1.0000           0.0000          -
352.54/353.84	c       354         184267          12         1           1.0000           0.0000          -
357.63/358.90	c       359         186986          34         1           1.0000           0.0000          -
362.61/363.99	c       364         190220         109         1           1.0000           0.0000          -
367.28/368.69	c       369         193770           0         0           1.0000           1.0000      0.00%
367.38/368.72	c       369         193770           0         0           1.0000           1.0000          -
367.38/368.72	c SCIP Status        : c problem is solved
367.38/368.72	c Total Time         : 368.7200
367.38/368.72	c   solving          : 368.7200
367.38/368.72	c   presolving       : 1.6916 (included in solving)
367.38/368.72	c B&B Tree           :
367.38/368.72	c   nodes (total)    : 193770
367.38/368.72	c Solution           :
367.38/368.72	c   Solutions found  : 12
367.38/368.72	c   Primal Bound     : +1.00000000000000e+00
367.38/368.72	c   Dual Bound       : +1.00000000000000e+00
367.38/368.72	c Gap                : 0.00000 %
367.38/368.72	o 1
367.38/368.72	s OPTIMUM FOUND
367.38/368.72	v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 
367.38/368.72	v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
367.38/368.72	v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
367.38/368.72	v -x167 x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
367.38/368.72	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 
367.38/368.72	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 
367.38/368.72	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
367.38/368.72	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 
367.38/368.72	v -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 x31 -x30 -x29 
367.38/368.72	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 
367.38/368.72	v -x1

Verifier Data 

OK	1

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=35886, runsolver pid=35883

[startup+0.104974 s]*
/proc/loadavg: 3.80 4.09 4.13 5/267 35887
/proc/meminfo: memFree=129241908/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=50336 memory=39052 CPUtime=0.09 cores=5,7
/proc/35886/stat : 35886 (fscip) R 35883 35886 35128 0 -1 4194304 7378 0 0 0 9 0 0 0 20 0 1 0 5543360 51544064 9763 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 12584 9763 2630 3035 0 8980 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50336 KiB
Current children cumulated memory: 39052 KiB

[startup+0.205815 s]*
/proc/loadavg: 3.80 4.09 4.13 5/267 35887
/proc/meminfo: memFree=129241636/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=50832 memory=39316 CPUtime=0.19 cores=5,7
/proc/35886/stat : 35886 (fscip) R 35883 35886 35128 0 -1 4194304 7474 0 0 0 19 0 0 0 20 0 1 0 5543360 52051968 9829 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 12708 9829 2630 3035 0 9104 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 50832 KiB
Current children cumulated memory: 39316 KiB

[startup+0.305718 s]*
/proc/loadavg: 3.80 4.09 4.13 5/267 35887
/proc/meminfo: memFree=129241516/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=50832 memory=39316 CPUtime=0.29 cores=5,7
/proc/35886/stat : 35886 (fscip) R 35883 35886 35128 0 -1 4194304 7474 0 0 0 29 0 0 0 20 0 1 0 5543360 52051968 9829 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 12708 9829 2630 3035 0 9104 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 50832 KiB
Current children cumulated memory: 39316 KiB

[startup+0.7002 s]
/proc/loadavg: 3.80 4.09 4.13 5/267 35887
/proc/meminfo: memFree=129240704/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=52376 memory=40900 CPUtime=0.68 cores=5,7
/proc/35886/stat : 35886 (fscip) R 35883 35886 35128 0 -1 4194304 7858 0 0 0 68 0 0 0 20 0 1 0 5543360 53633024 10225 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 13094 10225 2630 3035 0 9490 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52376 KiB
Current children cumulated memory: 40900 KiB

[startup+1.50019 s]
/proc/loadavg: 3.80 4.09 4.13 5/267 35887
/proc/meminfo: memFree=129239700/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=53404 memory=41956 CPUtime=1.48 cores=5,7
/proc/35886/stat : 35886 (fscip) R 35883 35886 35128 0 -1 4194304 8119 0 0 0 148 0 0 0 20 0 1 0 5543360 54685696 10489 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 13351 10489 2630 3035 0 9747 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53404 KiB
Current children cumulated memory: 41956 KiB

[startup+3.10503 s]
/proc/loadavg: 3.81 4.09 4.13 5/264 36028
/proc/meminfo: memFree=129411740/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=166552 memory=106216 CPUtime=3.07 cores=5,7
/proc/35886/stat : 35886 (fscip) S 35883 35886 35128 0 -1 1077936128 29612 0 0 0 303 4 0 0 20 0 3 0 5543360 170549248 26488 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 41638 26488 2870 3035 0 33271 0
[pid=35886/tid=35934] ppid=35883 vsize=166552 memory=198340509722 CPUtime=1.36 cores=5,7
/proc/35886/task/35934/stat : 35934 (fscip) R 35883 35886 35128 0 -1 4194368 16183 0 0 0 134 2 0 0 20 0 3 0 5543531 170549248 26554 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
[pid=35886/tid=35935] ppid=35883 vsize=166552 memory=0 CPUtime=0 cores=5,7
/proc/35886/task/35935/stat : 35935 (fscip) S 35883 35886 35128 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5543533 170549248 26554 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 166552 KiB
Current children cumulated memory: 106216 KiB

[startup+6.30024 s]
/proc/loadavg: 3.81 4.09 4.13 5/270 36035
/proc/meminfo: memFree=129128732/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=232088 memory=168296 CPUtime=6.26 cores=5,7
/proc/35886/stat : 35886 (fscip) S 35883 35886 35128 0 -1 1077936128 47499 0 0 0 620 6 0 0 20 0 3 0 5543360 237658112 42074 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 58022 42074 3014 3035 0 50000 0
[pid=35886/tid=35934] ppid=35883 vsize=232088 memory=120816 CPUtime=4.55 cores=5,7
/proc/35886/task/35934/stat : 35934 (fscip) R 35883 35886 35128 0 -1 4194368 33549 0 0 0 451 4 0 0 20 0 3 0 5543531 237658112 42074 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
[pid=35886/tid=35935] ppid=35883 vsize=232088 memory=139719581107145 CPUtime=0 cores=5,7
/proc/35886/task/35935/stat : 35935 (fscip) S 35883 35886 35128 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5543533 237658112 42074 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 232088 KiB
Current children cumulated memory: 168296 KiB

[startup+12.7002 s]
/proc/loadavg: 3.83 4.09 4.13 5/270 36035
/proc/meminfo: memFree=128969160/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=232088 memory=169992 CPUtime=12.64 cores=5,7
/proc/35886/stat : 35886 (fscip) S 35883 35886 35128 0 -1 1077936128 65962 0 0 0 1257 7 0 0 20 0 3 0 5543360 237658112 42498 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 58022 42498 3014 3035 0 50209 0
[pid=35886/tid=35934] ppid=35883 vsize=232088 memory=1944 CPUtime=10.92 cores=5,7
/proc/35886/task/35934/stat : 35934 (fscip) R 35883 35886 35128 0 -1 4194368 51450 0 0 0 1087 5 0 0 20 0 3 0 5543531 237658112 42498 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
[pid=35886/tid=35935] ppid=35883 vsize=232088 memory=2292 CPUtime=0 cores=5,7
/proc/35886/task/35935/stat : 35935 (fscip) S 35883 35886 35128 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5543533 237658112 42498 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 232088 KiB
Current children cumulated memory: 169992 KiB

[startup+25.5002 s]
/proc/loadavg: 3.94 4.10 4.13 5/269 36037
/proc/meminfo: memFree=128927212/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=297624 memory=196088 CPUtime=25.41 cores=5,7
/proc/35886/stat : 35886 (fscip) S 35883 35886 35128 0 -1 1077936128 118503 0 0 0 2530 11 0 0 20 0 3 0 5543360 304766976 49022 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 74406 49022 3014 3035 0 55759 0
[pid=35886/tid=35934] ppid=35883 vsize=297624 memory=11556 CPUtime=23.68 cores=5,7
/proc/35886/task/35934/stat : 35934 (fscip) R 35883 35886 35128 0 -1 4194368 102810 0 0 0 2360 8 0 0 20 0 3 0 5543531 304766976 49022 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
[pid=35886/tid=35935] ppid=35883 vsize=297624 memory=12192 CPUtime=0 cores=5,7
/proc/35886/task/35935/stat : 35935 (fscip) S 35883 35886 35128 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5543533 304766976 49022 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 297624 KiB
Current children cumulated memory: 196088 KiB

[startup+51.1057 s]
/proc/loadavg: 3.96 4.09 4.13 5/269 36041
/proc/meminfo: memFree=128769940/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=297624 memory=215064 CPUtime=50.92 cores=5,7
/proc/35886/stat : 35886 (fscip) S 35883 35886 35128 0 -1 1077936128 167238 0 0 0 5075 17 0 0 20 0 3 0 5543360 304766976 53766 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 74406 53766 3318 3035 0 59608 0
[pid=35886/tid=35934] ppid=35883 vsize=297624 memory=-7090754354903343992 CPUtime=49.2 cores=5,7
/proc/35886/task/35934/stat : 35934 (fscip) R 35883 35886 35128 0 -1 4194368 151494 0 0 0 4906 14 0 0 20 0 3 0 5543531 304766976 53766 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
[pid=35886/tid=35935] ppid=35883 vsize=297624 memory=214704 CPUtime=0 cores=5,7
/proc/35886/task/35935/stat : 35935 (fscip) S 35883 35886 35128 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5543533 304766976 53766 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 297624 KiB
Current children cumulated memory: 215064 KiB

[startup+102.3 s]
/proc/loadavg: 4.03 4.09 4.13 5/269 36050
/proc/meminfo: memFree=128664316/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=297624 memory=234948 CPUtime=101.92 cores=5,7
/proc/35886/stat : 35886 (fscip) S 35883 35886 35128 0 -1 1077936128 209357 0 0 0 10165 27 0 0 20 0 3 0 5543360 304766976 58737 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 74406 58737 3318 3035 0 63854 0
[pid=35886/tid=35934] ppid=35883 vsize=297624 memory=233440 CPUtime=100.2 cores=5,7
/proc/35886/task/35934/stat : 35934 (fscip) R 35883 35886 35128 0 -1 4194368 192842 0 0 0 9995 25 0 0 20 0 3 0 5543531 304766976 58737 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
[pid=35886/tid=35935] ppid=35883 vsize=297624 memory=233440 CPUtime=0 cores=5,7
/proc/35886/task/35935/stat : 35935 (fscip) S 35883 35886 35128 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5543533 304766976 58737 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 297624 KiB
Current children cumulated memory: 234948 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.13 4.14 5/269 36061
/proc/meminfo: memFree=128600836/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=312696 memory=264060 CPUtime=161.73 cores=5,7
/proc/35886/stat : 35886 (fscip) S 35883 35886 35128 0 -1 1077936128 216420 0 0 0 16140 33 0 0 20 0 3 0 5543360 320200704 66015 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 78174 66015 3318 3035 0 68671 0
[pid=35886/tid=35934] ppid=35883 vsize=312696 memory=242544 CPUtime=160.01 cores=5,7
/proc/35886/task/35934/stat : 35934 (fscip) R 35883 35886 35128 0 -1 4194368 199877 0 0 0 15970 31 0 0 20 0 3 0 5543531 320200704 66015 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
[pid=35886/tid=35935] ppid=35883 vsize=312696 memory=264060 CPUtime=0 cores=5,7
/proc/35886/task/35935/stat : 35935 (fscip) S 35883 35886 35128 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5543533 320200704 66015 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 312696 KiB
Current children cumulated memory: 264060 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/267 36071
/proc/meminfo: memFree=128548820/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=325232 memory=276716 CPUtime=221.49 cores=5,7
/proc/35886/stat : 35886 (fscip) S 35883 35886 35128 0 -1 1077936128 223615 0 0 0 22110 39 0 0 20 0 3 0 5543360 333037568 69179 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 81308 69179 3318 3035 0 71805 0
[pid=35886/tid=35934] ppid=35883 vsize=325232 memory=270160 CPUtime=219.75 cores=5,7
/proc/35886/task/35934/stat : 35934 (fscip) R 35883 35886 35128 0 -1 4194368 207053 0 0 0 21939 36 0 0 20 0 3 0 5543531 333037568 69179 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
[pid=35886/tid=35935] ppid=35883 vsize=325232 memory=5456 CPUtime=0 cores=5,7
/proc/35886/task/35935/stat : 35935 (fscip) S 35883 35886 35128 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 5543533 333037568 69179 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 325232 KiB
Current children cumulated memory: 276716 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 4.14 4.14 5/268 36084
/proc/meminfo: memFree=128491576/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=334952 memory=285200 CPUtime=281.3 cores=5,7
/proc/35886/stat : 35886 (fscip) S 35883 35886 35128 0 -1 1077936128 232040 0 0 0 28086 44 0 0 20 0 3 0 5543360 342990848 71300 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 83738 71300 3318 3035 0 74235 0
[pid=35886/tid=35934] ppid=35883 vsize=334952 memory=285200 CPUtime=279.57 cores=5,7
/proc/35886/task/35934/stat : 35934 (fscip) R 35883 35886 35128 0 -1 4194368 215461 0 0 0 27916 41 0 0 20 0 3 0 5543531 342990848 71300 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
[pid=35886/tid=35935] ppid=35883 vsize=334952 memory=36156 CPUtime=0 cores=5,7
/proc/35886/task/35935/stat : 35935 (fscip) S 35883 35886 35128 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 5543533 342990848 71300 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 334952 KiB
Current children cumulated memory: 285200 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/264 36143
/proc/meminfo: memFree=128191416/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=351376 memory=300356 CPUtime=341.09 cores=5,7
/proc/35886/stat : 35886 (fscip) S 35883 35886 35128 0 -1 1077936128 243938 0 0 0 34059 50 0 0 20 0 3 0 5543360 359809024 75089 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 87844 75089 3318 3035 0 78341 0
[pid=35886/tid=35934] ppid=35883 vsize=351376 memory=288984 CPUtime=339.36 cores=5,7
/proc/35886/task/35934/stat : 35934 (fscip) R 35883 35886 35128 0 -1 4194368 227339 0 0 0 33889 47 0 0 20 0 3 0 5543531 359809024 75089 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
[pid=35886/tid=35935] ppid=35883 vsize=351376 memory=288984 CPUtime=0 cores=5,7
/proc/35886/task/35935/stat : 35935 (fscip) S 35883 35886 35128 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5543533 359809024 75089 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 351376 KiB
Current children cumulated memory: 300356 KiB

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

# cumulated CPU time of all completed processes:  user=366.89 s, system=0.529259 s

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

[startup+345.6 s]
/proc/loadavg: 4.13 4.13 4.13 5/264 36143
/proc/meminfo: memFree=128191424/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=351376 memory=300356 CPUtime=344.38 cores=5,7
/proc/35886/stat : 35886 (fscip) S 35883 35886 35128 0 -1 1077936128 243938 0 0 0 34388 50 0 0 20 0 3 0 5543360 359809024 75089 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 87844 75089 3318 3035 0 78341 0
[pid=35886/tid=35934] ppid=35883 vsize=351376 memory=5456 CPUtime=342.64 cores=5,7
/proc/35886/task/35934/stat : 35934 (fscip) R 35883 35886 35128 0 -1 4194368 227339 0 0 0 34217 47 0 0 20 0 3 0 5543531 359809024 75089 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
[pid=35886/tid=35935] ppid=35883 vsize=351376 memory=12916 CPUtime=0 cores=5,7
/proc/35886/task/35935/stat : 35935 (fscip) S 35883 35886 35128 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5543533 359809024 75089 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
Current children cumulated CPU time: 344.38 s
Current children cumulated vsize: 351376 KiB
Current children cumulated memory: 300356 KiB

[startup+358.4 s]
/proc/loadavg: 4.10 4.12 4.13 5/264 36146
/proc/meminfo: memFree=128012944/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=351376 memory=300356 CPUtime=357.13 cores=5,7
/proc/35886/stat : 35886 (fscip) S 35883 35886 35128 0 -1 1077936128 243943 0 0 0 35662 51 0 0 20 0 3 0 5543360 359809024 75089 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 87844 75089 3318 3035 0 78341 0
[pid=35886/tid=35934] ppid=35883 vsize=351376 memory=278028 CPUtime=355.38 cores=5,7
/proc/35886/task/35934/stat : 35934 (fscip) R 35883 35886 35128 0 -1 4194368 227342 0 0 0 35491 47 0 0 20 0 3 0 5543531 359809024 75089 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
[pid=35886/tid=35935] ppid=35883 vsize=351376 memory=1944 CPUtime=0 cores=5,7
/proc/35886/task/35935/stat : 35935 (fscip) S 35883 35886 35128 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5543533 359809024 75089 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
Current children cumulated CPU time: 357.13 s
Current children cumulated vsize: 351376 KiB
Current children cumulated memory: 300356 KiB

[startup+364.8 s]
/proc/loadavg: 4.09 4.12 4.13 5/264 36146
/proc/meminfo: memFree=128000832/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=351376 memory=301392 CPUtime=363.5 cores=5,7
/proc/35886/stat : 35886 (fscip) S 35883 35886 35128 0 -1 1077936128 244237 0 0 0 36299 51 0 0 20 0 3 0 5543360 359809024 75348 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 87844 75348 3318 3035 0 78341 0
[pid=35886/tid=35934] ppid=35883 vsize=351376 memory=12916 CPUtime=361.76 cores=5,7
/proc/35886/task/35934/stat : 35934 (fscip) R 35883 35886 35128 0 -1 4194368 227636 0 0 0 36128 48 0 0 20 0 3 0 5543531 359809024 75348 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
[pid=35886/tid=35935] ppid=35883 vsize=351376 memory=300356 CPUtime=0 cores=5,7
/proc/35886/task/35935/stat : 35935 (fscip) S 35883 35886 35128 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5543533 359809024 75348 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
Current children cumulated CPU time: 363.5 s
Current children cumulated vsize: 351376 KiB
Current children cumulated memory: 301392 KiB

[startup+366.4 s]
/proc/loadavg: 4.09 4.12 4.13 5/264 36149
/proc/meminfo: memFree=127998892/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=351376 memory=301392 CPUtime=365.09 cores=5,7
/proc/35886/stat : 35886 (fscip) S 35883 35886 35128 0 -1 1077936128 244237 0 0 0 36457 52 0 0 20 0 3 0 5543360 359809024 75348 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 87844 75348 3318 3035 0 78341 0
[pid=35886/tid=35934] ppid=35883 vsize=351376 memory=25976 CPUtime=363.35 cores=5,7
/proc/35886/task/35934/stat : 35934 (fscip) R 35883 35886 35128 0 -1 4194368 227636 0 0 0 36286 49 0 0 20 0 3 0 5543531 359809024 75348 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
[pid=35886/tid=35935] ppid=35883 vsize=351376 memory=12916 CPUtime=0 cores=5,7
/proc/35886/task/35935/stat : 35935 (fscip) S 35883 35886 35128 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5543533 359809024 75348 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
Current children cumulated CPU time: 365.09 s
Current children cumulated vsize: 351376 KiB
Current children cumulated memory: 301392 KiB

[startup+368 s]*
/proc/loadavg: 4.08 4.12 4.13 5/264 36149
/proc/meminfo: memFree=127996912/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=351376 memory=301392 CPUtime=366.69 cores=5,7
/proc/35886/stat : 35886 (fscip) S 35883 35886 35128 0 -1 1077936128 244237 0 0 0 36617 52 0 0 20 0 3 0 5543360 359809024 75348 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 87844 75348 3318 3035 0 78341 0
[pid=35886/tid=35934] ppid=35883 vsize=351376 memory=21632 CPUtime=364.95 cores=5,7
/proc/35886/task/35934/stat : 35934 (fscip) R 35883 35886 35128 0 -1 4194368 227636 0 0 0 36446 49 0 0 20 0 3 0 5543531 359809024 75348 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
[pid=35886/tid=35935] ppid=35883 vsize=351376 memory=-7594876038192129661 CPUtime=0 cores=5,7
/proc/35886/task/35935/stat : 35935 (fscip) S 35883 35886 35128 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5543533 359809024 75348 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
Current children cumulated CPU time: 366.69 s
Current children cumulated vsize: 351376 KiB
Current children cumulated memory: 301392 KiB

[startup+368.4 s]
/proc/loadavg: 4.08 4.12 4.13 5/264 36149
/proc/meminfo: memFree=127996912/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=351376 memory=301392 CPUtime=367.08 cores=5,7
/proc/35886/stat : 35886 (fscip) S 35883 35886 35128 0 -1 1077936128 244237 0 0 0 36656 52 0 0 20 0 3 0 5543360 359809024 75348 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 87844 75348 3318 3035 0 78341 0
[pid=35886/tid=35934] ppid=35883 vsize=351376 memory=1796 CPUtime=365.34 cores=5,7
/proc/35886/task/35934/stat : 35934 (fscip) R 35883 35886 35128 0 -1 4194368 227636 0 0 0 36485 49 0 0 20 0 3 0 5543531 359809024 75348 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
[pid=35886/tid=35935] ppid=35883 vsize=351376 memory=33108 CPUtime=0 cores=5,7
/proc/35886/task/35935/stat : 35935 (fscip) S 35883 35886 35128 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5543533 359809024 75348 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
Current children cumulated CPU time: 367.08 s
Current children cumulated vsize: 351376 KiB
Current children cumulated memory: 301392 KiB

[startup+368.6 s]
/proc/loadavg: 4.08 4.12 4.13 5/264 36149
/proc/meminfo: memFree=127996912/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=351376 memory=301392 CPUtime=367.28 cores=5,7
/proc/35886/stat : 35886 (fscip) S 35883 35886 35128 0 -1 1077936128 244237 0 0 0 36676 52 0 0 20 0 3 0 5543360 359809024 75348 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 87844 75348 3318 3035 0 78341 0
[pid=35886/tid=35934] ppid=35883 vsize=351376 memory=6944656592455097440 CPUtime=365.54 cores=5,7
/proc/35886/task/35934/stat : 35934 (fscip) R 35883 35886 35128 0 -1 4194368 227636 0 0 0 36505 49 0 0 20 0 3 0 5543531 359809024 75348 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
[pid=35886/tid=35935] ppid=35883 vsize=351376 memory=6944656592387989600 CPUtime=0 cores=5,7
/proc/35886/task/35935/stat : 35935 (fscip) S 35883 35886 35128 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5543533 359809024 75348 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
Current children cumulated CPU time: 367.28 s
Current children cumulated vsize: 351376 KiB
Current children cumulated memory: 301392 KiB

[startup+368.7 s]
/proc/loadavg: 4.08 4.12 4.13 5/264 36149
/proc/meminfo: memFree=127996912/131524600 swapFree=131071996/131071996
[pid=35886] ppid=35883 vsize=351376 memory=301392 CPUtime=367.38 cores=5,7
/proc/35886/stat : 35886 (fscip) S 35883 35886 35128 0 -1 1077936128 244241 0 0 0 36686 52 0 0 20 0 3 0 5543360 359809024 75348 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
/proc/35886/statm: 87844 75348 3318 3035 0 78341 0
[pid=35886/tid=35934] ppid=35883 vsize=351376 memory=300356 CPUtime=365.64 cores=5,7
/proc/35886/task/35934/stat : 35934 (fscip) R 35883 35886 35128 0 -1 4194368 227639 0 0 0 36515 49 0 0 20 0 3 0 5543531 359809024 75348 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
[pid=35886/tid=35935] ppid=35883 vsize=351376 memory=11556 CPUtime=0 cores=5,7
/proc/35886/task/35935/stat : 35935 (fscip) S 35883 35886 35128 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5543533 359809024 75348 134679101440 4194304 16623229 140732379588448 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 29790208 140732379595796 140732379595912 140732379595912 140732379602928 0
Current children cumulated CPU time: 367.38 s
Current children cumulated vsize: 351376 KiB
Current children cumulated memory: 301392 KiB

Child status: 0

Real time (s): 368.731
CPU time (s): 367.419
CPU user time (s): 366.89
CPU system time (s): 0.529259
CPU usage (%): 99.6442
Max. virtual memory (cumulated for all children) (KiB): 351376
Max. memory (cumulated for all children) (KiB): 301392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 366.89
system time used= 0.529259
maximum resident set size= 301572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244979
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= 1170
involuntary context switches= 281


# summary of solver processes directly reported to runsolver:
#   pid: 35886
#   total CPU time (s): 367.419
#   total CPU user time (s): 366.89
#   total CPU system time (s): 0.529259

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.782465 second user time and 1.75759 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-31 03:30:14
IDJOB=4465085
IDBENCH=143176
IDSOLVER=3093
FILE ID=nodeC032/4465085-1722389414
RUNJOBID= nodeC032-1722389405-35195
SLURM_JOB_ID= 8249861
Free space on /tmp= 890000 MiB

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

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

MD5SUM BENCH= 3be5de5dccad0a17ab99c6901729ec82
RANDOM SEED=512237813

nodeC032.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		: 3673.147
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.77
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		: 3670.256
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.64
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.181
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.77
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		: 3599.898
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.64
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		: 3600.428
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.77
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		: 3677.125
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.64
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		: 3673.143
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.77
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		: 3655.998
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.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129270904 kB
MemAvailable:   129526204 kB
Buffers:          105272 kB
Cached:           986120 kB
SwapCached:            0 kB
Active:           278032 kB
Inactive:        1498208 kB
Active(anon):       1544 kB
Inactive(anon):   704636 kB
Active(file):     276488 kB
Inactive(file):   793572 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            114404 kB
Writeback:             0 kB
AnonPages:        684884 kB
Mapped:           122960 kB
Shmem:             21332 kB
KReclaimable:      50124 kB
Slab:             131684 kB
SReclaimable:      50124 kB
SUnreclaim:        81560 kB
KernelStack:        4288 kB
PageTables:        10724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     965432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            10048 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 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:      182996 kB
DirectMap2M:     7979008 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC032 at 2024-07-31 03:36:22