Trace number 4456147

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 278.731 279.935

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552423--soft-0-100-0.wbo
MD5SUM128eb31e74e9d5316274ee97a7821bb0
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark20.8141
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 136180
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136179
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 779
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.59/1.69	c ** Estimated virtualMemUsedAtSolver = 31989760, getVmSize() = 60235776, SCIPgetMemUsed() = 21333801, SCIPgetMemTotal() = 36521241, SCIPgetMemExternEstim() = 7879036
1.59/1.69	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
1.59/1.69	c Original Problem   :
1.59/1.69	c   Problem name     : instance-4456147-1721718680
1.59/1.69	c   Variables        : 2938 (2938 binary, 0 integer, 0 implicit integer, 0 continuous)
1.59/1.69	c   Constraints      : 5415
1.59/1.69	c   Objective sense  : minimize
1.59/1.69	c Presolved Problem  :
1.59/1.69	c   Variables        : 2961 (2938 binary, 0 integer, 23 implicit integer, 0 continuous)
1.59/1.69	c   Constraints      : 2739
1.59/1.69	c Constraints        : Number
1.59/1.69	c   linear           : 2707 
1.59/1.69	c   indicator        : 32 
1.59/1.69	c ** Instance transfer method used: 0
1.69/1.70	c ** ParaScipInstance copy does not increase the number of variables. **
1.69/1.71	c LC is working with racing ramp-up and with rebuilding tree after racing.
1.69/1.71	c                                Nodes    Active                                            
1.69/1.71	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
1.69/1.75	c *       2              0           1         1       90089.0000                -          -
1.69/1.75	c *       2              0           1         1         947.0000                -          -
3.37/3.44	c *       3              0           1         1         103.0000                -          -
4.96/5.02	c         5              5           6         1         103.0000           0.0000          -
9.61/9.76	c *      10             17           8         1         101.0000           0.0000          -
9.61/9.77	c *      10             17           8         1          93.0000           0.0000          -
9.81/9.99	c *      10             17           8         1          86.0000           0.0000          -
9.91/10.08	c *      10             17           8         1          56.0000           0.0000          -
9.91/10.08	c        10             17           8         1          56.0000           0.0000          -
11.29/11.50	c *      12             32          14         1          11.0000           0.0000          -
15.38/15.52	c        16            121          24         1          11.0000           0.0000          -
20.45/20.63	c        21            459          54         1          11.0000           0.0000          -
25.73/25.96	c        26            852         119         1          11.0000           0.0000          -
31.41/31.65	c        32           1024         166         1          11.0000           0.0000          -
36.90/37.13	c        37           1242         226         1          11.0000           0.0000          -
42.27/42.50	c        43           1706         246         1          11.0000           0.0000          -
47.46/47.74	c        48           2633         479         1          11.0000           0.0000          -
52.93/53.21	c        53           3533         739         1          11.0000           0.0000          -
58.11/58.46	c        58           4192         932         1          11.0000           0.0000          -
63.19/63.53	c        64           4771        1072         1          11.0000           0.0000          -
68.37/68.74	c        69           5786        1314         1          11.0000           0.0000          -
73.56/73.95	c        74           7011        1640         1          11.0000           0.0000          -
78.64/79.08	c        79           8315        1920         1          11.0000           0.0000          -
83.91/84.38	c        84           9281        2110         1          11.0000           0.0000          -
89.00/89.44	c        89          10759        2539         1          11.0000           0.0000          -
94.07/94.58	c        95          12366        2874         1          11.0000           0.0000          -
99.45/99.91	c       100          14011        3267         1          11.0000           0.0000          -
104.54/105.04	c       105          15682        3595         1          11.0000           0.0000          -
109.91/110.45	c       110          16662        3883         1          11.0000           0.0000          -
115.08/115.60	c       116          18660        4406         1          11.0000           0.0000          -
120.07/120.65	c       121          21045        4994         1          11.0000           0.0000          -
125.15/125.74	c       126          23182        5453         1          11.0000           0.0000          -
130.12/130.78	c       131          25462        5889         1          11.0000           0.0000          -
135.21/135.84	c       136          27410        6527         1          11.0000           0.0000          -
140.88/141.54	c       142          28489        6946         1          11.0000           0.0000          -
145.96/146.63	c       147          30112        7352         1          11.0000           0.0000          -
150.94/151.69	c       152          31832        7796         1          11.0000           0.0000          -
156.22/156.97	c       157          33071        8158         1          11.0000           0.0000          -
161.30/162.03	c       162          34857        8584         1          11.0000           0.0000          -
166.28/167.08	c       167          36540        9083         1          11.0000           0.0000          -
171.36/172.13	c       172          38212        9521         1          11.0000           0.0000          -
176.34/177.18	c       177          40088        9949         1          11.0000           0.0000          -
181.41/182.24	c       182          41622       10245         1          11.0000           0.0000          -
186.59/187.41	c *     187          42793       10544         1           9.0000           0.0000          -
186.59/187.41	c       187          42793       10544         1           9.0000           0.0000          -
191.67/192.57	c       193          44236        9349         1           9.0000           0.0000          -
196.75/197.64	c       198          45745        9532         1           9.0000           0.0000          -
201.83/202.76	c       203          47364        9753         1           9.0000           0.0000          -
207.12/208.10	c       208          48600       10019         1           9.0000           0.0000          -
212.39/213.39	c       213          50379       10187         1           9.0000           0.0000          -
217.57/218.59	c       219          52189       10227         1           9.0000           0.2128          -
222.64/223.64	c       224          53749       10222         1           9.0000           0.3092          -
227.62/228.67	c       229          55359       10230         1           9.0000           0.4240          -
232.79/233.88	c       234          57229       10215         1           9.0000           0.5286          -
237.87/238.95	c       239          59319       10157         1           9.0000           0.6419          -
242.96/244.05	c       244          61459       10218         1           9.0000           0.7000          -
243.15/244.20	c *     244          61459       10218         1           7.0000           0.7000          -
245.15/246.22	c *     246          62179        7976         1           6.0000           0.7200          -
248.23/249.38	c       249          63239        5667         1           6.0000           0.7515          -
253.41/254.57	c       255          65009        5462         1           6.0000           0.8571          -
253.80/254.99	c *     255          65069        5447         1           5.0000           0.8698    474.85%
258.49/259.62	c       260          67249        3812         1           5.0000           0.9750    412.82%
263.75/264.93	c       265          69459        3187         1           5.0000           1.0714    366.67%
268.73/269.97	c       270          71719        2485         1           5.0000           1.3125    280.95%
273.91/275.19	c       275          74388        1595         1           5.0000           1.5000    233.33%
278.59/279.88	c       280          76920           0         0           5.0000           5.0000      0.00%
278.69/279.91	c       280          76920           0         0           5.0000           5.0000          -
278.69/279.91	c SCIP Status        : c problem is solved
278.69/279.91	c Total Time         : 279.9100
278.69/279.91	c   solving          : 279.9100
278.69/279.91	c   presolving       : 1.6787 (included in solving)
278.69/279.91	c B&B Tree           :
278.69/279.91	c   nodes (total)    : 76920
278.69/279.91	c Solution           :
278.69/279.91	c   Solutions found  : 13
278.69/279.91	c   Primal Bound     : +5.00000000000000e+00
278.69/279.91	c   Dual Bound       : +5.00000000000000e+00
278.69/279.91	c Gap                : 0.00000 %
278.69/279.92	o 5
278.69/279.92	s OPTIMUM FOUND
278.69/279.92	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 x210 
278.69/279.92	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 
278.69/279.92	v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 
278.69/279.92	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 
278.69/279.92	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 
278.69/279.92	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 x106 -x105 
278.69/279.92	v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 
278.69/279.92	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 
278.69/279.92	v -x54 -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 
278.69/279.92	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 
278.69/279.92	v -x1

