Trace number 4456097

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02OPTIMUM 263.841 264.965

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900576151--soft-0-100-0.wbo
MD5SUM216f6331a5059337c4eb768f690a17ee
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 benchmark42.5581
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 135865
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135864
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02	c Default LC presolving (default).
0.00/0.02	c ** Before presolving: virtualMemUsedAtLc = 35733504, getVmSize() = 35733504, SCIPgetMemUsed() = 10377853, SCIPgetMemTotal() = 13642749, SCIPgetMemExternEstim() = 7879036
0.00/0.02	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.68/1.71	c ** Estimated virtualMemUsedAtSolver = 41992722, getVmSize() = 79155200, SCIPgetMemUsed() = 39418256, SCIPgetMemTotal() = 55110048, 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-4456097-1721718414
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      : 2742
1.68/1.71	c Constraints        : Number
1.68/1.71	c   setppc           : 3 
1.68/1.71	c   linear           : 2707 
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.73	c LC is working with racing ramp-up and with rebuilding tree after racing.
1.68/1.73	c                                Nodes    Active                                            
1.68/1.73	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
1.68/1.74	c *       2              0           1         1      135813.0000                -          -
1.68/1.78	c *       2              0           1         1       90698.0000                -          -
1.68/1.78	c *       2              0           1         1        1140.0000                -          -
3.46/3.57	c *       4              0           1         1         103.0000                -          -
4.95/5.05	c         5              5           6         1         103.0000           0.0000          -
6.64/6.72	c *       7              6           5         1          93.0000           0.0000          -
7.62/7.78	c *       8             12          11         1          61.0000           0.0000          -
9.41/9.52	c *      10             26          13         1          44.0000           0.0000          -
9.61/9.76	c *      10             26          13         1          32.0000           0.0000          -
9.61/9.79	c *      10             26          13         1          31.0000           0.0000          -
9.71/9.87	c *      10             26          13         1          20.0000           0.0000          -
10.01/10.14	c        10             40          10         1          20.0000           0.0000          -
11.70/11.85	c *      12             50          12         1          18.0000           0.0000          -
12.60/12.73	c *      13             73          17         1          13.0000           0.0000          -
15.69/15.88	c        16            120          26         1          13.0000           0.0000          -
17.28/17.46	c *      17            180          40         1           3.0000           0.0000          -
20.77/20.96	c        21            796          50         1           3.0000           0.0000          -
24.46/24.60	c *      25           1088           1         1           2.0000           0.0000          -
26.05/26.29	c        26           1202          10         1           2.0000           0.0000          -
26.75/26.92	c *      27           1202          10         1           1.0000           0.0000          -
31.72/31.98	c        32           2596         127         1           1.0000           0.0000          -
36.81/37.10	c        37           5264          14         1           1.0000           0.0000          -
41.98/42.20	c        42           7126          45         1           1.0000           0.0000          -
47.17/47.40	c        47           9566          75         1           1.0000           0.0000          -
52.15/52.48	c        52          12017         105         1           1.0000           0.0000          -
57.23/57.53	c        58          14919          59         1           1.0000           0.0000          -
62.40/62.72	c        63          17862          40         1           1.0000           0.0000          -
67.39/67.79	c        68          20908          11         1           1.0000           0.0000          -
72.46/72.84	c        73          24446         158         1           1.0000           0.0000          -
77.84/78.28	c        78          28103         189         1           1.0000           0.0000          -
83.22/83.66	c        84          30632         151         1           1.0000           0.0000          -
88.30/88.71	c        89          33994          85         1           1.0000           0.0000          -
93.28/93.78	c        94          36618         235         1           1.0000           0.0000          -
98.36/98.88	c        99          39145         665         1           1.0000           0.0000          -
103.44/103.93	c       104          41491         868         1           1.0000           0.0000          -
108.53/109.00	c       109          44344         973         1           1.0000           0.0000          -
113.50/114.05	c       114          46919        1075         1           1.0000           0.0000          -
118.58/119.12	c       119          49680        1160         1           1.0000           0.0000          -
123.56/124.18	c       124          52500        1235         1           1.0000           0.0000          -
129.54/130.12	c       130          54457        1300         1           1.0000           0.0000          -
134.52/135.17	c       135          57675        1305         1           1.0000           0.0000          -
139.69/140.31	c       140          59858        1313         1           1.0000           0.0000          -
144.67/145.35	c       145          63178        1309         1           1.0000           0.0000          -
149.75/150.40	c       150          66114        1266         1           1.0000           0.0000          -
154.73/155.45	c       155          68761        1271         1           1.0000           0.0000          -
159.81/160.51	c       161          71755        1269         1           1.0000           0.0000          -
164.79/165.58	c       166          74377        1244         1           1.0000           0.0000          -
169.87/170.64	c       171          77216        1201         1           1.0000           0.0000          -
174.85/175.69	c       176          80454        1183         1           1.0000           0.0000          -
179.93/180.74	c       181          83201        1136         1           1.0000           0.0000          -
184.92/185.79	c       186          86432        1026         1           1.0000           0.0000          -
189.99/190.85	c       191          89162         991         1           1.0000           0.0000          -
195.07/195.90	c       196          92207         906         1           1.0000           0.0000          -
200.05/200.95	c       201          95690        1021         1           1.0000           0.0000          -
205.04/206.00	c       206          99125        1025         1           1.0000           0.0000          -
210.11/211.07	c       211         102419         929         1           1.0000           0.0000          -
217.47/218.44	c       218         104907         973         1           1.0000           0.0000          -
222.45/223.49	c       224         108015         881         1           1.0000           0.0000          -
227.53/228.54	c       229         111217         763         1           1.0000           0.0000          -
232.60/233.60	c       234         114202         652         1           1.0000           0.0000          -
237.59/238.69	c       239         116461         635         1           1.0000           0.0000          -
242.66/243.76	c       244         119265         566         1           1.0000           0.0000          -
247.74/248.81	c       249         122044         435         1           1.0000           0.0000          -
252.72/253.87	c       254         125372         288         1           1.0000           0.0000          -
257.80/258.91	c       259         128467         176         1           1.0000           0.0000          -
262.88/264.00	c       264         131324          34         1           1.0000           0.0000          -
263.77/264.91	c       265         131772           0         0           1.0000           1.0000      0.00%
263.77/264.94	c       265         131772           0         0           1.0000           1.0000          -
263.77/264.94	c SCIP Status        : c problem is solved
263.77/264.94	c Total Time         : 264.9400
263.77/264.94	c   solving          : 264.9400
263.77/264.94	c   presolving       : 1.6973 (included in solving)
263.77/264.94	c B&B Tree           :
263.77/264.94	c   nodes (total)    : 131772
263.77/264.94	c Solution           :
263.77/264.94	c   Solutions found  : 16
263.77/264.94	c   Primal Bound     : +1.00000000000000e+00
263.77/264.94	c   Dual Bound       : +1.00000000000000e+00
263.77/264.94	c Gap                : 0.00000 %
263.77/264.96	o 1
263.77/264.96	s OPTIMUM FOUND
263.77/264.96	v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 
263.77/264.96	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 
263.77/264.96	v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 
263.77/264.96	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 x149 -x148 -x147 
263.77/264.96	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 
263.77/264.96	v x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 
263.77/264.96	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 
263.77/264.96	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 
263.77/264.96	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 
263.77/264.96	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 
263.77/264.96	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 (49195 MiB free)
  memory of node 1: 64473 MiB (53176 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=86271, runsolver pid=86261

[startup+0.1007 s]*
/proc/loadavg: 1.48 1.86 2.00 8/259 86277
/proc/meminfo: memFree=104713660/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=50316 memory=39012 CPUtime=0.09 cores=0,2
/proc/86271/stat : 86271 (fscip) R 86261 86271 86200 0 -1 4194304 7372 0 0 0 8 1 0 0 20 0 1 0 8369684 51523584 9753 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 12579 9753 2622 3032 0 8979 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50316 KiB
Current children cumulated memory: 39012 KiB

[startup+0.206301 s]*
/proc/loadavg: 1.48 1.86 2.00 6/259 86277
/proc/meminfo: memFree=104711556/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=50812 memory=39276 CPUtime=0.19 cores=0,2
/proc/86271/stat : 86271 (fscip) R 86261 86271 86200 0 -1 4194304 7468 0 0 0 18 1 0 0 20 0 1 0 8369684 52031488 9819 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 12703 9819 2622 3032 0 9103 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 50812 KiB
Current children cumulated memory: 39276 KiB

[startup+0.306389 s]*
/proc/loadavg: 1.48 1.86 2.00 8/259 86277
/proc/meminfo: memFree=104710996/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=50812 memory=39276 CPUtime=0.29 cores=0,2
/proc/86271/stat : 86271 (fscip) R 86261 86271 86200 0 -1 4194304 7468 0 0 0 28 1 0 0 20 0 1 0 8369684 52031488 9819 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 12703 9819 2622 3032 0 9103 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 50812 KiB
Current children cumulated memory: 39276 KiB

[startup+0.700172 s]
/proc/loadavg: 1.48 1.86 2.00 8/259 86277
/proc/meminfo: memFree=104708488/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=52356 memory=40860 CPUtime=0.68 cores=0,2
/proc/86271/stat : 86271 (fscip) R 86261 86271 86200 0 -1 4194304 7852 0 0 0 67 1 0 0 20 0 1 0 8369684 53612544 10215 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 13089 10215 2622 3032 0 9489 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52356 KiB
Current children cumulated memory: 40860 KiB

[startup+1.50016 s]
/proc/loadavg: 1.48 1.86 2.00 8/259 86277
/proc/meminfo: memFree=104703244/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=53384 memory=41916 CPUtime=1.48 cores=0,2
/proc/86271/stat : 86271 (fscip) R 86261 86271 86200 0 -1 4194304 8113 0 0 0 147 1 0 0 20 0 1 0 8369684 54665216 10479 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 13346 10479 2622 3032 0 9746 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53384 KiB
Current children cumulated memory: 41916 KiB

[startup+3.10668 s]
/proc/loadavg: 1.48 1.86 2.00 8/267 86287
/proc/meminfo: memFree=104463124/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=169792 memory=111080 CPUtime=3.07 cores=0,2
/proc/86271/stat : 86271 (fscip) S 86261 86271 86200 0 -1 1077936128 31165 0 0 0 303 4 0 0 20 0 3 0 8369684 173867008 27770 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 42448 27770 2830 3032 0 34730 0
[pid=86271/tid=86281] ppid=86261 vsize=169792 memory=0 CPUtime=1.35 cores=0,2
/proc/86271/task/86281/stat : 86281 (fscip) R 86261 86271 86200 0 -1 4194368 17680 0 0 0 134 1 0 0 20 0 3 0 8369856 173867008 27770 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
[pid=86271/tid=86284] ppid=86261 vsize=169792 memory=102892 CPUtime=0 cores=0,2
/proc/86271/task/86284/stat : 86284 (fscip) S 86261 86271 86200 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 8369857 173867008 27770 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 169792 KiB
Current children cumulated memory: 111080 KiB

[startup+6.30069 s]
/proc/loadavg: 1.84 1.93 2.02 9/267 86287
/proc/meminfo: memFree=104342100/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=238392 memory=172964 CPUtime=6.24 cores=0,2
/proc/86271/stat : 86271 (fscip) S 86261 86271 86200 0 -1 1077936128 48914 0 0 0 617 7 0 0 20 0 3 0 8369684 244113408 43241 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 59598 43241 2990 3032 0 51117 0
[pid=86271/tid=86281] ppid=86261 vsize=238392 memory=97348 CPUtime=4.51 cores=0,2
/proc/86271/task/86281/stat : 86281 (fscip) R 86261 86271 86200 0 -1 4194368 34933 0 0 0 447 4 0 0 20 0 3 0 8369856 244113408 43241 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
[pid=86271/tid=86284] ppid=86261 vsize=238392 memory=41916 CPUtime=0 cores=0,2
/proc/86271/task/86284/stat : 86284 (fscip) S 86261 86271 86200 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 8369857 244113408 43241 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 238392 KiB
Current children cumulated memory: 172964 KiB

[startup+12.7002 s]
/proc/loadavg: 2.02 1.96 2.03 7/267 86288
/proc/meminfo: memFree=104180624/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=238392 memory=173436 CPUtime=12.6 cores=0,2
/proc/86271/stat : 86271 (fscip) S 86261 86271 86200 0 -1 1077936128 73806 0 0 0 1251 9 0 0 20 0 3 0 8369684 244113408 43359 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 59598 43359 2990 3032 0 51117 0
[pid=86271/tid=86281] ppid=86261 vsize=238392 memory=173376 CPUtime=10.87 cores=0,2
/proc/86271/task/86281/stat : 86281 (fscip) R 86261 86271 86200 0 -1 4194368 58686 0 0 0 1081 6 0 0 20 0 3 0 8369856 244113408 43359 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
[pid=86271/tid=86284] ppid=86261 vsize=238392 memory=11548 CPUtime=0 cores=0,2
/proc/86271/task/86284/stat : 86284 (fscip) S 86261 86271 86200 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 8369857 244113408 43359 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 238392 KiB
Current children cumulated memory: 173436 KiB

[startup+25.5002 s]
/proc/loadavg: 2.53 2.08 2.07 8/267 86290
/proc/meminfo: memFree=104174940/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=238392 memory=175616 CPUtime=25.35 cores=0,2
/proc/86271/stat : 86271 (fscip) S 86261 86271 86200 0 -1 1077936128 115377 0 0 0 2523 12 0 0 20 0 3 0 8369684 244113408 43904 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 59598 43904 2990 3032 0 51117 0
[pid=86271/tid=86281] ppid=86261 vsize=238392 memory=175172 CPUtime=23.62 cores=0,2
/proc/86271/task/86281/stat : 86281 (fscip) R 86261 86271 86200 0 -1 4194368 98841 0 0 0 2353 9 0 0 20 0 3 0 8369856 244113408 43904 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
[pid=86271/tid=86284] ppid=86261 vsize=238392 memory=175164 CPUtime=0 cores=0,2
/proc/86271/task/86284/stat : 86284 (fscip) S 86261 86271 86200 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 8369857 244113408 43904 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 238392 KiB
Current children cumulated memory: 175616 KiB

[startup+51.1067 s]
/proc/loadavg: 3.03 2.24 2.12 8/267 86293
/proc/meminfo: memFree=103999248/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=306368 memory=225704 CPUtime=50.86 cores=0,2
/proc/86271/stat : 86271 (fscip) S 86261 86271 86200 0 -1 1077936128 202117 0 0 0 5065 21 0 0 20 0 3 0 8369684 313720832 56426 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 76592 56426 2990 3032 0 63851 0
[pid=86271/tid=86281] ppid=86261 vsize=306368 memory=225700 CPUtime=49.13 cores=0,2
/proc/86271/task/86281/stat : 86281 (fscip) R 86261 86271 86200 0 -1 4194368 185022 0 0 0 4895 18 0 0 20 0 3 0 8369856 313720832 56426 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
[pid=86271/tid=86284] ppid=86261 vsize=306368 memory=4638778398332895336 CPUtime=0 cores=0,2
/proc/86271/task/86284/stat : 86284 (fscip) S 86261 86271 86200 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 8369857 313720832 56426 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 306368 KiB
Current children cumulated memory: 225704 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 2.52 2.23 8/267 86303
/proc/meminfo: memFree=103869212/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=312368 memory=231432 CPUtime=101.84 cores=0,2
/proc/86271/stat : 86271 (fscip) S 86261 86271 86200 0 -1 1077936128 270048 0 0 0 10154 30 0 0 20 0 3 0 8369684 319864832 57858 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 78092 57858 2990 3032 0 65351 0
[pid=86271/tid=86281] ppid=86261 vsize=312368 memory=231428 CPUtime=100.11 cores=0,2
/proc/86271/task/86281/stat : 86281 (fscip) R 86261 86271 86200 0 -1 4194368 252845 0 0 0 9984 27 0 0 20 0 3 0 8369856 319864832 57858 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
[pid=86271/tid=86284] ppid=86261 vsize=312368 memory=227652 CPUtime=0 cores=0,2
/proc/86271/task/86284/stat : 86284 (fscip) S 86261 86271 86200 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 8369857 319864832 57858 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 312368 KiB
Current children cumulated memory: 231432 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 2.83 2.35 8/267 86314
/proc/meminfo: memFree=103741456/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=316072 memory=248384 CPUtime=161.61 cores=0,2
/proc/86271/stat : 86271 (fscip) S 86261 86271 86200 0 -1 1077936128 320922 0 0 0 16120 41 0 0 20 0 3 0 8369684 323657728 62096 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 79018 62096 2990 3032 0 69728 0
[pid=86271/tid=86281] ppid=86261 vsize=316072 memory=245832 CPUtime=159.87 cores=0,2
/proc/86271/task/86281/stat : 86281 (fscip) R 86261 86271 86200 0 -1 4194368 303658 0 0 0 15950 37 0 0 20 0 3 0 8369856 323657728 62096 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
[pid=86271/tid=86284] ppid=86261 vsize=316072 memory=233032 CPUtime=0 cores=0,2
/proc/86271/task/86284/stat : 86284 (fscip) S 86261 86271 86200 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 8369857 323657728 62096 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 316072 KiB
Current children cumulated memory: 248384 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 3.04 2.46 8/264 86324
/proc/meminfo: memFree=103639952/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=329856 memory=261264 CPUtime=221.35 cores=0,2
/proc/86271/stat : 86271 (fscip) S 86261 86271 86200 0 -1 1077936128 352646 0 0 0 22085 50 0 0 20 0 3 0 8369684 337772544 65316 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 82464 65316 2990 3032 0 73174 0
[pid=86271/tid=86281] ppid=86261 vsize=329856 memory=251136 CPUtime=219.61 cores=0,2
/proc/86271/task/86281/stat : 86281 (fscip) R 86261 86271 86200 0 -1 4194368 335358 0 0 0 21915 46 0 0 20 0 3 0 8369856 337772544 65316 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
[pid=86271/tid=86284] ppid=86261 vsize=329856 memory=260908 CPUtime=0 cores=0,2
/proc/86271/task/86284/stat : 86284 (fscip) S 86261 86271 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8369857 337772544 65316 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
Current children cumulated CPU time: 221.35 s
Current children cumulated vsize: 329856 KiB
Current children cumulated memory: 261264 KiB

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

# cumulated CPU time of all completed processes:  user=263.277 s, system=0.56451 s

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

[startup+230.4 s]
/proc/loadavg: 3.99 3.07 2.47 8/264 86325
/proc/meminfo: memFree=103636008/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=329856 memory=261264 CPUtime=229.42 cores=0,2
/proc/86271/stat : 86271 (fscip) S 86261 86271 86200 0 -1 1077936128 353034 0 0 0 22891 51 0 0 20 0 3 0 8369684 337772544 65316 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 82464 65316 2990 3032 0 73174 0
[pid=86271/tid=86281] ppid=86261 vsize=329856 memory=0 CPUtime=227.68 cores=0,2
/proc/86271/task/86281/stat : 86281 (fscip) R 86261 86271 86200 0 -1 4194368 335745 0 0 0 22721 47 0 0 20 0 3 0 8369856 337772544 65316 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
[pid=86271/tid=86284] ppid=86261 vsize=329856 memory=280547130030624 CPUtime=0 cores=0,2
/proc/86271/task/86284/stat : 86284 (fscip) S 86261 86271 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8369857 337772544 65316 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
Current children cumulated CPU time: 229.42 s
Current children cumulated vsize: 329856 KiB
Current children cumulated memory: 261264 KiB

[startup+243.2 s]
/proc/loadavg: 4.07 3.12 2.50 8/266 86333
/proc/meminfo: memFree=103630864/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=329856 memory=261328 CPUtime=242.16 cores=0,2
/proc/86271/stat : 86271 (fscip) S 86261 86271 86200 0 -1 1077936128 354486 0 0 0 24164 52 0 0 20 0 3 0 8369684 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 82464 65332 2990 3032 0 73174 0
[pid=86271/tid=86281] ppid=86261 vsize=329856 memory=33272 CPUtime=240.42 cores=0,2
/proc/86271/task/86281/stat : 86281 (fscip) R 86261 86271 86200 0 -1 4194368 337197 0 0 0 23994 48 0 0 20 0 3 0 8369856 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
[pid=86271/tid=86284] ppid=86261 vsize=329856 memory=13136 CPUtime=0 cores=0,2
/proc/86271/task/86284/stat : 86284 (fscip) S 86261 86271 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8369857 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
Current children cumulated CPU time: 242.16 s
Current children cumulated vsize: 329856 KiB
Current children cumulated memory: 261328 KiB

[startup+256 s]*
/proc/loadavg: 4.05 3.17 2.52 8/266 86335
/proc/meminfo: memFree=103615172/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=329856 memory=261328 CPUtime=254.91 cores=0,2
/proc/86271/stat : 86271 (fscip) S 86261 86271 86200 0 -1 1077936128 354521 0 0 0 25438 53 0 0 20 0 3 0 8369684 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 82464 65332 2990 3032 0 73174 0
[pid=86271/tid=86281] ppid=86261 vsize=329856 memory=-6370454263410299231 CPUtime=253.18 cores=0,2
/proc/86271/task/86281/stat : 86281 (fscip) R 86261 86271 86200 0 -1 4194368 337232 0 0 0 25268 50 0 0 20 0 3 0 8369856 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
[pid=86271/tid=86284] ppid=86261 vsize=329856 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/86271/task/86284/stat : 86284 (fscip) S 86261 86271 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8369857 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
Current children cumulated CPU time: 254.91 s
Current children cumulated vsize: 329856 KiB
Current children cumulated memory: 261328 KiB

[startup+259.2 s]
/proc/loadavg: 4.05 3.17 2.52 8/266 86335
/proc/meminfo: memFree=103612428/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=329856 memory=261328 CPUtime=258.1 cores=0,2
/proc/86271/stat : 86271 (fscip) S 86261 86271 86200 0 -1 1077936128 354523 0 0 0 25756 54 0 0 20 0 3 0 8369684 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 82464 65332 2990 3032 0 73174 0
[pid=86271/tid=86281] ppid=86261 vsize=329856 memory=261328 CPUtime=256.35 cores=0,2
/proc/86271/task/86281/stat : 86281 (fscip) R 86261 86271 86200 0 -1 4194368 337234 0 0 0 25585 50 0 0 20 0 3 0 8369856 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
[pid=86271/tid=86284] ppid=86261 vsize=329856 memory=372459496802538 CPUtime=0 cores=0,2
/proc/86271/task/86284/stat : 86284 (fscip) S 86261 86271 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8369857 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
Current children cumulated CPU time: 258.1 s
Current children cumulated vsize: 329856 KiB
Current children cumulated memory: 261328 KiB

[startup+262.4 s]
/proc/loadavg: 4.05 3.18 2.53 7/266 86336
/proc/meminfo: memFree=103611492/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=329856 memory=261328 CPUtime=261.28 cores=0,2
/proc/86271/stat : 86271 (fscip) S 86261 86271 86200 0 -1 1077936128 354534 0 0 0 26074 54 0 0 20 0 3 0 8369684 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 82464 65332 2990 3032 0 73174 0
[pid=86271/tid=86281] ppid=86261 vsize=329856 memory=261328 CPUtime=259.54 cores=0,2
/proc/86271/task/86281/stat : 86281 (fscip) R 86261 86271 86200 0 -1 4194368 337245 0 0 0 25903 51 0 0 20 0 3 0 8369856 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
[pid=86271/tid=86284] ppid=86261 vsize=329856 memory=11548 CPUtime=0 cores=0,2
/proc/86271/task/86284/stat : 86284 (fscip) S 86261 86271 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8369857 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
Current children cumulated CPU time: 261.28 s
Current children cumulated vsize: 329856 KiB
Current children cumulated memory: 261328 KiB

[startup+264 s]*
/proc/loadavg: 4.05 3.18 2.53 7/266 86336
/proc/meminfo: memFree=103611620/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=329856 memory=261328 CPUtime=262.88 cores=0,2
/proc/86271/stat : 86271 (fscip) R 86261 86271 86200 0 -1 1077936128 358434 0 0 0 26233 55 0 0 20 0 3 0 8369684 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 82464 65332 2990 3032 0 73174 0
[pid=86271/tid=86281] ppid=86261 vsize=329856 memory=-7522812946596060795 CPUtime=261.13 cores=0,2
/proc/86271/task/86281/stat : 86281 (fscip) S 86261 86271 86200 0 -1 1077936192 341145 0 0 0 26062 51 0 0 20 0 3 0 8369856 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
[pid=86271/tid=86284] ppid=86261 vsize=329856 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/86271/task/86284/stat : 86284 (fscip) S 86261 86271 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8369857 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
Current children cumulated CPU time: 262.88 s
Current children cumulated vsize: 329856 KiB
Current children cumulated memory: 261328 KiB

[startup+264.4 s]
/proc/loadavg: 4.05 3.18 2.53 7/266 86336
/proc/meminfo: memFree=103611620/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=329856 memory=261328 CPUtime=263.27 cores=0,2
/proc/86271/stat : 86271 (fscip) S 86261 86271 86200 0 -1 1077936128 360027 0 0 0 26272 55 0 0 20 0 3 0 8369684 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 82464 65332 2990 3032 0 73174 0
[pid=86271/tid=86281] ppid=86261 vsize=329856 memory=1600 CPUtime=261.52 cores=0,2
/proc/86271/task/86281/stat : 86281 (fscip) R 86261 86271 86200 0 -1 4194368 342724 0 0 0 26101 51 0 0 20 0 3 0 8369856 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
[pid=86271/tid=86284] ppid=86261 vsize=329856 memory=261328 CPUtime=0 cores=0,2
/proc/86271/task/86284/stat : 86284 (fscip) S 86261 86271 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8369857 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
Current children cumulated CPU time: 263.27 s
Current children cumulated vsize: 329856 KiB
Current children cumulated memory: 261328 KiB

[startup+264.8 s]
/proc/loadavg: 4.05 3.18 2.53 7/266 86336
/proc/meminfo: memFree=103611620/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=329856 memory=261328 CPUtime=263.67 cores=0,2
/proc/86271/stat : 86271 (fscip) S 86261 86271 86200 0 -1 1077936128 360437 0 0 0 26312 55 0 0 20 0 3 0 8369684 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 82464 65332 2990 3032 0 73174 0
[pid=86271/tid=86281] ppid=86261 vsize=329856 memory=11580 CPUtime=261.92 cores=0,2
/proc/86271/task/86281/stat : 86281 (fscip) R 86261 86271 86200 0 -1 4194368 343132 0 0 0 26141 51 0 0 20 0 3 0 8369856 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
[pid=86271/tid=86284] ppid=86261 vsize=329856 memory=2628 CPUtime=0 cores=0,2
/proc/86271/task/86284/stat : 86284 (fscip) S 86261 86271 86200 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 8369857 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
Current children cumulated CPU time: 263.67 s
Current children cumulated vsize: 329856 KiB
Current children cumulated memory: 261328 KiB

[startup+264.9 s]
/proc/loadavg: 4.05 3.18 2.53 7/266 86336
/proc/meminfo: memFree=103611620/131524600 swapFree=131071996/131071996
[pid=86271] ppid=86261 vsize=329856 memory=261328 CPUtime=263.77 cores=0,2
/proc/86271/stat : 86271 (fscip) S 86261 86271 86200 0 -1 1077936128 360490 0 0 0 26322 55 0 0 20 0 3 0 8369684 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
/proc/86271/statm: 82464 65332 2990 3032 0 73174 0
[pid=86271/tid=86281] ppid=86261 vsize=329856 memory=11548 CPUtime=262.02 cores=0,2
/proc/86271/task/86281/stat : 86281 (fscip) R 86261 86271 86200 0 -1 4194368 343185 0 0 0 26151 51 0 0 20 0 3 0 8369856 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
[pid=86271/tid=86284] ppid=86261 vsize=329856 memory=261328 CPUtime=0 cores=0,2
/proc/86271/task/86284/stat : 86284 (fscip) S 86261 86271 86200 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 8369857 337772544 65332 134679101440 4194304 16613245 140734469440800 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 51421184 140734469444632 140734469444748 140734469444748 140734469451760 0
Current children cumulated CPU time: 263.77 s
Current children cumulated vsize: 329856 KiB
Current children cumulated memory: 261328 KiB

Child status: 0

Real time (s): 264.965
CPU time (s): 263.841
CPU user time (s): 263.277
CPU system time (s): 0.56451
CPU usage (%): 99.5759
Max. virtual memory (cumulated for all children) (KiB): 329856
Max. memory (cumulated for all children) (KiB): 261328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 263.277
system time used= 0.56451
maximum resident set size= 261328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371220
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= 853
involuntary context switches= 1896


# summary of solver processes directly reported to runsolver:
#   pid: 86271
#   total CPU time (s): 263.841
#   total CPU user time (s): 263.277
#   total CPU system time (s): 0.56451

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.549836 second user time and 1.50343 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-23 09:06:54
IDJOB=4456097
IDBENCH=143199
IDSOLVER=3044
FILE ID=nodeC018/4456097-1721718414
RUNJOBID= nodeC018-1721718414-86210
SLURM_JOB_ID= 7770409
Free space on /tmp= 890084 MiB

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

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

MD5SUM BENCH= 216f6331a5059337c4eb768f690a17ee
RANDOM SEED=170537521

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        104830700 kB
MemAvailable:   129773096 kB
Buffers:          140784 kB
Cached:         25530080 kB
SwapCached:            0 kB
Active:           913936 kB
Inactive:       25020692 kB
Active(anon):       1432 kB
Inactive(anon):   300140 kB
Active(file):     912504 kB
Inactive(file): 24720552 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            113000 kB
Writeback:             8 kB
AnonPages:        261844 kB
Mapped:            99624 kB
Shmem:             37712 kB
KReclaimable:     298328 kB
Slab:             405460 kB
SReclaimable:     298328 kB
SUnreclaim:       107132 kB
KernelStack:        3888 kB
PageTables:         9352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     617084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19616 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      281300 kB
DirectMap2M:    24657920 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC018 at 2024-07-23 09:11:19