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.72 c ** Estimated virtualMemUsedAtSolver = 41860616, getVmSize() = 78696448, SCIPgetMemUsed() = 39289297, SCIPgetMemTotal() = 54911889, SCIPgetMemExternEstim() = 7879036
1.68/1.72 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
1.68/1.72 c Original Problem :
1.68/1.72 c Problem name : instance-4456067-1721718379
1.68/1.72 c Variables : 2938 (2938 binary, 0 integer, 0 implicit integer, 0 continuous)
1.68/1.72 c Constraints : 5415
1.68/1.72 c Objective sense : minimize
1.68/1.72 c Presolved Problem :
1.68/1.72 c Variables : 2961 (2938 binary, 0 integer, 23 implicit integer, 0 continuous)
1.68/1.72 c Constraints : 2740
1.68/1.72 c Constraints : Number
1.68/1.72 c linear : 2708
1.68/1.72 c indicator : 32
1.68/1.72 c ** Instance transfer method used: 0
1.68/1.73 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 136605.0000 - -
1.68/1.78 c * 2 0 1 1 90436.0000 - -
1.68/1.78 c * 2 0 1 1 1275.0000 - -
3.38/3.45 c * 3 0 1 1 102.0000 - -
5.97/6.02 c 6 5 6 1 102.0000 0.0000 -
6.57/6.67 c * 7 5 6 1 19.0000 0.0000 -
6.97/7.04 c * 7 5 6 1 8.0000 0.0000 -
11.16/11.27 c 11 68 19 1 8.0000 0.0000 -
16.44/16.57 c 17 434 110 1 8.0000 0.0000 -
22.22/22.38 c 22 859 175 1 8.0000 0.0000 -
27.40/27.59 c 28 1527 311 1 8.0000 0.0000 -
32.79/32.96 c 33 2186 411 1 8.0000 0.0000 -
38.07/38.28 c 38 2629 536 1 8.0000 0.0000 -
43.26/43.47 c 43 3156 611 1 8.0000 0.0000 -
48.34/48.56 c 49 3587 12 1 8.0000 0.0000 -
53.43/53.69 c 54 4652 291 1 8.0000 0.0000 -
58.70/58.90 c 59 6686 547 1 8.0000 0.0000 -
63.90/64.12 c 64 8283 707 1 8.0000 0.0000 -
68.98/69.28 c 69 10335 1011 1 8.0000 0.0000 -
74.26/74.50 c 75 11743 1266 1 8.0000 0.0000 -
79.25/79.56 c 80 13810 1854 1 8.0000 0.0000 -
84.33/84.66 c 85 15613 2216 1 8.0000 0.0000 -
88.62/88.98 c * 89 17136 2482 1 6.0000 0.0000 -
89.11/89.42 c * 89 17136 2482 1 2.0000 0.0000 -
89.41/89.75 c 90 17647 1250 1 2.0000 0.0000 -
94.99/95.30 c 95 19565 1372 1 2.0000 0.0000 -
100.08/100.40 c 100 21930 1472 1 2.0000 0.0000 -
102.27/102.63 c * 103 23020 1508 1 1.0000 0.0000 -
105.06/105.49 c 106 24611 784 1 1.0000 0.0000 -
110.14/110.59 c 111 27152 893 1 1.0000 0.0000 -
115.33/115.71 c 116 29480 892 1 1.0000 0.0000 -
120.62/121.08 c 121 31138 910 1 1.0000 0.0000 -
125.69/126.14 c 126 33376 921 1 1.0000 0.0000 -
130.78/131.20 c 131 35847 911 1 1.0000 0.0000 -
135.76/136.27 c 136 38476 869 1 1.0000 0.0000 -
140.84/141.35 c 141 40979 795 1 1.0000 0.0000 -
145.83/146.39 c 146 43376 753 1 1.0000 0.0000 -
150.91/151.44 c 151 45894 714 1 1.0000 0.0000 -
155.99/156.50 c 157 48448 617 1 1.0000 0.0000 -
161.08/161.62 c 162 50597 539 1 1.0000 0.0000 -
166.15/166.72 c 167 52918 519 1 1.0000 0.0000 -
171.14/171.77 c 172 55985 452 1 1.0000 0.0000 -
176.43/177.04 c 177 57417 480 1 1.0000 0.0000 -
181.51/182.13 c 182 59669 513 1 1.0000 0.0000 -
186.59/187.23 c 187 61472 439 1 1.0000 0.0000 -
191.68/192.32 c 192 64313 393 1 1.0000 0.0000 -
196.65/197.39 c 197 67037 430 1 1.0000 0.0000 -
201.84/202.56 c 203 69864 407 1 1.0000 0.0000 -
206.93/207.61 c 208 72906 487 1 1.0000 0.0000 -
211.91/212.67 c 213 76064 401 1 1.0000 0.0000 -
216.99/217.72 c 218 79414 368 1 1.0000 0.0000 -
221.98/222.78 c 223 81822 327 1 1.0000 0.0000 -
227.06/227.89 c 228 84842 365 1 1.0000 0.0000 -
232.14/232.99 c 233 87482 248 1 1.0000 0.0000 -
237.23/238.05 c 238 90114 246 1 1.0000 0.0000 -
242.32/243.11 c 243 91738 233 1 1.0000 0.0000 -
247.30/248.18 c 248 94168 209 1 1.0000 0.0000 -
252.38/253.23 c 253 96735 182 1 1.0000 0.0000 -
257.36/258.29 c 258 100090 142 1 1.0000 0.0000 -
262.44/263.36 c 263 102389 123 1 1.0000 0.0000 -
267.53/268.41 c 268 105414 189 1 1.0000 0.0000 -
273.91/274.83 c 275 107445 150 1 1.0000 0.0000 -
278.89/279.88 c 280 110739 159 1 1.0000 0.0000 -
283.97/284.93 c 285 113555 172 1 1.0000 0.0000 -
289.06/290.00 c 290 116117 115 1 1.0000 0.0000 -
294.05/295.07 c 295 118930 229 1 1.0000 0.0000 -
299.13/300.16 c 300 121690 199 1 1.0000 0.0000 -
304.21/305.24 c 305 124407 78 1 1.0000 0.0000 -
309.19/310.29 c 310 127351 166 1 1.0000 0.0000 -
314.28/315.34 c 315 130227 138 1 1.0000 0.0000 -
319.36/320.49 c 320 133168 150 1 1.0000 0.0000 -
324.44/325.54 c 326 136488 120 1 1.0000 0.0000 -
329.53/330.62 c 331 138781 142 1 1.0000 0.0000 -
334.51/335.67 c 336 141906 24 1 1.0000 0.0000 -
339.59/340.72 c 341 144842 148 1 1.0000 0.0000 -
344.58/345.77 c 346 147746 158 1 1.0000 0.0000 -
349.46/350.69 c 351 150353 0 0 1.0000 1.0000 0.00%
349.56/350.71 c 351 150353 0 0 1.0000 1.0000 -
349.56/350.71 c SCIP Status : c problem is solved
349.56/350.71 c Total Time : 350.7200
349.56/350.71 c solving : 350.7200
349.56/350.71 c presolving : 1.7009 (included in solving)
349.56/350.71 c B&B Tree :
349.56/350.71 c nodes (total) : 150353
349.56/350.71 c Solution :
349.56/350.71 c Solutions found : 10
349.56/350.71 c Primal Bound : +1.00000000000000e+00
349.56/350.71 c Dual Bound : +1.00000000000000e+00
349.56/350.71 c Gap : 0.00000 %
349.56/350.74 o 1
349.56/350.74 s OPTIMUM FOUND
349.56/350.74 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210
349.56/350.74 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
349.56/350.74 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
349.56/350.74 v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 x150 -x149 -x148 -x147
349.56/350.74 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
349.56/350.74 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
349.56/350.74 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
349.56/350.74 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
349.56/350.74 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
349.56/350.74 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
349.56/350.74 v -x1
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 (47793 MiB free)
memory of node 1: 64473 MiB (41900 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456067-1721718379/watcher-4456067-1721718379 -o /tmp/evaluation-result-4456067-1721718379/solver-4456067-1721718379 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721718367-87286 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4456067-1721718379.wbo -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=87840, runsolver pid=87837
[startup+0.10101 s]*
/proc/loadavg: 1.95 1.41 1.66 4/258 87841
/proc/meminfo: memFree=91921800/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=50316 memory=39020 CPUtime=0.09 cores=4,6
/proc/87840/stat : 87840 (fscip) R 87837 87840 87275 0 -1 4194304 7374 0 0 0 9 0 0 0 20 0 1 0 8365810 51523584 9755 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 12579 9755 2622 3032 0 8979 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50316 KiB
Current children cumulated memory: 39020 KiB
[startup+0.205562 s]*
/proc/loadavg: 1.95 1.41 1.66 4/255 87849
/proc/meminfo: memFree=91922892/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=50812 memory=39284 CPUtime=0.2 cores=4,6
/proc/87840/stat : 87840 (fscip) R 87837 87840 87275 0 -1 4194304 7470 0 0 0 20 0 0 0 20 0 1 0 8365810 52031488 9821 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 12703 9821 2622 3032 0 9103 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50812 KiB
Current children cumulated memory: 39284 KiB
[startup+0.305633 s]*
/proc/loadavg: 1.95 1.41 1.66 4/257 87855
/proc/meminfo: memFree=91922064/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=50812 memory=39284 CPUtime=0.3 cores=4,6
/proc/87840/stat : 87840 (fscip) R 87837 87840 87275 0 -1 4194304 7470 0 0 0 30 0 0 0 20 0 1 0 8365810 52031488 9821 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 12703 9821 2622 3032 0 9103 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50812 KiB
Current children cumulated memory: 39284 KiB
[startup+0.700179 s]
/proc/loadavg: 1.95 1.41 1.66 5/254 87876
/proc/meminfo: memFree=91950324/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=52356 memory=40868 CPUtime=0.69 cores=4,6
/proc/87840/stat : 87840 (fscip) R 87837 87840 87275 0 -1 4194304 7854 0 0 0 69 0 0 0 20 0 1 0 8365810 53612544 10217 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 13089 10217 2622 3032 0 9489 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52356 KiB
Current children cumulated memory: 40868 KiB
[startup+1.5002 s]
/proc/loadavg: 1.95 1.41 1.66 5/260 87887
/proc/meminfo: memFree=91890592/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=53384 memory=41924 CPUtime=1.48 cores=4,6
/proc/87840/stat : 87840 (fscip) R 87837 87840 87275 0 -1 4194304 8115 0 0 0 148 0 0 0 20 0 1 0 8365810 54665216 10481 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 13346 10481 2622 3032 0 9746 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53384 KiB
Current children cumulated memory: 41924 KiB
[startup+3.10549 s]
/proc/loadavg: 1.95 1.41 1.66 5/264 87891
/proc/meminfo: memFree=91772236/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=166540 memory=105984 CPUtime=3.08 cores=4,6
/proc/87840/stat : 87840 (fscip) S 87837 87840 87275 0 -1 1077936128 29678 0 0 0 304 4 0 0 20 0 3 0 8365810 170536960 26496 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 41635 26496 2830 3032 0 33252 0
[pid=87840/tid=87888] ppid=87837 vsize=166540 memory=198340509722 CPUtime=1.35 cores=4,6
/proc/87840/task/87888/stat : 87888 (fscip) R 87837 87840 87275 0 -1 4194368 16224 0 0 0 133 2 0 0 20 0 3 0 8365982 170536960 26496 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
[pid=87840/tid=87889] ppid=87837 vsize=166540 memory=11624 CPUtime=0 cores=4,6
/proc/87840/task/87889/stat : 87889 (fscip) S 87837 87840 87275 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 8365984 170536960 26496 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 166540 KiB
Current children cumulated memory: 105984 KiB
[startup+6.30026 s]
/proc/loadavg: 2.20 1.47 1.67 5/264 87891
/proc/meminfo: memFree=91666888/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=232076 memory=168224 CPUtime=6.27 cores=4,6
/proc/87840/stat : 87840 (fscip) S 87837 87840 87275 0 -1 1077936128 47560 0 0 0 620 7 0 0 20 0 3 0 8365810 237645824 42056 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 58019 42056 2990 3032 0 50146 0
[pid=87840/tid=87888] ppid=87837 vsize=232076 memory=149004 CPUtime=4.54 cores=4,6
/proc/87840/task/87888/stat : 87888 (fscip) R 87837 87840 87275 0 -1 4194368 33608 0 0 0 449 5 0 0 20 0 3 0 8365982 237645824 42056 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
[pid=87840/tid=87889] ppid=87837 vsize=232076 memory=120904 CPUtime=0 cores=4,6
/proc/87840/task/87889/stat : 87889 (fscip) S 87837 87840 87275 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 8365984 237645824 42056 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 232076 KiB
Current children cumulated memory: 168224 KiB
[startup+12.7003 s]
/proc/loadavg: 2.34 1.51 1.69 5/264 87892
/proc/meminfo: memFree=91605064/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=232076 memory=171276 CPUtime=12.65 cores=4,6
/proc/87840/stat : 87840 (fscip) S 87837 87840 87275 0 -1 1077936128 67556 0 0 0 1257 8 0 0 20 0 3 0 8365810 237645824 42819 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 58019 42819 3310 3032 0 50356 0
[pid=87840/tid=87888] ppid=87837 vsize=232076 memory=169756 CPUtime=10.92 cores=4,6
/proc/87840/task/87888/stat : 87888 (fscip) R 87837 87840 87275 0 -1 4194368 53042 0 0 0 1086 6 0 0 20 0 3 0 8365982 237645824 42819 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
[pid=87840/tid=87889] ppid=87837 vsize=232076 memory=106832 CPUtime=0 cores=4,6
/proc/87840/task/87889/stat : 87889 (fscip) S 87837 87840 87275 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 8365984 237645824 42819 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 232076 KiB
Current children cumulated memory: 171276 KiB
[startup+25.5002 s]
/proc/loadavg: 2.78 1.65 1.73 5/264 87894
/proc/meminfo: memFree=91598232/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=232076 memory=172916 CPUtime=25.41 cores=4,6
/proc/87840/stat : 87840 (fscip) S 87837 87840 87275 0 -1 1077936128 99249 0 0 0 2531 10 0 0 20 0 3 0 8365810 237645824 43229 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 58019 43229 3310 3032 0 50356 0
[pid=87840/tid=87888] ppid=87837 vsize=232076 memory=11624 CPUtime=23.68 cores=4,6
/proc/87840/task/87888/stat : 87888 (fscip) R 87837 87840 87275 0 -1 4194368 84655 0 0 0 2360 8 0 0 20 0 3 0 8365982 237645824 43229 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
[pid=87840/tid=87889] ppid=87837 vsize=232076 memory=172908 CPUtime=0 cores=4,6
/proc/87840/task/87889/stat : 87889 (fscip) S 87837 87840 87275 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 8365984 237645824 43229 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 232076 KiB
Current children cumulated memory: 172916 KiB
[startup+51.1056 s]
/proc/loadavg: 3.26 1.86 1.80 5/264 87898
/proc/meminfo: memFree=91172124/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=297612 memory=203416 CPUtime=50.94 cores=4,6
/proc/87840/stat : 87840 (fscip) S 87837 87840 87275 0 -1 1077936128 176655 0 0 0 5077 17 0 0 20 0 3 0 8365810 304754688 50854 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 74403 50854 3310 3032 0 57135 0
[pid=87840/tid=87888] ppid=87837 vsize=297612 memory=0 CPUtime=49.21 cores=4,6
/proc/87840/task/87888/stat : 87888 (fscip) R 87837 87840 87275 0 -1 4194368 161950 0 0 0 4906 15 0 0 20 0 3 0 8365982 304754688 50854 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
[pid=87840/tid=87889] ppid=87837 vsize=297612 memory=193072 CPUtime=0 cores=4,6
/proc/87840/task/87889/stat : 87889 (fscip) S 87837 87840 87275 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 8365984 304754688 50854 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 297612 KiB
Current children cumulated memory: 203416 KiB
[startup+102.3 s]
/proc/loadavg: 3.74 2.21 1.92 5/264 87907
/proc/meminfo: memFree=91072428/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=301128 memory=248844 CPUtime=101.97 cores=4,6
/proc/87840/stat : 87840 (fscip) S 87837 87840 87275 0 -1 1077936128 241109 0 0 0 10171 26 0 0 20 0 3 0 8365810 308355072 62211 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 75282 62211 3310 3032 0 68604 0
[pid=87840/tid=87888] ppid=87837 vsize=301128 memory=248844 CPUtime=100.24 cores=4,6
/proc/87840/task/87888/stat : 87888 (fscip) R 87837 87840 87275 0 -1 4194368 225884 0 0 0 10000 24 0 0 20 0 3 0 8365982 308355072 62211 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
[pid=87840/tid=87889] ppid=87837 vsize=301128 memory=172764 CPUtime=0 cores=4,6
/proc/87840/task/87889/stat : 87889 (fscip) S 87837 87840 87275 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 8365984 308355072 62211 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 301128 KiB
Current children cumulated memory: 248844 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 2.57 2.06 5/264 87917
/proc/meminfo: memFree=90291944/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=323656 memory=274016 CPUtime=161.78 cores=4,6
/proc/87840/stat : 87840 (fscip) S 87837 87840 87275 0 -1 1077936128 293736 0 0 0 16142 36 0 0 20 0 3 0 8365810 331423744 68504 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 80914 68504 3310 3032 0 75186 0
[pid=87840/tid=87888] ppid=87837 vsize=323656 memory=270216 CPUtime=160.04 cores=4,6
/proc/87840/task/87888/stat : 87888 (fscip) R 87837 87840 87275 0 -1 4194368 278436 0 0 0 15970 34 0 0 20 0 3 0 8365982 331423744 68504 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
[pid=87840/tid=87889] ppid=87837 vsize=323656 memory=274016 CPUtime=0 cores=4,6
/proc/87840/task/87889/stat : 87889 (fscip) S 87837 87840 87275 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 8365984 331423744 68504 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 323656 KiB
Current children cumulated memory: 274016 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.84 2.19 5/264 87928
/proc/meminfo: memFree=90215468/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=335116 memory=284292 CPUtime=221.58 cores=4,6
/proc/87840/stat : 87840 (fscip) S 87837 87840 87275 0 -1 1077936128 327752 0 0 0 22113 45 0 0 20 0 3 0 8365810 343158784 71073 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 83779 71073 3310 3032 0 78051 0
[pid=87840/tid=87888] ppid=87837 vsize=335116 memory=277724 CPUtime=219.83 cores=4,6
/proc/87840/task/87888/stat : 87888 (fscip) R 87837 87840 87275 0 -1 4194368 312417 0 0 0 21941 42 0 0 20 0 3 0 8365982 343158784 71073 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
[pid=87840/tid=87889] ppid=87837 vsize=335116 memory=11624 CPUtime=0 cores=4,6
/proc/87840/task/87889/stat : 87889 (fscip) S 87837 87840 87275 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 8365984 343158784 71073 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 335116 KiB
Current children cumulated memory: 284292 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.07 2.31 5/267 87943
/proc/meminfo: memFree=90168024/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=351364 memory=298096 CPUtime=281.38 cores=4,6
/proc/87840/stat : 87840 (fscip) S 87837 87840 87275 0 -1 1077936128 362048 0 0 0 28086 52 0 0 20 0 3 0 8365810 359796736 74524 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 87841 74524 3310 3032 0 82113 0
[pid=87840/tid=87888] ppid=87837 vsize=351364 memory=286272 CPUtime=279.64 cores=4,6
/proc/87840/task/87888/stat : 87888 (fscip) R 87837 87840 87275 0 -1 4194368 346685 0 0 0 27914 50 0 0 20 0 3 0 8365982 359796736 74524 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
[pid=87840/tid=87889] ppid=87837 vsize=351364 memory=298044 CPUtime=0 cores=4,6
/proc/87840/task/87889/stat : 87889 (fscip) S 87837 87840 87275 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 8365984 359796736 74524 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 351364 KiB
Current children cumulated memory: 298096 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.27 2.43 5/262 87954
/proc/meminfo: memFree=90147008/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=351364 memory=301700 CPUtime=341.19 cores=4,6
/proc/87840/stat : 87840 (fscip) S 87837 87840 87275 0 -1 1077936128 388157 0 0 0 34058 61 0 0 20 0 3 0 8365810 359796736 75425 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 87841 75425 3310 3032 0 82113 0
[pid=87840/tid=87888] ppid=87837 vsize=351364 memory=286272 CPUtime=339.44 cores=4,6
/proc/87840/task/87888/stat : 87888 (fscip) R 87837 87840 87275 0 -1 4194368 372761 0 0 0 33885 59 0 0 20 0 3 0 8365982 359796736 75425 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
[pid=87840/tid=87889] ppid=87837 vsize=351364 memory=300560 CPUtime=0 cores=4,6
/proc/87840/task/87889/stat : 87889 (fscip) S 87837 87840 87275 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 8365984 359796736 75425 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 351364 KiB
Current children cumulated memory: 301700 KiB
[startup+350.753 s]
# the end of solver process 87840 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=348.976 s, system=0.647961 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+345.6 s]
/proc/loadavg: 4.12 3.29 2.44 5/262 87954
/proc/meminfo: memFree=90144528/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=354860 memory=302752 CPUtime=344.48 cores=4,6
/proc/87840/stat : 87840 (fscip) S 87837 87840 87275 0 -1 1077936128 388485 0 0 0 34386 62 0 0 20 0 3 0 8365810 363376640 75688 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 88715 75688 3310 3032 0 82987 0
[pid=87840/tid=87888] ppid=87837 vsize=354860 memory=34784 CPUtime=342.72 cores=4,6
/proc/87840/task/87888/stat : 87888 (fscip) R 87837 87840 87275 0 -1 4194368 373089 0 0 0 34213 59 0 0 20 0 3 0 8365982 363376640 75688 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
[pid=87840/tid=87889] ppid=87837 vsize=354860 memory=34784 CPUtime=0 cores=4,6
/proc/87840/task/87889/stat : 87889 (fscip) S 87837 87840 87275 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 8365984 363376640 75688 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
Current children cumulated CPU time: 344.48 s
Current children cumulated vsize: 354860 KiB
Current children cumulated memory: 302752 KiB
[startup+348.8 s]
/proc/loadavg: 4.12 3.29 2.44 5/262 87955
/proc/meminfo: memFree=90135808/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=354860 memory=302996 CPUtime=347.67 cores=4,6
/proc/87840/stat : 87840 (fscip) S 87837 87840 87275 0 -1 1077936128 388802 0 0 0 34705 62 0 0 20 0 3 0 8365810 363376640 75749 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 88715 75749 3310 3032 0 82987 0
[pid=87840/tid=87888] ppid=87837 vsize=354860 memory=11624 CPUtime=345.92 cores=4,6
/proc/87840/task/87888/stat : 87888 (fscip) R 87837 87840 87275 0 -1 4194368 373406 0 0 0 34532 60 0 0 20 0 3 0 8365982 363376640 75749 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
[pid=87840/tid=87889] ppid=87837 vsize=354860 memory=302752 CPUtime=0 cores=4,6
/proc/87840/task/87889/stat : 87889 (fscip) S 87837 87840 87275 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 8365984 363376640 75749 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
Current children cumulated CPU time: 347.67 s
Current children cumulated vsize: 354860 KiB
Current children cumulated memory: 302996 KiB
[startup+349.6 s]
/proc/loadavg: 4.11 3.30 2.45 5/262 87955
/proc/meminfo: memFree=90132104/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=354860 memory=302996 CPUtime=348.46 cores=4,6
/proc/87840/stat : 87840 (fscip) S 87837 87840 87275 0 -1 1077936128 388802 0 0 0 34784 62 0 0 20 0 3 0 8365810 363376640 75749 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 88715 75749 3310 3032 0 82987 0
[pid=87840/tid=87888] ppid=87837 vsize=354860 memory=11624 CPUtime=346.71 cores=4,6
/proc/87840/task/87888/stat : 87888 (fscip) R 87837 87840 87275 0 -1 4194368 373406 0 0 0 34611 60 0 0 20 0 3 0 8365982 363376640 75749 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
[pid=87840/tid=87889] ppid=87837 vsize=354860 memory=34784 CPUtime=0 cores=4,6
/proc/87840/task/87889/stat : 87889 (fscip) S 87837 87840 87275 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 8365984 363376640 75749 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
Current children cumulated CPU time: 348.46 s
Current children cumulated vsize: 354860 KiB
Current children cumulated memory: 302996 KiB
[startup+350.4 s]
/proc/loadavg: 4.11 3.30 2.45 5/262 87955
/proc/meminfo: memFree=90122340/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=354860 memory=302996 CPUtime=349.26 cores=4,6
/proc/87840/stat : 87840 (fscip) S 87837 87840 87275 0 -1 1077936128 388808 0 0 0 34864 62 0 0 20 0 3 0 8365810 363376640 75749 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 88715 75749 3310 3032 0 82987 0
[pid=87840/tid=87888] ppid=87837 vsize=354860 memory=5592 CPUtime=347.51 cores=4,6
/proc/87840/task/87888/stat : 87888 (fscip) R 87837 87840 87275 0 -1 4194368 373412 0 0 0 34691 60 0 0 20 0 3 0 8365982 363376640 75749 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
[pid=87840/tid=87889] ppid=87837 vsize=354860 memory=12368 CPUtime=0 cores=4,6
/proc/87840/task/87889/stat : 87889 (fscip) S 87837 87840 87275 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 8365984 363376640 75749 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
Current children cumulated CPU time: 349.26 s
Current children cumulated vsize: 354860 KiB
Current children cumulated memory: 302996 KiB
[startup+350.6 s]
/proc/loadavg: 4.11 3.30 2.45 5/262 87955
/proc/meminfo: memFree=90122340/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=354860 memory=302996 CPUtime=349.46 cores=4,6
/proc/87840/stat : 87840 (fscip) S 87837 87840 87275 0 -1 1077936128 388808 0 0 0 34884 62 0 0 20 0 3 0 8365810 363376640 75749 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 88715 75749 3310 3032 0 82987 0
[pid=87840/tid=87888] ppid=87837 vsize=354860 memory=302996 CPUtime=347.71 cores=4,6
/proc/87840/task/87888/stat : 87888 (fscip) R 87837 87840 87275 0 -1 4194368 373412 0 0 0 34711 60 0 0 20 0 3 0 8365982 363376640 75749 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
[pid=87840/tid=87889] ppid=87837 vsize=354860 memory=32880 CPUtime=0 cores=4,6
/proc/87840/task/87889/stat : 87889 (fscip) S 87837 87840 87275 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 8365984 363376640 75749 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
Current children cumulated CPU time: 349.46 s
Current children cumulated vsize: 354860 KiB
Current children cumulated memory: 302996 KiB
[startup+350.7 s]
/proc/loadavg: 4.11 3.30 2.45 5/262 87955
/proc/meminfo: memFree=90122340/131524600 swapFree=131071996/131071996
[pid=87840] ppid=87837 vsize=354860 memory=302996 CPUtime=349.56 cores=4,6
/proc/87840/stat : 87840 (fscip) S 87837 87840 87275 0 -1 1077936128 390064 0 0 0 34894 62 0 0 20 0 3 0 8365810 363376640 75749 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
/proc/87840/statm: 88715 75749 3310 3032 0 82987 0
[pid=87840/tid=87888] ppid=87837 vsize=354860 memory=286272 CPUtime=347.81 cores=4,6
/proc/87840/task/87888/stat : 87888 (fscip) R 87837 87840 87275 0 -1 4194368 374661 0 0 0 34721 60 0 0 20 0 3 0 8365982 363376640 75749 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
[pid=87840/tid=87889] ppid=87837 vsize=354860 memory=300560 CPUtime=0 cores=4,6
/proc/87840/task/87889/stat : 87889 (fscip) S 87837 87840 87275 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 8365984 363376640 75749 134679101440 4194304 16613245 140737335815488 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 53186560 140737335821336 140737335821452 140737335821452 140737335828464 0
Current children cumulated CPU time: 349.56 s
Current children cumulated vsize: 354860 KiB
Current children cumulated memory: 302996 KiB
Child status: 0
Real time (s): 350.753
CPU time (s): 349.623
CPU user time (s): 348.976
CPU system time (s): 0.647961
CPU usage (%): 99.678
Max. virtual memory (cumulated for all children) (KiB): 354860
Max. memory (cumulated for all children) (KiB): 302996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 348.976
system time used= 0.647961
maximum resident set size= 302996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 402037
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= 1067
involuntary context switches= 379
# summary of solver processes directly reported to runsolver:
# pid: 87840
# total CPU time (s): 349.623
# total CPU user time (s): 348.976
# total CPU system time (s): 0.647961
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.66526 second user time and 1.72997 second system time
The end
Begin job on nodeC014 at 2024-07-23 09:06:19
IDJOB=4456067
IDBENCH=143176
IDSOLVER=3044
FILE ID=nodeC014/4456067-1721718379
RUNJOBID= nodeC014-1721718367-87286
SLURM_JOB_ID= 7770396
Free space on /tmp= 889952 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900573137--soft-0-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456067-1721718379/watcher-4456067-1721718379 -o /tmp/evaluation-result-4456067-1721718379/solver-4456067-1721718379 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721718367-87286 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4456067-1721718379.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3be5de5dccad0a17ab99c6901729ec82
RANDOM SEED=1916886358
nodeC014.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 : 3666.502
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.45
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 : 3688.379
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.293
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.45
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.917
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.48
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 : 3669.577
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.45
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 : 3688.417
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.48
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 : 3663.531
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.45
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 : 3600.069
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 91847016 kB
MemAvailable: 127302632 kB
Buffers: 141992 kB
Cached: 36021044 kB
SwapCached: 0 kB
Active: 946784 kB
Inactive: 37923172 kB
Active(anon): 1540 kB
Inactive(anon): 2743072 kB
Active(file): 945244 kB
Inactive(file): 35180100 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56616 kB
Writeback: 24 kB
AnonPages: 2705820 kB
Mapped: 133508 kB
Shmem: 37712 kB
KReclaimable: 340192 kB
Slab: 450284 kB
SReclaimable: 340192 kB
SUnreclaim: 110092 kB
KernelStack: 4128 kB
PageTables: 14508 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2167960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19104 kB
HardwareCorrupted: 0 kB
AnonHugePages: 245760 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: 293588 kB
DirectMap2M: 27791360 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 889924 MiB
End job on nodeC014 at 2024-07-23 09:12:10