Verifier Data 

OK	5

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

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


[startup+0.100094 s]*
/proc/loadavg: 4.04 3.19 2.54 5/264 86382
/proc/meminfo: memFree=103825852/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=50316 memory=39016 CPUtime=0.1 cores=0,2
/proc/86381/stat : 86381 (fscip) R 86378 86381 86200 0 -1 4194304 7373 0 0 0 9 1 0 0 20 0 1 0 8396236 51523584 9754 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 12579 9754 2622 3032 0 8979 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50316 KiB
Current children cumulated memory: 39016 KiB

[startup+0.205761 s]*
/proc/loadavg: 4.04 3.19 2.54 5/264 86382
/proc/meminfo: memFree=103825180/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=50812 memory=39280 CPUtime=0.2 cores=0,2
/proc/86381/stat : 86381 (fscip) R 86378 86381 86200 0 -1 4194304 7469 0 0 0 19 1 0 0 20 0 1 0 8396236 52031488 9820 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 12703 9820 2622 3032 0 9103 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50812 KiB
Current children cumulated memory: 39280 KiB

[startup+0.305745 s]*
/proc/loadavg: 4.04 3.19 2.54 5/264 86382
/proc/meminfo: memFree=103824844/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=50812 memory=39280 CPUtime=0.3 cores=0,2
/proc/86381/stat : 86381 (fscip) R 86378 86381 86200 0 -1 4194304 7469 0 0 0 29 1 0 0 20 0 1 0 8396236 52031488 9820 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 12703 9820 2622 3032 0 9103 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50812 KiB
Current children cumulated memory: 39280 KiB

