0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 35749888, getVmSize() = 35749888, SCIPgetMemUsed() = 10377933, SCIPgetMemTotal() = 13642749, SCIPgetMemExternEstim() = 7879036
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.58/1.69 c ** Estimated virtualMemUsedAtSolver = 41992722, getVmSize() = 79179776, SCIPgetMemUsed() = 39418336, SCIPgetMemTotal() = 55110048, SCIPgetMemExternEstim() = 7879036
1.58/1.69 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
1.58/1.69 c Original Problem :
1.58/1.69 c Problem name : instance-4465086-1722389415
1.58/1.69 c Variables : 2938 (2938 binary, 0 integer, 0 implicit integer, 0 continuous)
1.58/1.69 c Constraints : 5415
1.58/1.69 c Objective sense : minimize
1.58/1.69 c Presolved Problem :
1.58/1.69 c Variables : 2961 (2938 binary, 0 integer, 23 implicit integer, 0 continuous)
1.58/1.69 c Constraints : 2742
1.58/1.69 c Constraints : Number
1.58/1.69 c setppc : 3
1.58/1.69 c linear : 2707
1.58/1.69 c indicator : 32
1.58/1.69 c ** Instance transfer method used: 0
1.68/1.70 c ** ParaScipInstance copy does not increase the number of variables. **
1.68/1.71 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.68/1.71 c Nodes Active
1.68/1.71 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.68/1.72 c * 2 0 1 1 135813.0000 - -
1.68/1.76 c * 2 0 1 1 90698.0000 - -
1.68/1.76 c * 2 0 1 1 1140.0000 - -
3.46/3.54 c * 4 0 1 1 103.0000 - -
4.96/5.01 c 5 5 6 1 103.0000 0.0000 -
6.53/6.68 c * 7 6 5 1 93.0000 0.0000 -
7.62/7.73 c * 8 12 11 1 61.0000 0.0000 -
9.30/9.47 c * 9 26 13 1 44.0000 0.0000 -
9.61/9.71 c * 10 26 13 1 32.0000 0.0000 -
9.61/9.74 c * 10 26 13 1 31.0000 0.0000 -
9.71/9.82 c * 10 26 13 1 20.0000 0.0000 -
9.91/10.09 c 10 40 10 1 20.0000 0.0000 -
10.60/10.77 c * 11 40 10 1 15.0000 0.0000 -
12.37/12.55 c * 13 59 14 1 8.0000 0.0000 -
14.15/14.34 c * 14 69 13 1 6.0000 0.0000 -
14.15/14.37 c * 14 69 13 1 5.0000 0.0000 -
15.94/16.18 c 16 113 19 1 5.0000 0.0000 -
17.72/17.94 c * 18 124 20 1 4.0000 0.0000 -
20.88/21.13 c * 21 503 93 1 2.0000 0.0000 -
21.08/21.30 c 21 652 89 1 2.0000 0.0000 -
26.72/27.05 c * 27 1168 25 1 1.0000 0.0000 -
26.72/27.05 c 27 1168 25 1 1.0000 0.0000 -
31.67/32.09 c 32 2102 67 1 1.0000 0.0000 -
36.83/37.24 c 37 2953 43 1 1.0000 0.0000 -
42.21/42.64 c 43 4364 122 1 1.0000 0.0000 -
47.48/47.91 c 48 6509 160 1 1.0000 0.0000 -
52.46/52.98 c 53 8883 260 1 1.0000 0.0000 -
57.55/58.04 c 58 11718 272 1 1.0000 0.0000 -
62.53/63.08 c 63 14718 78 1 1.0000 0.0000 -
67.70/68.29 c 68 16808 30 1 1.0000 0.0000 -
72.78/73.34 c 73 20172 63 1 1.0000 0.0000 -
77.76/78.39 c 78 23712 72 1 1.0000 0.0000 -
82.84/83.45 c 83 26935 36 1 1.0000 0.0000 -
88.32/88.90 c 89 29643 139 1 1.0000 0.0000 -
93.29/93.98 c 94 33204 170 1 1.0000 0.0000 -
98.38/99.03 c 99 37026 51 1 1.0000 0.0000 -
103.36/104.08 c 104 39703 39 1 1.0000 0.0000 -
108.43/109.14 c 109 43178 123 1 1.0000 0.0000 -
113.40/114.19 c 114 46626 139 1 1.0000 0.0000 -
118.48/119.24 c 119 48817 82 1 1.0000 0.0000 -
123.45/124.29 c 124 52223 52 1 1.0000 0.0000 -
129.23/130.09 c 130 53702 23 1 1.0000 0.0000 -
134.30/135.15 c 135 56696 281 1 1.0000 0.0000 -
139.37/140.20 c 140 59719 431 1 1.0000 0.0000 -
144.35/145.27 c 145 62580 603 1 1.0000 0.0000 -
149.42/150.32 c 150 65061 673 1 1.0000 0.0000 -
154.50/155.41 c 155 67844 759 1 1.0000 0.0000 -
159.47/160.46 c 160 70314 809 1 1.0000 0.0000 -
164.55/165.54 c 166 73096 798 1 1.0000 0.0000 -
169.63/170.67 c 171 75150 789 1 1.0000 0.0000 -
174.70/175.72 c 176 77560 776 1 1.0000 0.0000 -
179.69/180.78 c 181 80405 734 1 1.0000 0.0000 -
184.76/185.87 c 186 83818 678 1 1.0000 0.0000 -
189.84/190.91 c 191 86188 659 1 1.0000 0.0000 -
194.82/195.96 c 196 88592 581 1 1.0000 0.0000 -
199.90/201.06 c 201 90999 584 1 1.0000 0.0000 -
204.98/206.13 c 206 94252 592 1 1.0000 0.0000 -
210.06/211.20 c 211 97431 535 1 1.0000 0.0000 -
215.03/216.29 c 216 99691 458 1 1.0000 0.0000 -
220.11/221.34 c 221 102530 375 1 1.0000 0.0000 -
225.58/226.80 c 227 104885 297 1 1.0000 0.0000 -
231.17/232.49 c 232 105904 330 1 1.0000 0.0000 -
236.34/237.60 c 238 108241 299 1 1.0000 0.0000 -
241.33/242.66 c 243 110938 223 1 1.0000 0.0000 -
246.39/247.73 c 248 113408 124 1 1.0000 0.0000 -
251.38/252.78 c 253 116543 137 1 1.0000 0.0000 -
256.45/257.83 c 258 120011 70 1 1.0000 0.0000 -
261.43/262.89 c 263 122699 11 1 1.0000 0.0000 -
266.50/267.94 c 268 126056 61 1 1.0000 0.0000 -
271.59/273.01 c 273 129192 34 1 1.0000 0.0000 -
276.57/278.06 c 278 132691 78 1 1.0000 0.0000 -
281.65/283.17 c 283 136241 57 1 1.0000 0.0000 -
286.73/288.25 c 288 138424 174 1 1.0000 0.0000 -
291.80/293.31 c 293 141638 164 1 1.0000 0.0000 -
296.88/298.41 c 298 144806 84 1 1.0000 0.0000 -
301.37/302.91 c 303 147595 0 0 1.0000 1.0000 0.00%
301.37/302.94 c 303 147595 0 0 1.0000 1.0000 -
301.37/302.94 c SCIP Status : c problem is solved
301.37/302.94 c Total Time : 302.9400
301.37/302.94 c solving : 302.9400
301.37/302.94 c presolving : 1.6794 (included in solving)
301.37/302.94 c B&B Tree :
301.37/302.94 c nodes (total) : 147595
301.37/302.94 c Solution :
301.37/302.94 c Solutions found : 18
301.37/302.94 c Primal Bound : +1.00000000000000e+00
301.37/302.94 c Dual Bound : +1.00000000000000e+00
301.37/302.94 c Gap : 0.00000 %
301.37/302.95 o 1
301.37/302.95 s OPTIMUM FOUND
301.37/302.95 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
301.37/302.95 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189
301.37/302.95 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168
301.37/302.95 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147
301.37/302.95 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
301.37/302.95 v x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
301.37/302.95 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
301.37/302.95 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
301.37/302.95 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
301.37/302.95 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
301.37/302.95 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 (62987 MiB free)
memory of node 1: 64473 MiB (63325 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4465086-1722389415/watcher-4465086-1722389415 -o /tmp/evaluation-result-4465086-1722389415/solver-4465086-1722389415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722389405-35192 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465086-1722389415.wbo -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=35932, runsolver pid=35929
[startup+0.100397 s]*
/proc/loadavg: 3.80 4.09 4.13 5/265 35933
/proc/meminfo: memFree=129302824/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=50336 memory=39052 CPUtime=0.09 cores=0,2
/proc/35932/stat : 35932 (fscip) R 35929 35932 35128 0 -1 4194304 7377 0 0 0 9 0 0 0 20 0 1 0 5543521 51544064 9763 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 12584 9763 2630 3035 0 8980 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50336 KiB
Current children cumulated memory: 39052 KiB
[startup+0.205774 s]*
/proc/loadavg: 3.80 4.09 4.13 5/267 35935
/proc/meminfo: memFree=129273144/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=50832 memory=39316 CPUtime=0.19 cores=0,2
/proc/35932/stat : 35932 (fscip) R 35929 35932 35128 0 -1 4194304 7473 0 0 0 19 0 0 0 20 0 1 0 5543521 52051968 9829 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 12708 9829 2630 3035 0 9104 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 50832 KiB
Current children cumulated memory: 39316 KiB
[startup+0.305398 s]*
/proc/loadavg: 3.80 4.09 4.13 4/263 35935
/proc/meminfo: memFree=129359776/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=50832 memory=39316 CPUtime=0.29 cores=0,2
/proc/35932/stat : 35932 (fscip) R 35929 35932 35128 0 -1 4194304 7473 0 0 0 29 0 0 0 20 0 1 0 5543521 52051968 9829 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 12708 9829 2630 3035 0 9104 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 50832 KiB
Current children cumulated memory: 39316 KiB
[startup+0.700235 s]
/proc/loadavg: 3.80 4.09 4.13 4/255 35966
/proc/meminfo: memFree=129518648/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=52376 memory=40900 CPUtime=0.68 cores=0,2
/proc/35932/stat : 35932 (fscip) R 35929 35932 35128 0 -1 4194304 7857 0 0 0 68 0 0 0 20 0 1 0 5543521 53633024 10225 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 13094 10225 2630 3035 0 9490 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52376 KiB
Current children cumulated memory: 40900 KiB
[startup+1.50019 s]
/proc/loadavg: 3.81 4.09 4.13 5/264 36028
/proc/meminfo: memFree=129419516/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=53404 memory=41956 CPUtime=1.48 cores=0,2
/proc/35932/stat : 35932 (fscip) R 35929 35932 35128 0 -1 4194304 8118 0 0 0 147 1 0 0 20 0 1 0 5543521 54685696 10489 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 13351 10489 2630 3035 0 9747 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53404 KiB
Current children cumulated memory: 41956 KiB
[startup+3.10638 s]
/proc/loadavg: 3.81 4.09 4.13 5/270 36034
/proc/meminfo: memFree=129241012/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=169808 memory=111208 CPUtime=3.07 cores=0,2
/proc/35932/stat : 35932 (fscip) S 35929 35932 35128 0 -1 1077936128 31130 0 0 0 303 4 0 0 20 0 3 0 5543521 173883392 27802 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 42452 27802 2870 3035 0 34698 0
[pid=35932/tid=36029] ppid=35929 vsize=169808 memory=198340509722 CPUtime=1.38 cores=0,2
/proc/35932/task/36029/stat : 36029 (fscip) R 35929 35932 35128 0 -1 4194368 17650 0 0 0 136 2 0 0 20 0 3 0 5543691 173883392 27802 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
[pid=35932/tid=36030] ppid=35929 vsize=169808 memory=0 CPUtime=0 cores=0,2
/proc/35932/task/36030/stat : 36030 (fscip) S 35929 35932 35128 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5543692 173883392 27802 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 169808 KiB
Current children cumulated memory: 111208 KiB
[startup+6.30039 s]
/proc/loadavg: 3.83 4.09 4.13 5/270 36035
/proc/meminfo: memFree=129064384/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=238408 memory=173112 CPUtime=6.23 cores=0,2
/proc/35932/stat : 35932 (fscip) S 35929 35932 35128 0 -1 1077936128 48936 0 0 0 617 6 0 0 20 0 3 0 5543521 244129792 43278 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 59602 43278 3014 3035 0 51110 0
[pid=35932/tid=36029] ppid=35929 vsize=238408 memory=118740 CPUtime=4.53 cores=0,2
/proc/35932/task/36029/stat : 36029 (fscip) R 35929 35932 35128 0 -1 4194368 34967 0 0 0 449 4 0 0 20 0 3 0 5543691 244129792 43278 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
[pid=35932/tid=36030] ppid=35929 vsize=238408 memory=172072 CPUtime=0 cores=0,2
/proc/35932/task/36030/stat : 36030 (fscip) S 35929 35932 35128 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5543692 244129792 43278 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 238408 KiB
Current children cumulated memory: 173112 KiB
[startup+12.7004 s]
/proc/loadavg: 3.84 4.09 4.13 5/270 36035
/proc/meminfo: memFree=128956520/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=238408 memory=173524 CPUtime=12.57 cores=0,2
/proc/35932/stat : 35932 (fscip) S 35929 35932 35128 0 -1 1077936128 76860 0 0 0 1249 8 0 0 20 0 3 0 5543521 244129792 43381 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 59602 43381 3014 3035 0 51110 0
[pid=35932/tid=36029] ppid=35929 vsize=238408 memory=158616 CPUtime=10.87 cores=0,2
/proc/35932/task/36029/stat : 36029 (fscip) R 35929 35932 35128 0 -1 4194368 61272 0 0 0 1081 6 0 0 20 0 3 0 5543691 244129792 43381 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
[pid=35932/tid=36030] ppid=35929 vsize=238408 memory=2292 CPUtime=0 cores=0,2
/proc/35932/task/36030/stat : 36030 (fscip) S 35929 35932 35128 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 5543692 244129792 43381 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 238408 KiB
Current children cumulated memory: 173524 KiB
[startup+25.5044 s]
/proc/loadavg: 3.94 4.10 4.13 5/269 36038
/proc/meminfo: memFree=128926836/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=238408 memory=176700 CPUtime=25.24 cores=0,2
/proc/35932/stat : 35932 (fscip) S 35929 35932 35128 0 -1 1077936128 117488 0 0 0 2513 11 0 0 20 0 3 0 5543521 244129792 44175 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 59602 44175 3318 3035 0 51110 0
[pid=35932/tid=36029] ppid=35929 vsize=238408 memory=2296 CPUtime=23.53 cores=0,2
/proc/35932/task/36029/stat : 36029 (fscip) R 35929 35932 35128 0 -1 4194368 100901 0 0 0 2344 9 0 0 20 0 3 0 5543691 244129792 44175 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
[pid=35932/tid=36030] ppid=35929 vsize=238408 memory=0 CPUtime=0 cores=0,2
/proc/35932/task/36030/stat : 36030 (fscip) S 35929 35932 35128 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5543692 244129792 44175 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
Current children cumulated CPU time: 25.24 s
Current children cumulated vsize: 238408 KiB
Current children cumulated memory: 176700 KiB
[startup+51.1057 s]
/proc/loadavg: 3.96 4.09 4.13 5/269 36041
/proc/meminfo: memFree=128762576/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=303944 memory=221464 CPUtime=50.68 cores=0,2
/proc/35932/stat : 35932 (fscip) S 35929 35932 35128 0 -1 1077936128 187855 0 0 0 5050 18 0 0 20 0 3 0 5543521 311238656 55366 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 75986 55366 3318 3035 0 62135 0
[pid=35932/tid=36029] ppid=35929 vsize=303944 memory=221460 CPUtime=48.97 cores=0,2
/proc/35932/task/36029/stat : 36029 (fscip) R 35929 35932 35128 0 -1 4194368 170723 0 0 0 4881 16 0 0 20 0 3 0 5543691 311238656 55366 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
[pid=35932/tid=36030] ppid=35929 vsize=303944 memory=11556 CPUtime=0 cores=0,2
/proc/35932/task/36030/stat : 36030 (fscip) S 35929 35932 35128 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5543692 311238656 55366 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
Current children cumulated CPU time: 50.68 s
Current children cumulated vsize: 303944 KiB
Current children cumulated memory: 221464 KiB
[startup+102.3 s]
/proc/loadavg: 4.02 4.09 4.12 5/269 36050
/proc/meminfo: memFree=128664964/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=303944 memory=228168 CPUtime=101.66 cores=0,2
/proc/35932/stat : 35932 (fscip) S 35929 35932 35128 0 -1 1077936128 262769 0 0 0 10135 31 0 0 20 0 3 0 5543521 311238656 57042 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 75986 57042 3318 3035 0 63653 0
[pid=35932/tid=36029] ppid=35929 vsize=303944 memory=228168 CPUtime=99.94 cores=0,2
/proc/35932/task/36029/stat : 36029 (fscip) R 35929 35932 35128 0 -1 4194368 245546 0 0 0 9966 28 0 0 20 0 3 0 5543691 311238656 57042 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
[pid=35932/tid=36030] ppid=35929 vsize=303944 memory=11556 CPUtime=0 cores=0,2
/proc/35932/task/36030/stat : 36030 (fscip) S 35929 35932 35128 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5543692 311238656 57042 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
Current children cumulated CPU time: 101.66 s
Current children cumulated vsize: 303944 KiB
Current children cumulated memory: 228168 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.13 4.14 5/269 36061
/proc/meminfo: memFree=128598704/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=303944 memory=233720 CPUtime=161.36 cores=0,2
/proc/35932/stat : 35932 (fscip) S 35929 35932 35128 0 -1 1077936128 312951 0 0 0 16094 42 0 0 20 0 3 0 5543521 311238656 58430 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 75986 58430 3318 3035 0 64688 0
[pid=35932/tid=36029] ppid=35929 vsize=303944 memory=232040 CPUtime=159.65 cores=0,2
/proc/35932/task/36029/stat : 36029 (fscip) R 35929 35932 35128 0 -1 4194368 295667 0 0 0 15925 40 0 0 20 0 3 0 5543691 311238656 58430 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
[pid=35932/tid=36030] ppid=35929 vsize=303944 memory=233072 CPUtime=0 cores=0,2
/proc/35932/task/36030/stat : 36030 (fscip) S 35929 35932 35128 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 5543692 311238656 58430 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
Current children cumulated CPU time: 161.36 s
Current children cumulated vsize: 303944 KiB
Current children cumulated memory: 233720 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/267 36071
/proc/meminfo: memFree=128548596/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=319016 memory=247448 CPUtime=221.11 cores=0,2
/proc/35932/stat : 35932 (fscip) S 35929 35932 35128 0 -1 1077936128 334277 0 0 0 22060 51 0 0 20 0 3 0 5543521 326672384 61862 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 79754 61862 3318 3035 0 68456 0
[pid=35932/tid=36029] ppid=35929 vsize=319016 memory=12916 CPUtime=219.38 cores=0,2
/proc/35932/task/36029/stat : 36029 (fscip) R 35929 35932 35128 0 -1 4194368 316959 0 0 0 21890 48 0 0 20 0 3 0 5543691 326672384 61862 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
[pid=35932/tid=36030] ppid=35929 vsize=319016 memory=11556 CPUtime=0 cores=0,2
/proc/35932/task/36030/stat : 36030 (fscip) S 35929 35932 35128 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 5543692 326672384 61862 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
Current children cumulated CPU time: 221.11 s
Current children cumulated vsize: 319016 KiB
Current children cumulated memory: 247448 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 4.14 4.14 5/268 36084
/proc/meminfo: memFree=128486220/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=335048 memory=270152 CPUtime=280.85 cores=0,2
/proc/35932/stat : 35932 (fscip) S 35929 35932 35128 0 -1 1077936128 339635 0 0 0 28027 58 0 0 20 0 3 0 5543521 343089152 67538 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 83762 67538 3318 3035 0 72464 0
[pid=35932/tid=36029] ppid=35929 vsize=335048 memory=249904 CPUtime=279.12 cores=0,2
/proc/35932/task/36029/stat : 36029 (fscip) R 35929 35932 35128 0 -1 4194368 322298 0 0 0 27857 55 0 0 20 0 3 0 5543691 343089152 67538 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
[pid=35932/tid=36030] ppid=35929 vsize=335048 memory=270152 CPUtime=0 cores=0,2
/proc/35932/task/36030/stat : 36030 (fscip) S 35929 35932 35128 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 5543692 343089152 67538 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
Current children cumulated CPU time: 280.85 s
Current children cumulated vsize: 335048 KiB
Current children cumulated memory: 270152 KiB
[startup+302.954 s]
# the end of solver process 35932 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=300.815 s, system=0.616363 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+294.4 s]
/proc/loadavg: 4.17 4.14 4.13 5/267 36085
/proc/meminfo: memFree=128472996/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=335048 memory=280932 CPUtime=292.91 cores=0,2
/proc/35932/stat : 35932 (fscip) S 35929 35932 35128 0 -1 1077936128 344529 0 0 0 29231 60 0 0 20 0 3 0 5543521 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 83762 70233 3318 3035 0 72464 0
[pid=35932/tid=36029] ppid=35929 vsize=335048 memory=-7018696760865414526 CPUtime=291.17 cores=0,2
/proc/35932/task/36029/stat : 36029 (fscip) R 35929 35932 35128 0 -1 4194368 327192 0 0 0 29061 56 0 0 20 0 3 0 5543691 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
[pid=35932/tid=36030] ppid=35929 vsize=335048 memory=2292 CPUtime=0 cores=0,2
/proc/35932/task/36030/stat : 36030 (fscip) S 35929 35932 35128 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 5543692 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
Current children cumulated CPU time: 292.91 s
Current children cumulated vsize: 335048 KiB
Current children cumulated memory: 280932 KiB
[startup+297.6 s]
/proc/loadavg: 4.15 4.13 4.13 5/267 36087
/proc/meminfo: memFree=128469984/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=335048 memory=280932 CPUtime=296.09 cores=0,2
/proc/35932/stat : 35932 (fscip) S 35929 35932 35128 0 -1 1077936128 344529 0 0 0 29549 60 0 0 20 0 3 0 5543521 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 83762 70233 3318 3035 0 72464 0
[pid=35932/tid=36029] ppid=35929 vsize=335048 memory=275844 CPUtime=294.36 cores=0,2
/proc/35932/task/36029/stat : 36029 (fscip) R 35929 35932 35128 0 -1 4194368 327192 0 0 0 29379 57 0 0 20 0 3 0 5543691 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
[pid=35932/tid=36030] ppid=35929 vsize=335048 memory=276792 CPUtime=0 cores=0,2
/proc/35932/task/36030/stat : 36030 (fscip) S 35929 35932 35128 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 5543692 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
Current children cumulated CPU time: 296.09 s
Current children cumulated vsize: 335048 KiB
Current children cumulated memory: 280932 KiB
[startup+300.8 s]
/proc/loadavg: 4.15 4.13 4.13 5/267 36087
/proc/meminfo: memFree=128469704/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=335048 memory=280932 CPUtime=299.27 cores=0,2
/proc/35932/stat : 35932 (fscip) S 35929 35932 35128 0 -1 1077936128 344529 0 0 0 29867 60 0 0 20 0 3 0 5543521 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 83762 70233 3318 3035 0 72464 0
[pid=35932/tid=36029] ppid=35929 vsize=335048 memory=275844 CPUtime=297.55 cores=0,2
/proc/35932/task/36029/stat : 36029 (fscip) R 35929 35932 35128 0 -1 4194368 327192 0 0 0 29698 57 0 0 20 0 3 0 5543691 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
[pid=35932/tid=36030] ppid=35929 vsize=335048 memory=100 CPUtime=0 cores=0,2
/proc/35932/task/36030/stat : 36030 (fscip) S 35929 35932 35128 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 5543692 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
Current children cumulated CPU time: 299.27 s
Current children cumulated vsize: 335048 KiB
Current children cumulated memory: 280932 KiB
[startup+301.6 s]
/proc/loadavg: 4.14 4.13 4.13 5/267 36087
/proc/meminfo: memFree=128469640/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=335048 memory=280932 CPUtime=300.07 cores=0,2
/proc/35932/stat : 35932 (fscip) S 35929 35932 35128 0 -1 1077936128 344529 0 0 0 29947 60 0 0 20 0 3 0 5543521 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 83762 70233 3318 3035 0 72464 0
[pid=35932/tid=36029] ppid=35929 vsize=335048 memory=1944 CPUtime=298.35 cores=0,2
/proc/35932/task/36029/stat : 36029 (fscip) R 35929 35932 35128 0 -1 4194368 327192 0 0 0 29778 57 0 0 20 0 3 0 5543691 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
[pid=35932/tid=36030] ppid=35929 vsize=335048 memory=2292 CPUtime=0 cores=0,2
/proc/35932/task/36030/stat : 36030 (fscip) S 35929 35932 35128 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 5543692 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
Current children cumulated CPU time: 300.07 s
Current children cumulated vsize: 335048 KiB
Current children cumulated memory: 280932 KiB
[startup+302.4 s]
/proc/loadavg: 4.14 4.13 4.13 5/267 36088
/proc/meminfo: memFree=128469472/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=335048 memory=280932 CPUtime=300.87 cores=0,2
/proc/35932/stat : 35932 (fscip) S 35929 35932 35128 0 -1 1077936128 344529 0 0 0 30027 60 0 0 20 0 3 0 5543521 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 83762 70233 3318 3035 0 72464 0
[pid=35932/tid=36029] ppid=35929 vsize=335048 memory=12916 CPUtime=299.14 cores=0,2
/proc/35932/task/36029/stat : 36029 (fscip) R 35929 35932 35128 0 -1 4194368 327192 0 0 0 29857 57 0 0 20 0 3 0 5543691 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
[pid=35932/tid=36030] ppid=35929 vsize=335048 memory=12192 CPUtime=0 cores=0,2
/proc/35932/task/36030/stat : 36030 (fscip) S 35929 35932 35128 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 5543692 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
Current children cumulated CPU time: 300.87 s
Current children cumulated vsize: 335048 KiB
Current children cumulated memory: 280932 KiB
[startup+302.8 s]
/proc/loadavg: 4.14 4.13 4.13 5/267 36088
/proc/meminfo: memFree=128469472/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=335048 memory=280932 CPUtime=301.27 cores=0,2
/proc/35932/stat : 35932 (fscip) S 35929 35932 35128 0 -1 1077936128 344529 0 0 0 30066 61 0 0 20 0 3 0 5543521 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 83762 70233 3318 3035 0 72464 0
[pid=35932/tid=36029] ppid=35929 vsize=335048 memory=25976 CPUtime=299.54 cores=0,2
/proc/35932/task/36029/stat : 36029 (fscip) R 35929 35932 35128 0 -1 4194368 327192 0 0 0 29897 57 0 0 20 0 3 0 5543691 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
[pid=35932/tid=36030] ppid=35929 vsize=335048 memory=100 CPUtime=0 cores=0,2
/proc/35932/task/36030/stat : 36030 (fscip) S 35929 35932 35128 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 5543692 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
Current children cumulated CPU time: 301.27 s
Current children cumulated vsize: 335048 KiB
Current children cumulated memory: 280932 KiB
[startup+302.9 s]
/proc/loadavg: 4.14 4.13 4.13 5/267 36088
/proc/meminfo: memFree=128469472/131524600 swapFree=131071996/131071996
[pid=35932] ppid=35929 vsize=335048 memory=280932 CPUtime=301.37 cores=0,2
/proc/35932/stat : 35932 (fscip) S 35929 35932 35128 0 -1 1077936128 344529 0 0 0 30076 61 0 0 20 0 3 0 5543521 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
/proc/35932/statm: 83762 70233 3318 3035 0 72464 0
[pid=35932/tid=36029] ppid=35929 vsize=335048 memory=249904 CPUtime=299.65 cores=0,2
/proc/35932/task/36029/stat : 36029 (fscip) R 35929 35932 35128 0 -1 4194368 327192 0 0 0 29907 58 0 0 20 0 3 0 5543691 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
[pid=35932/tid=36030] ppid=35929 vsize=335048 memory=276792 CPUtime=0 cores=0,2
/proc/35932/task/36030/stat : 36030 (fscip) S 35929 35932 35128 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 5543692 343089152 70233 134679101440 4194304 16623229 140723462820000 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45441024 140723462824980 140723462825096 140723462825096 140723462832112 0
Current children cumulated CPU time: 301.37 s
Current children cumulated vsize: 335048 KiB
Current children cumulated memory: 280932 KiB
Child status: 0
Real time (s): 302.954
CPU time (s): 301.432
CPU user time (s): 300.815
CPU system time (s): 0.616363
CPU usage (%): 99.4977
Max. virtual memory (cumulated for all children) (KiB): 335048
Max. memory (cumulated for all children) (KiB): 280932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 300.815
system time used= 0.616363
maximum resident set size= 281084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346567
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= 988
involuntary context switches= 2300
# summary of solver processes directly reported to runsolver:
# pid: 35932
# total CPU time (s): 301.432
# total CPU user time (s): 300.815
# total CPU system time (s): 0.616363
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.825709 second user time and 1.3282 second system time
The end
Begin job on nodeC032 at 2024-07-31 03:30:15
IDJOB=4465086
IDBENCH=143199
IDSOLVER=3093
FILE ID=nodeC032/4465086-1722389415
RUNJOBID= nodeC032-1722389405-35192
SLURM_JOB_ID= 8249861
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576151--soft-0-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4465086-1722389415/watcher-4465086-1722389415 -o /tmp/evaluation-result-4465086-1722389415/solver-4465086-1722389415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722389405-35192 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465086-1722389415.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 216f6331a5059337c4eb768f690a17ee
RANDOM SEED=1983041217
nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.590
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.836
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.641
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.305
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.355
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.870
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.314
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.346
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129344672 kB
MemAvailable: 129599700 kB
Buffers: 105288 kB
Cached: 985812 kB
SwapCached: 0 kB
Active: 277848 kB
Inactive: 1424672 kB
Active(anon): 1544 kB
Inactive(anon): 631204 kB
Active(file): 276304 kB
Inactive(file): 793468 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 114256 kB
Writeback: 28 kB
AnonPages: 611484 kB
Mapped: 122156 kB
Shmem: 21332 kB
KReclaimable: 50156 kB
Slab: 131572 kB
SReclaimable: 50156 kB
SUnreclaim: 81416 kB
KernelStack: 4208 kB
PageTables: 10472 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 961904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10048 kB
HardwareCorrupted: 0 kB
AnonHugePages: 239616 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 182996 kB
DirectMap2M: 7979008 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC032 at 2024-07-31 03:35:18