[startup+0.700226 s]
/proc/loadavg: 4.04 3.19 2.54 5/264 86382
/proc/meminfo: memFree=103823876/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=52356 memory=40864 CPUtime=0.69 cores=0,2
/proc/86381/stat : 86381 (fscip) R 86378 86381 86200 0 -1 4194304 7853 0 0 0 68 1 0 0 20 0 1 0 8396236 53612544 10216 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 13089 10216 2622 3032 0 9489 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52356 KiB
Current children cumulated memory: 40864 KiB

[startup+1.50018 s]
/proc/loadavg: 4.04 3.19 2.54 5/264 86382
/proc/meminfo: memFree=103822840/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=53384 memory=41920 CPUtime=1.49 cores=0,2
/proc/86381/stat : 86381 (fscip) R 86378 86381 86200 0 -1 4194304 8114 0 0 0 148 1 0 0 20 0 1 0 8396236 54665216 10480 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 13346 10480 2622 3032 0 9746 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53384 KiB
Current children cumulated memory: 41920 KiB

[startup+3.10581 s]
/proc/loadavg: 4.04 3.19 2.54 5/266 86384
/proc/meminfo: memFree=103762120/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=150620 memory=100916 CPUtime=3.07 cores=0,2
/proc/86381/stat : 86381 (fscip) S 86378 86381 86200 0 -1 1077936128 28750 0 0 0 303 4 0 0 20 0 3 0 8396236 154234880 25229 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 37655 25229 2830 3032 0 30473 0
[pid=86381/tid=86383] ppid=86378 vsize=150620 memory=0 CPUtime=1.37 cores=0,2
/proc/86381/task/86383/stat : 86383 (fscip) R 86378 86381 86200 0 -1 4194368 18466 0 0 0 135 2 0 0 20 0 3 0 8396406 154234880 25229 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
[pid=86381/tid=86384] ppid=86378 vsize=150620 memory=92640 CPUtime=0 cores=0,2
/proc/86381/task/86384/stat : 86384 (fscip) S 86378 86381 86200 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 8396408 154234880 25229 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 150620 KiB
Current children cumulated memory: 100916 KiB

[startup+6.30081 s]
/proc/loadavg: 4.04 3.21 2.55 5/266 86384
/proc/meminfo: memFree=103691072/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=217168 memory=159608 CPUtime=6.24 cores=0,2
/proc/86381/stat : 86381 (fscip) S 86378 86381 86200 0 -1 1077936128 45583 0 0 0 617 7 0 0 20 0 3 0 8396236 222380032 39902 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 54292 39902 2990 3032 0 45803 0
[pid=86381/tid=86383] ppid=86378 vsize=217168 memory=117212 CPUtime=4.54 cores=0,2
/proc/86381/task/86383/stat : 86383 (fscip) R 86378 86381 86200 0 -1 4194368 34794 0 0 0 449 5 0 0 20 0 3 0 8396406 222380032 39902 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
[pid=86381/tid=86384] ppid=86378 vsize=217168 memory=88152 CPUtime=0 cores=0,2
/proc/86381/task/86384/stat : 86384 (fscip) S 86378 86381 86200 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 8396408 222380032 39902 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 217168 KiB
Current children cumulated memory: 159608 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 3.22 2.55 5/266 86386
/proc/meminfo: memFree=103688528/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=217168 memory=160164 CPUtime=12.58 cores=0,2
/proc/86381/stat : 86381 (fscip) S 86378 86381 86200 0 -1 1077936128 75670 0 0 0 1250 8 0 0 20 0 3 0 8396236 222380032 40041 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 54292 40041 2990 3032 0 45803 0
[pid=86381/tid=86383] ppid=86378 vsize=217168 memory=159780 CPUtime=10.88 cores=0,2
/proc/86381/task/86383/stat : 86383 (fscip) R 86378 86381 86200 0 -1 4194368 64167 0 0 0 1082 6 0 0 20 0 3 0 8396406 222380032 40041 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
[pid=86381/tid=86384] ppid=86378 vsize=217168 memory=-7450755352558132857 CPUtime=0 cores=0,2
/proc/86381/task/86384/stat : 86384 (fscip) S 86378 86381 86200 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 8396408 222380032 40041 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 217168 KiB
Current children cumulated memory: 160164 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 3.28 2.58 5/266 86388
/proc/meminfo: memFree=103678380/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=217168 memory=163508 CPUtime=25.34 cores=0,2
/proc/86381/stat : 86381 (fscip) S 86378 86381 86200 0 -1 1077936128 113971 0 0 0 2523 11 0 0 20 0 3 0 8396236 222380032 40877 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 54292 40877 3310 3032 0 45803 0
[pid=86381/tid=86383] ppid=86378 vsize=217168 memory=11548 CPUtime=23.63 cores=0,2
/proc/86381/task/86383/stat : 86383 (fscip) R 86378 86381 86200 0 -1 4194368 102394 0 0 0 2354 9 0 0 20 0 3 0 8396406 222380032 40877 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
[pid=86381/tid=86384] ppid=86378 vsize=217168 memory=163480 CPUtime=0 cores=0,2
/proc/86381/task/86384/stat : 86384 (fscip) S 86378 86381 86200 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 8396408 222380032 40877 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 217168 KiB
Current children cumulated memory: 163508 KiB

[startup+51.1057 s]
/proc/loadavg: 4.06 3.33 2.62 5/266 86393
/proc/meminfo: memFree=103571648/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=288560 memory=212648 CPUtime=50.84 cores=0,2
/proc/86381/stat : 86381 (fscip) S 86378 86381 86200 0 -1 1077936128 188845 0 0 0 5064 20 0 0 20 0 3 0 8396236 295485440 53162 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 72140 53162 3310 3032 0 58737 0
[pid=86381/tid=86383] ppid=86378 vsize=288560 memory=170052 CPUtime=49.14 cores=0,2
/proc/86381/task/86383/stat : 86383 (fscip) R 86378 86381 86200 0 -1 4194368 177152 0 0 0 4896 18 0 0 20 0 3 0 8396406 295485440 53162 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
[pid=86381/tid=86384] ppid=86378 vsize=288560 memory=164616 CPUtime=0 cores=0,2
/proc/86381/task/86384/stat : 86384 (fscip) S 86378 86381 86200 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 8396408 295485440 53162 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 288560 KiB
Current children cumulated memory: 212648 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 3.45 2.70 5/262 86402
/proc/meminfo: memFree=103477172/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=294848 memory=253348 CPUtime=101.84 cores=0,2
/proc/86381/stat : 86381 (fscip) S 86378 86381 86200 0 -1 1077936128 277021 0 0 0 10152 32 0 0 20 0 3 0 8396236 301924352 63337 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 73712 63337 3310 3032 0 68231 0
[pid=86381/tid=86383] ppid=86378 vsize=294848 memory=252664 CPUtime=100.13 cores=0,2
/proc/86381/task/86383/stat : 86383 (fscip) R 86378 86381 86200 0 -1 4194368 265232 0 0 0 9983 30 0 0 20 0 3 0 8396406 301924352 63337 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
[pid=86381/tid=86384] ppid=86378 vsize=294848 memory=230452 CPUtime=0 cores=0,2
/proc/86381/task/86384/stat : 86384 (fscip) S 86378 86381 86200 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 8396408 301924352 63337 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 294848 KiB
Current children cumulated memory: 253348 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 3.57 2.79 5/262 86460
/proc/meminfo: memFree=103194356/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=365728 memory=284420 CPUtime=161.59 cores=0,2
/proc/86381/stat : 86381 (fscip) S 86378 86381 86200 0 -1 1077936128 326415 0 0 0 16117 42 0 0 20 0 3 0 8396236 374505472 71105 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 91432 71105 3310 3032 0 76908 0
[pid=86381/tid=86383] ppid=86378 vsize=365728 memory=33272 CPUtime=159.88 cores=0,2
/proc/86381/task/86383/stat : 86383 (fscip) R 86378 86381 86200 0 -1 4194368 314590 0 0 0 15948 40 0 0 20 0 3 0 8396406 374505472 71105 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
[pid=86381/tid=86384] ppid=86378 vsize=365728 memory=284232 CPUtime=0 cores=0,2
/proc/86381/task/86384/stat : 86384 (fscip) S 86378 86381 86200 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 8396408 374505472 71105 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 365728 KiB
Current children cumulated memory: 284420 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.66 2.87 5/262 86470
/proc/meminfo: memFree=102921112/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=375296 memory=298352 CPUtime=221.35 cores=0,2
/proc/86381/stat : 86381 (fscip) S 86378 86381 86200 0 -1 1077936128 383591 0 0 0 22082 53 0 0 20 0 3 0 8396236 384303104 74588 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 93824 74588 3310 3032 0 79300 0
[pid=86381/tid=86383] ppid=86378 vsize=375296 memory=11548 CPUtime=219.62 cores=0,2
/proc/86381/task/86383/stat : 86383 (fscip) R 86378 86381 86200 0 -1 4194368 371265 0 0 0 21912 50 0 0 20 0 3 0 8396406 384303104 74588 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
[pid=86381/tid=86384] ppid=86378 vsize=375296 memory=11548 CPUtime=0 cores=0,2
/proc/86381/task/86384/stat : 86384 (fscip) S 86378 86381 86200 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 8396408 384303104 74588 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
Current children cumulated CPU time: 221.35 s
Current children cumulated vsize: 375296 KiB
Current children cumulated memory: 298352 KiB

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

# cumulated CPU time of all completed processes:  user=278.069 s, system=0.662277 s

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

[startup+230.4 s]
/proc/loadavg: 4.13 3.69 2.89 5/262 86472
/proc/meminfo: memFree=102901396/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=379496 memory=299556 CPUtime=229.41 cores=0,2
/proc/86381/stat : 86381 (fscip) S 86378 86381 86200 0 -1 1077936128 389190 0 0 0 22886 55 0 0 20 0 3 0 8396236 388603904 74889 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 94874 74889 3310 3032 0 80350 0
[pid=86381/tid=86383] ppid=86378 vsize=379496 memory=2241 CPUtime=227.68 cores=0,2
/proc/86381/task/86383/stat : 86383 (fscip) R 86378 86381 86200 0 -1 4194368 376857 0 0 0 22716 52 0 0 20 0 3 0 8396406 388603904 74889 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
[pid=86381/tid=86384] ppid=86378 vsize=379496 memory=33272 CPUtime=0 cores=0,2
/proc/86381/task/86384/stat : 86384 (fscip) S 86378 86381 86200 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 8396408 388603904 74889 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
Current children cumulated CPU time: 229.41 s
Current children cumulated vsize: 379496 KiB
Current children cumulated memory: 299556 KiB

[startup+256 s]*
/proc/loadavg: 4.09 3.72 2.92 5/262 86476
/proc/meminfo: memFree=102868700/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=379496 memory=301628 CPUtime=254.9 cores=0,2
/proc/86381/stat : 86381 (fscip) S 86378 86381 86200 0 -1 1077936128 403491 0 0 0 25430 60 0 0 20 0 3 0 8396236 388603904 75407 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 94874 75407 3310 3032 0 80841 0
[pid=86381/tid=86383] ppid=86378 vsize=379496 memory=-7378697758520204924 CPUtime=253.17 cores=0,2
/proc/86381/task/86383/stat : 86383 (fscip) R 86378 86381 86200 0 -1 4194368 390470 0 0 0 25260 57 0 0 20 0 3 0 8396406 388603904 75407 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
[pid=86381/tid=86384] ppid=86378 vsize=379496 memory=7888 CPUtime=0 cores=0,2
/proc/86381/task/86384/stat : 86384 (fscip) S 86378 86381 86200 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 8396408 388603904 75407 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
Current children cumulated CPU time: 254.9 s
Current children cumulated vsize: 379496 KiB
Current children cumulated memory: 301628 KiB

[startup+268.8 s]
/proc/loadavg: 4.07 3.73 2.93 5/262 86479
/proc/meminfo: memFree=102867944/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=379496 memory=302468 CPUtime=267.64 cores=0,2
/proc/86381/stat : 86381 (fscip) S 86378 86381 86200 0 -1 1077936128 404220 0 0 0 26702 62 0 0 20 0 3 0 8396236 388603904 75617 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 94874 75617 3310 3032 0 80841 0
[pid=86381/tid=86383] ppid=86378 vsize=379496 memory=13136 CPUtime=265.89 cores=0,2
/proc/86381/task/86383/stat : 86383 (fscip) R 86378 86381 86200 0 -1 4194368 391199 0 0 0 26531 58 0 0 20 0 3 0 8396406 388603904 75617 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
[pid=86381/tid=86384] ppid=86378 vsize=379496 memory=5684 CPUtime=0 cores=0,2
/proc/86381/task/86384/stat : 86384 (fscip) S 86378 86381 86200 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 8396408 388603904 75617 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
Current children cumulated CPU time: 267.64 s
Current children cumulated vsize: 379496 KiB
Current children cumulated memory: 302468 KiB

[startup+275.2 s]
/proc/loadavg: 4.45 3.82 2.97 5/262 86479
/proc/meminfo: memFree=102867928/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=379496 memory=302468 CPUtime=274.01 cores=0,2
/proc/86381/stat : 86381 (fscip) S 86378 86381 86200 0 -1 1077936128 404330 0 0 0 27338 63 0 0 20 0 3 0 8396236 388603904 75617 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 94874 75617 3310 3032 0 80841 0
[pid=86381/tid=86383] ppid=86378 vsize=379496 memory=302400 CPUtime=272.27 cores=0,2
/proc/86381/task/86383/stat : 86383 (fscip) R 86378 86381 86200 0 -1 4194368 391309 0 0 0 27167 60 0 0 20 0 3 0 8396406 388603904 75617 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
[pid=86381/tid=86384] ppid=86378 vsize=379496 memory=302468 CPUtime=0 cores=0,2
/proc/86381/task/86384/stat : 86384 (fscip) S 86378 86381 86200 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 8396408 388603904 75617 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
Current children cumulated CPU time: 274.01 s
Current children cumulated vsize: 379496 KiB
Current children cumulated memory: 302468 KiB

[startup+278.4 s]
/proc/loadavg: 4.45 3.82 2.97 5/262 86480
/proc/meminfo: memFree=102867324/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=379496 memory=302468 CPUtime=277.2 cores=0,2
/proc/86381/stat : 86381 (fscip) S 86378 86381 86200 0 -1 1077936128 404597 0 0 0 27656 64 0 0 20 0 3 0 8396236 388603904 75617 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 94874 75617 3310 3032 0 80841 0
[pid=86381/tid=86383] ppid=86378 vsize=379496 memory=11548 CPUtime=275.45 cores=0,2
/proc/86381/task/86383/stat : 86383 (fscip) R 86378 86381 86200 0 -1 4194368 391576 0 0 0 27485 60 0 0 20 0 3 0 8396406 388603904 75617 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
[pid=86381/tid=86384] ppid=86378 vsize=379496 memory=33272 CPUtime=0 cores=0,2
/proc/86381/task/86384/stat : 86384 (fscip) S 86378 86381 86200 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 8396408 388603904 75617 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
Current children cumulated CPU time: 277.2 s
Current children cumulated vsize: 379496 KiB
Current children cumulated memory: 302468 KiB

[startup+279.2 s]
/proc/loadavg: 4.45 3.82 2.97 5/262 86481
/proc/meminfo: memFree=102867288/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=379496 memory=302468 CPUtime=277.99 cores=0,2
/proc/86381/stat : 86381 (fscip) S 86378 86381 86200 0 -1 1077936128 412849 0 0 0 27735 64 0 0 20 0 3 0 8396236 388603904 75617 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 94874 75617 3310 3032 0 80841 0
[pid=86381/tid=86383] ppid=86378 vsize=379496 memory=302468 CPUtime=276.24 cores=0,2
/proc/86381/task/86383/stat : 86383 (fscip) R 86378 86381 86200 0 -1 4194368 399824 0 0 0 27563 61 0 0 20 0 3 0 8396406 388603904 75617 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
[pid=86381/tid=86384] ppid=86378 vsize=379496 memory=5684 CPUtime=0 cores=0,2
/proc/86381/task/86384/stat : 86384 (fscip) S 86378 86381 86200 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 8396408 388603904 75617 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
Current children cumulated CPU time: 277.99 s
Current children cumulated vsize: 379496 KiB
Current children cumulated memory: 302468 KiB

[startup+279.6 s]
/proc/loadavg: 4.45 3.82 2.97 5/262 86481
/proc/meminfo: memFree=102867288/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=379496 memory=302476 CPUtime=278.38 cores=0,2
/proc/86381/stat : 86381 (fscip) S 86378 86381 86200 0 -1 1077936128 413988 0 0 0 27774 64 0 0 20 0 3 0 8396236 388603904 75619 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 94874 75619 3310 3032 0 80841 0
[pid=86381/tid=86383] ppid=86378 vsize=379496 memory=33272 CPUtime=276.64 cores=0,2
/proc/86381/task/86383/stat : 86383 (fscip) R 86378 86381 86200 0 -1 4194368 400963 0 0 0 27603 61 0 0 20 0 3 0 8396406 388603904 75619 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
[pid=86381/tid=86384] ppid=86378 vsize=379496 memory=13136 CPUtime=0 cores=0,2
/proc/86381/task/86384/stat : 86384 (fscip) S 86378 86381 86200 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 8396408 388603904 75619 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
Current children cumulated CPU time: 278.38 s
Current children cumulated vsize: 379496 KiB
Current children cumulated memory: 302476 KiB

[startup+279.8 s]
/proc/loadavg: 4.45 3.82 2.97 5/262 86481
/proc/meminfo: memFree=102867288/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=379496 memory=302476 CPUtime=278.59 cores=0,2
/proc/86381/stat : 86381 (fscip) S 86378 86381 86200 0 -1 1077936128 414209 0 0 0 27794 65 0 0 20 0 3 0 8396236 388603904 75619 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 94874 75619 3310 3032 0 80841 0
[pid=86381/tid=86383] ppid=86378 vsize=379496 memory=17908 CPUtime=276.84 cores=0,2
/proc/86381/task/86383/stat : 86383 (fscip) R 86378 86381 86200 0 -1 4194368 401183 0 0 0 27623 61 0 0 20 0 3 0 8396406 388603904 75619 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
[pid=86381/tid=86384] ppid=86378 vsize=379496 memory=2132 CPUtime=0 cores=0,2
/proc/86381/task/86384/stat : 86384 (fscip) S 86378 86381 86200 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 8396408 388603904 75619 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
Current children cumulated CPU time: 278.59 s
Current children cumulated vsize: 379496 KiB
Current children cumulated memory: 302476 KiB

[startup+279.9 s]
/proc/loadavg: 4.45 3.82 2.97 5/262 86481
/proc/meminfo: memFree=102867288/131524600 swapFree=131071996/131071996
[pid=86381] ppid=86378 vsize=379496 memory=302476 CPUtime=278.69 cores=0,2
/proc/86381/stat : 86381 (fscip) S 86378 86381 86200 0 -1 1077936128 416061 0 0 0 27804 65 0 0 20 0 3 0 8396236 388603904 75619 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
/proc/86381/statm: 94874 75619 3310 3032 0 80841 0
[pid=86381/tid=86383] ppid=86378 vsize=379496 memory=300912 CPUtime=276.94 cores=0,2
/proc/86381/task/86383/stat : 86383 (fscip) R 86378 86381 86200 0 -1 4194368 403033 0 0 0 27633 61 0 0 20 0 3 0 8396406 388603904 75619 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
[pid=86381/tid=86384] ppid=86378 vsize=379496 memory=302468 CPUtime=0 cores=0,2
/proc/86381/task/86384/stat : 86384 (fscip) S 86378 86381 86200 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 8396408 388603904 75619 134679101440 4194304 16613245 140727494224240 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 24608768 140727494226968 140727494227084 140727494227084 140727494234096 0
Current children cumulated CPU time: 278.69 s
Current children cumulated vsize: 379496 KiB
Current children cumulated memory: 302476 KiB

Child status: 0

Real time (s): 279.935
CPU time (s): 278.731
CPU user time (s): 278.069
CPU system time (s): 0.662277
CPU usage (%): 99.57
Max. virtual memory (cumulated for all children) (KiB): 379496
Max. memory (cumulated for all children) (KiB): 304312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 278.069
system time used= 0.662277
maximum resident set size= 304312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 421898
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= 2031
involuntary context switches= 2013


# summary of solver processes directly reported to runsolver:
#   pid: 86381
#   total CPU time (s): 278.731
#   total CPU user time (s): 278.069
#   total CPU system time (s): 0.662277

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.558095 second user time and 1.39092 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-23 09:11:20
IDJOB=4456147
IDBENCH=143227
IDSOLVER=3044
FILE ID=nodeC018/4456147-1721718680
RUNJOBID= nodeC018-1721718414-86210
SLURM_JOB_ID= 7770409
Free space on /tmp= 890000 MiB

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

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

MD5SUM BENCH= 128eb31e74e9d5316274ee97a7821bb0
RANDOM SEED=743062242

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		: 3651.485
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		: 3692.831
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		: 3668.848
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		: 3599.993
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		: 3661.717
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		: 3692.912
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		: 3602.780
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		: 3599.718
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:        103855140 kB
MemAvailable:   128806264 kB
Buffers:          141356 kB
Cached:         25537404 kB
SwapCached:            0 kB
Active:           918240 kB
Inactive:       25987800 kB
Active(anon):       1556 kB
Inactive(anon):  1263112 kB
Active(file):     916684 kB
Inactive(file): 24724688 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28108 kB
Writeback:             0 kB
AnonPages:       1223732 kB
Mapped:           139904 kB
Shmem:             37712 kB
KReclaimable:     299148 kB
Slab:             407328 kB
SReclaimable:     299148 kB
SUnreclaim:       108180 kB
KernelStack:        4200 kB
PageTables:        11972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     957848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19616 kB
HardwareCorrupted:     0 kB
AnonHugePages:    542720 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:16:00