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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 33878016, getVmSize() = 33878016, SCIPgetMemUsed() = 8464208, SCIPgetMemTotal() = 11887704, SCIPgetMemExternEstim() = 6181397
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.79/0.89 c ** Estimated virtualMemUsedAtSolver = 27940181, getVmSize() = 49942528, SCIPgetMemUsed() = 15784716, SCIPgetMemTotal() = 26510684, SCIPgetMemExternEstim() = 6181397
0.79/0.89 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.79/0.89 c Original Problem :
0.79/0.89 c Problem name : instance-4464855-1722389815
0.79/0.89 c Variables : 2014 (2014 binary, 0 integer, 0 implicit integer, 0 continuous)
0.79/0.89 c Constraints : 4491
0.79/0.89 c Objective sense : minimize
0.79/0.89 c Presolved Problem :
0.79/0.89 c Variables : 2026 (2014 binary, 0 integer, 12 implicit integer, 0 continuous)
0.79/0.89 c Constraints : 2670
0.79/0.89 c Constraints : Number
0.79/0.89 c setppc : 31
0.79/0.89 c linear : 1783
0.79/0.89 c logicor : 823
0.79/0.89 c indicator : 33
0.79/0.89 c ** Instance transfer method used: 0
0.79/0.90 c ** ParaScipInstance copy does not increase the number of variables. **
0.88/0.90 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.88/0.90 c Nodes Active
0.88/0.90 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.88/0.97 c * 1 0 1 1 57610.0000 - -
0.88/0.97 c * 1 0 1 1 763.0000 - -
2.17/2.24 c * 2 0 1 1 102.0000 - -
4.46/4.51 c * 5 5 6 1 55.0000 0.0000 -
4.76/4.81 c * 5 5 6 1 44.0000 0.0000 -
5.06/5.12 c * 5 12 8 1 31.0000 0.0000 -
5.06/5.12 c 5 12 8 1 31.0000 0.0000 -
6.76/6.88 c * 7 21 12 1 28.0000 0.0000 -
6.86/6.90 c * 7 21 12 1 21.0000 0.0000 -
6.96/7.00 c * 7 21 12 1 11.0000 0.0000 -
10.05/10.18 c 10 86 22 1 11.0000 0.0000 -
10.15/10.21 c * 10 86 22 1 7.0000 0.0000 -
15.24/15.33 c 15 657 142 1 7.0000 0.0000 -
20.32/20.43 c 20 1453 335 1 7.0000 0.0000 -
26.31/26.41 c 26 2334 508 1 7.0000 0.0000 -
32.00/32.16 c 32 3282 606 1 7.0000 0.0000 -
37.27/37.40 c * 37 3744 22 1 6.0000 0.0000 -
37.27/37.40 c 37 3744 22 1 6.0000 0.0000 -
42.96/43.12 c 43 5518 248 1 6.0000 0.0000 -
47.94/48.18 c 48 8001 491 1 6.0000 0.0000 -
53.42/53.66 c 54 10867 623 1 6.0000 0.0000 -
58.51/58.78 c 59 13754 942 1 6.0000 0.0000 -
63.59/63.83 c 64 15809 1257 1 6.0000 0.0000 -
64.29/64.52 c * 65 15809 1257 1 4.0000 0.0000 -
68.88/69.15 c 69 18325 1008 1 4.0000 0.0000 -
73.96/74.20 c 74 22221 1145 1 4.0000 0.0000 -
78.95/79.25 c 79 25571 1314 1 4.0000 0.0000 -
84.03/84.32 c 84 29107 1625 1 4.0000 0.0000 -
89.21/89.57 c 90 30799 1738 1 4.0000 0.0000 -
94.30/94.65 c 95 33584 1835 1 4.0000 0.0000 -
99.38/99.73 c 100 37073 2044 1 4.0000 0.0000 -
104.57/104.95 c 105 39634 2327 1 4.0000 0.0000 -
107.55/107.96 c * 108 40649 2386 1 1.0000 0.0000 -
109.65/110.00 c 110 42403 390 1 1.0000 0.0000 -
114.63/115.06 c 115 44565 502 1 1.0000 0.0000 -
119.72/120.13 c 120 46927 645 1 1.0000 0.0000 -
124.70/125.18 c 125 49265 846 1 1.0000 0.0000 -
129.79/130.22 c 130 51351 911 1 1.0000 0.0000 -
134.87/135.33 c 135 53371 960 1 1.0000 0.0000 -
139.95/140.41 c 140 55445 954 1 1.0000 0.0000 -
145.33/145.80 c 146 56401 956 1 1.0000 0.0000 -
150.31/150.85 c 151 59176 1019 1 1.0000 0.0000 -
155.40/155.91 c 156 61139 1062 1 1.0000 0.0000 -
160.39/160.99 c 161 63181 1015 1 1.0000 0.0000 -
165.48/166.07 c 166 65762 974 1 1.0000 0.0000 -
170.56/171.12 c 171 68513 930 1 1.0000 0.0000 -
175.54/176.17 c 176 70519 824 1 1.0000 0.0000 -
180.63/181.29 c 181 72720 838 1 1.0000 0.0000 -
185.70/186.37 c 186 75061 786 1 1.0000 0.0000 -
190.80/191.46 c 191 77146 721 1 1.0000 0.0000 -
195.88/196.53 c 197 79932 779 1 1.0000 0.0000 -
200.86/201.58 c 202 83577 778 1 1.0000 0.0000 -
205.95/206.63 c 207 86736 734 1 1.0000 0.0000 -
210.92/211.68 c 212 90341 712 1 1.0000 0.0000 -
216.01/216.73 c 217 93246 743 1 1.0000 0.0000 -
220.99/221.78 c 222 96232 588 1 1.0000 0.0000 -
226.07/226.84 c 227 98923 481 1 1.0000 0.0000 -
231.03/231.89 c 232 101661 406 1 1.0000 0.0000 -
236.07/236.94 c 237 104529 387 1 1.0000 0.0000 -
241.02/241.99 c 242 107441 492 1 1.0000 0.0000 -
246.31/247.26 c 247 108264 508 1 1.0000 0.0000 -
251.39/252.31 c 252 111493 520 1 1.0000 0.0000 -
256.37/257.35 c 257 114780 490 1 1.0000 0.0000 -
261.55/262.54 c 263 118018 341 1 1.0000 0.0000 -
266.64/267.61 c 268 121000 111 1 1.0000 0.0000 -
271.63/272.68 c 273 123651 189 1 1.0000 0.0000 -
276.71/277.73 c 278 127174 146 1 1.0000 0.0000 -
281.70/282.78 c 283 130341 196 1 1.0000 0.0000 -
286.77/287.83 c 288 133745 71 1 1.0000 0.0000 -
291.86/292.92 c 293 136181 60 1 1.0000 0.0000 -
296.85/297.97 c 298 139784 145 1 1.0000 0.0000 -
301.93/303.02 c 303 143128 126 1 1.0000 0.0000 -
306.91/308.10 c 308 146633 50 1 1.0000 0.0000 -
308.61/309.78 c 310 147633 0 0 1.0000 1.0000 0.00%
308.71/309.83 c 310 147633 0 0 1.0000 1.0000 -
308.71/309.83 c SCIP Status : c problem is solved
308.71/309.83 c Total Time : 309.8200
308.71/309.83 c solving : 309.8200
308.71/309.83 c presolving : 0.8724 (included in solving)
308.71/309.83 c B&B Tree :
308.71/309.83 c nodes (total) : 147633
308.71/309.83 c Solution :
308.71/309.83 c Solutions found : 13
308.71/309.83 c Primal Bound : +1.00000000000000e+00
308.71/309.83 c Dual Bound : +1.00000000000000e+00
308.71/309.83 c Gap : 0.00000 %
308.71/309.83 o 1
308.71/309.83 s OPTIMUM FOUND
308.71/309.83 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
308.71/309.83 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
308.71/309.83 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168
308.71/309.83 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
308.71/309.83 v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
308.71/309.83 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104
308.71/309.83 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
308.71/309.83 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
308.71/309.83 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
308.71/309.83 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
308.71/309.83 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: 63931 MiB (54403 MiB free)
memory of node 1: 64510 MiB (61448 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4464855-1722389815/watcher-4464855-1722389815 -o /tmp/evaluation-result-4464855-1722389815/solver-4464855-1722389815 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722389725-37620 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464855-1722389815.wbo -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=37796, runsolver pid=37793
[startup+0.100098 s]*
/proc/loadavg: 3.58 3.06 3.54 5/262 37797
/proc/meminfo: memFree=118610268/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=42724 memory=31728 CPUtime=0.09 cores=5,7
/proc/37796/stat : 37796 (fscip) R 37793 37796 37607 0 -1 4194304 5563 0 0 0 9 0 0 0 20 0 1 0 5579776 43749376 7932 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 10681 7932 2662 3035 0 7077 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42724 KiB
Current children cumulated memory: 31728 KiB
[startup+0.205709 s]*
/proc/loadavg: 3.58 3.06 3.54 5/262 37797
/proc/meminfo: memFree=118609708/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=43240 memory=32256 CPUtime=0.19 cores=5,7
/proc/37796/stat : 37796 (fscip) R 37793 37796 37607 0 -1 4194304 5675 0 0 0 19 0 0 0 20 0 1 0 5579776 44277760 8064 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 10810 8064 2662 3035 0 7206 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43240 KiB
Current children cumulated memory: 32256 KiB
[startup+0.30573 s]*
/proc/loadavg: 3.58 3.06 3.54 6/262 37797
/proc/meminfo: memFree=118609284/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=43756 memory=32784 CPUtime=0.29 cores=5,7
/proc/37796/stat : 37796 (fscip) R 37793 37796 37607 0 -1 4194304 5804 0 0 0 29 0 0 0 20 0 1 0 5579776 44806144 8196 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 10939 8196 2662 3035 0 7335 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43756 KiB
Current children cumulated memory: 32784 KiB
[startup+0.70025 s]
/proc/loadavg: 3.58 3.06 3.54 5/262 37797
/proc/meminfo: memFree=118608152/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=44784 memory=33840 CPUtime=0.69 cores=5,7
/proc/37796/stat : 37796 (fscip) R 37793 37796 37607 0 -1 4194304 6061 0 0 0 68 1 0 0 20 0 1 0 5579776 45858816 8460 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 11196 8460 2662 3035 0 7592 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44784 KiB
Current children cumulated memory: 33840 KiB
[startup+1.5011 s]
/proc/loadavg: 3.58 3.06 3.54 5/264 37799
/proc/meminfo: memFree=118582808/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=136452 memory=69312 CPUtime=1.47 cores=5,7
/proc/37796/stat : 37796 (fscip) S 37793 37796 37607 0 -1 1077936128 15693 0 0 0 145 2 0 0 20 0 3 0 5579776 139726848 17328 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 34113 17328 2870 3035 0 21814 0
[pid=37796/tid=37798] ppid=37793 vsize=136452 memory=4228 CPUtime=0.58 cores=5,7
/proc/37796/task/37798/stat : 37798 (fscip) R 37793 37796 37607 0 -1 4194368 7524 0 0 0 57 1 0 0 20 0 3 0 5579865 139726848 17328 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
[pid=37796/tid=37799] ppid=37793 vsize=136452 memory=2336 CPUtime=0 cores=5,7
/proc/37796/task/37799/stat : 37799 (fscip) S 37793 37796 37607 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5579867 139726848 17328 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 136452 KiB
Current children cumulated memory: 69312 KiB
[startup+3.10575 s]
/proc/loadavg: 3.58 3.06 3.54 5/264 37799
/proc/meminfo: memFree=118533500/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=136452 memory=91396 CPUtime=3.07 cores=5,7
/proc/37796/stat : 37796 (fscip) S 37793 37796 37607 0 -1 1077936128 26916 0 0 0 304 3 0 0 20 0 3 0 5579776 139726848 22849 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 34113 22849 2998 3035 0 28010 0
[pid=37796/tid=37798] ppid=37793 vsize=136452 memory=2336 CPUtime=2.18 cores=5,7
/proc/37796/task/37798/stat : 37798 (fscip) R 37793 37796 37607 0 -1 4194368 18378 0 0 0 216 2 0 0 20 0 3 0 5579865 139726848 22849 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
[pid=37796/tid=37799] ppid=37793 vsize=136452 memory=104 CPUtime=0 cores=5,7
/proc/37796/task/37799/stat : 37799 (fscip) S 37793 37796 37607 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5579867 139726848 22849 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 136452 KiB
Current children cumulated memory: 91396 KiB
[startup+6.30025 s]
/proc/loadavg: 3.62 3.08 3.54 5/264 37800
/proc/meminfo: memFree=118494524/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=201988 memory=126736 CPUtime=6.26 cores=5,7
/proc/37796/stat : 37796 (fscip) S 37793 37796 37607 0 -1 1077936128 44313 0 0 0 620 6 0 0 20 0 3 0 5579776 206835712 31684 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 50497 31684 3014 3035 0 37182 0
[pid=37796/tid=37798] ppid=37793 vsize=201988 memory=-5155632375319063429 CPUtime=5.37 cores=5,7
/proc/37796/task/37798/stat : 37798 (fscip) R 37793 37796 37607 0 -1 4194368 35699 0 0 0 532 5 0 0 20 0 3 0 5579865 206835712 31684 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
[pid=37796/tid=37799] ppid=37793 vsize=201988 memory=103274 CPUtime=0 cores=5,7
/proc/37796/task/37799/stat : 37799 (fscip) S 37793 37796 37607 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5579867 206835712 31684 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 201988 KiB
Current children cumulated memory: 126736 KiB
[startup+12.7003 s]
/proc/loadavg: 3.65 3.09 3.54 5/264 37800
/proc/meminfo: memFree=118481724/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=201988 memory=128144 CPUtime=12.65 cores=5,7
/proc/37796/stat : 37796 (fscip) S 37793 37796 37607 0 -1 1077936128 64432 0 0 0 1257 8 0 0 20 0 3 0 5579776 206835712 32036 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 50497 32036 3318 3035 0 37182 0
[pid=37796/tid=37798] ppid=37793 vsize=201988 memory=97468 CPUtime=11.74 cores=5,7
/proc/37796/task/37798/stat : 37798 (fscip) R 37793 37796 37607 0 -1 4194368 55066 0 0 0 1168 6 0 0 20 0 3 0 5579865 206835712 32036 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
[pid=37796/tid=37799] ppid=37793 vsize=201988 memory=128128 CPUtime=0 cores=5,7
/proc/37796/task/37799/stat : 37799 (fscip) S 37793 37796 37607 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5579867 206835712 32036 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 201988 KiB
Current children cumulated memory: 128144 KiB
[startup+25.5003 s]
/proc/loadavg: 3.73 3.14 3.55 5/264 37802
/proc/meminfo: memFree=118411632/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=201988 memory=157832 CPUtime=25.4 cores=5,7
/proc/37796/stat : 37796 (fscip) S 37793 37796 37607 0 -1 1077936128 105664 0 0 0 2529 11 0 0 20 0 3 0 5579776 206835712 39458 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 50497 39458 3318 3035 0 44306 0
[pid=37796/tid=37798] ppid=37793 vsize=201988 memory=128128 CPUtime=24.51 cores=5,7
/proc/37796/task/37798/stat : 37798 (fscip) R 37793 37796 37607 0 -1 4194368 96204 0 0 0 2441 10 0 0 20 0 3 0 5579865 206835712 39458 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
[pid=37796/tid=37799] ppid=37793 vsize=201988 memory=157824 CPUtime=0 cores=5,7
/proc/37796/task/37799/stat : 37799 (fscip) S 37793 37796 37607 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5579867 206835712 39458 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 201988 KiB
Current children cumulated memory: 157832 KiB
[startup+51.1056 s]
/proc/loadavg: 3.88 3.23 3.57 5/264 37808
/proc/meminfo: memFree=118340412/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=267524 memory=188100 CPUtime=50.93 cores=5,7
/proc/37796/stat : 37796 (fscip) S 37793 37796 37607 0 -1 1077936128 182049 0 0 0 5075 18 0 0 20 0 3 0 5579776 273944576 47025 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 66881 47025 3318 3035 0 51802 0
[pid=37796/tid=37798] ppid=37793 vsize=267524 memory=0 CPUtime=50.04 cores=5,7
/proc/37796/task/37798/stat : 37798 (fscip) R 37793 37796 37607 0 -1 4194368 172137 0 0 0 4987 17 0 0 20 0 3 0 5579865 273944576 47025 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
[pid=37796/tid=37799] ppid=37793 vsize=267524 memory=0 CPUtime=0 cores=5,7
/proc/37796/task/37799/stat : 37799 (fscip) S 37793 37796 37607 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5579867 273944576 47025 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 267524 KiB
Current children cumulated memory: 188100 KiB
[startup+102.3 s]
/proc/loadavg: 3.95 3.35 3.59 5/264 37818
/proc/meminfo: memFree=118207216/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=272584 memory=214500 CPUtime=101.97 cores=5,7
/proc/37796/stat : 37796 (fscip) S 37793 37796 37607 0 -1 1077936128 263593 0 0 0 10166 31 0 0 20 0 3 0 5579776 279126016 53625 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 68146 53625 3318 3035 0 58457 0
[pid=37796/tid=37798] ppid=37793 vsize=272584 memory=209992 CPUtime=101.06 cores=5,7
/proc/37796/task/37798/stat : 37798 (fscip) R 37793 37796 37607 0 -1 4194368 253213 0 0 0 10077 29 0 0 20 0 3 0 5579865 279126016 53625 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
[pid=37796/tid=37799] ppid=37793 vsize=272584 memory=201464 CPUtime=0 cores=5,7
/proc/37796/task/37799/stat : 37799 (fscip) S 37793 37796 37607 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5579867 279126016 53625 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 272584 KiB
Current children cumulated memory: 214500 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 3.50 3.63 5/264 37828
/proc/meminfo: memFree=118045040/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=285012 memory=227736 CPUtime=161.78 cores=5,7
/proc/37796/stat : 37796 (fscip) S 37793 37796 37607 0 -1 1077936128 337836 0 0 0 16134 44 0 0 20 0 3 0 5579776 291852288 56934 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 71253 56934 3318 3035 0 61564 0
[pid=37796/tid=37798] ppid=37793 vsize=285012 memory=222052 CPUtime=160.87 cores=5,7
/proc/37796/task/37798/stat : 37798 (fscip) R 37793 37796 37607 0 -1 4194368 327032 0 0 0 16045 42 0 0 20 0 3 0 5579865 291852288 56934 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
[pid=37796/tid=37799] ppid=37793 vsize=285012 memory=222052 CPUtime=0 cores=5,7
/proc/37796/task/37799/stat : 37799 (fscip) S 37793 37796 37607 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 5579867 291852288 56934 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 285012 KiB
Current children cumulated memory: 227736 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.61 3.66 5/266 37842
/proc/meminfo: memFree=117829148/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=304852 memory=243792 CPUtime=221.59 cores=5,7
/proc/37796/stat : 37796 (fscip) S 37793 37796 37607 0 -1 1077936128 371128 0 0 0 22106 53 0 0 20 0 3 0 5579776 312168448 60948 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 76213 60948 3318 3035 0 66524 0
[pid=37796/tid=37798] ppid=37793 vsize=304852 memory=11400 CPUtime=220.68 cores=5,7
/proc/37796/task/37798/stat : 37798 (fscip) R 37793 37796 37607 0 -1 4194368 360269 0 0 0 22017 51 0 0 20 0 3 0 5579865 312168448 60948 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
[pid=37796/tid=37799] ppid=37793 vsize=304852 memory=243792 CPUtime=0 cores=5,7
/proc/37796/task/37799/stat : 37799 (fscip) S 37793 37796 37607 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 5579867 312168448 60948 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 304852 KiB
Current children cumulated memory: 243792 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.70 3.69 5/266 37853
/proc/meminfo: memFree=117777960/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=304852 memory=247592 CPUtime=281.3 cores=5,7
/proc/37796/stat : 37796 (fscip) S 37793 37796 37607 0 -1 1077936128 406100 0 0 0 28067 63 0 0 20 0 3 0 5579776 312168448 61898 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 76213 61898 3318 3035 0 66524 0
[pid=37796/tid=37798] ppid=37793 vsize=304852 memory=246064 CPUtime=280.38 cores=5,7
/proc/37796/task/37798/stat : 37798 (fscip) R 37793 37796 37607 0 -1 4194368 395196 0 0 0 27977 61 0 0 20 0 3 0 5579865 312168448 61898 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
[pid=37796/tid=37799] ppid=37793 vsize=304852 memory=14648 CPUtime=0 cores=5,7
/proc/37796/task/37799/stat : 37799 (fscip) S 37793 37796 37607 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5579867 312168448 61898 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 304852 KiB
Current children cumulated memory: 247592 KiB
[startup+309.843 s]
# the end of solver process 37796 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=308.067 s, system=0.687823 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+294.4 s]
/proc/loadavg: 4.06 3.71 3.70 5/266 37854
/proc/meminfo: memFree=117776556/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=307284 memory=248812 CPUtime=293.35 cores=5,7
/proc/37796/stat : 37796 (fscip) S 37793 37796 37607 0 -1 1077936128 406669 0 0 0 29271 64 0 0 20 0 3 0 5579776 314658816 62203 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 76821 62203 3318 3035 0 67132 0
[pid=37796/tid=37798] ppid=37793 vsize=307284 memory=2680 CPUtime=292.44 cores=5,7
/proc/37796/task/37798/stat : 37798 (fscip) R 37793 37796 37607 0 -1 4194368 395765 0 0 0 29182 62 0 0 20 0 3 0 5579865 314658816 62203 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
[pid=37796/tid=37799] ppid=37793 vsize=307284 memory=247428 CPUtime=0 cores=5,7
/proc/37796/task/37799/stat : 37799 (fscip) S 37793 37796 37607 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5579867 314658816 62203 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
Current children cumulated CPU time: 293.35 s
Current children cumulated vsize: 307284 KiB
Current children cumulated memory: 248812 KiB
[startup+300.8 s]
/proc/loadavg: 4.06 3.72 3.70 5/266 37856
/proc/meminfo: memFree=117776404/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=307284 memory=248812 CPUtime=299.73 cores=5,7
/proc/37796/stat : 37796 (fscip) S 37793 37796 37607 0 -1 1077936128 406695 0 0 0 29908 65 0 0 20 0 3 0 5579776 314658816 62203 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 76821 62203 3318 3035 0 67132 0
[pid=37796/tid=37798] ppid=37793 vsize=307284 memory=12264 CPUtime=298.82 cores=5,7
/proc/37796/task/37798/stat : 37798 (fscip) R 37793 37796 37607 0 -1 4194368 395791 0 0 0 29819 63 0 0 20 0 3 0 5579865 314658816 62203 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
[pid=37796/tid=37799] ppid=37793 vsize=307284 memory=5612 CPUtime=0 cores=5,7
/proc/37796/task/37799/stat : 37799 (fscip) S 37793 37796 37607 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5579867 314658816 62203 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
Current children cumulated CPU time: 299.73 s
Current children cumulated vsize: 307284 KiB
Current children cumulated memory: 248812 KiB
[startup+304 s]*
/proc/loadavg: 4.05 3.72 3.70 5/266 37857
/proc/meminfo: memFree=117776396/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=307284 memory=248976 CPUtime=302.93 cores=5,7
/proc/37796/stat : 37796 (fscip) S 37793 37796 37607 0 -1 1077936128 406796 0 0 0 30227 66 0 0 20 0 3 0 5579776 314658816 62244 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 76821 62244 3318 3035 0 67132 0
[pid=37796/tid=37798] ppid=37793 vsize=307284 memory=-7162248998987850615 CPUtime=302.01 cores=5,7
/proc/37796/task/37798/stat : 37798 (fscip) R 37793 37796 37607 0 -1 4194368 395892 0 0 0 30137 64 0 0 20 0 3 0 5579865 314658816 62244 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
[pid=37796/tid=37799] ppid=37793 vsize=307284 memory=-7233808450367552702 CPUtime=0 cores=5,7
/proc/37796/task/37799/stat : 37799 (fscip) S 37793 37796 37607 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5579867 314658816 62244 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
Current children cumulated CPU time: 302.93 s
Current children cumulated vsize: 307284 KiB
Current children cumulated memory: 248976 KiB
[startup+307.2 s]
/proc/loadavg: 4.05 3.72 3.70 5/266 37858
/proc/meminfo: memFree=117776104/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=307284 memory=248976 CPUtime=306.11 cores=5,7
/proc/37796/stat : 37796 (fscip) S 37793 37796 37607 0 -1 1077936128 406813 0 0 0 30545 66 0 0 20 0 3 0 5579776 314658816 62244 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 76821 62244 3318 3035 0 67132 0
[pid=37796/tid=37798] ppid=37793 vsize=307284 memory=214500 CPUtime=305.19 cores=5,7
/proc/37796/task/37798/stat : 37798 (fscip) R 37793 37796 37607 0 -1 4194368 395909 0 0 0 30455 64 0 0 20 0 3 0 5579865 314658816 62244 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
[pid=37796/tid=37799] ppid=37793 vsize=307284 memory=11400 CPUtime=0 cores=5,7
/proc/37796/task/37799/stat : 37799 (fscip) S 37793 37796 37607 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5579867 314658816 62244 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
Current children cumulated CPU time: 306.11 s
Current children cumulated vsize: 307284 KiB
Current children cumulated memory: 248976 KiB
[startup+308.8 s]
/proc/loadavg: 4.05 3.72 3.70 5/266 37858
/proc/meminfo: memFree=117776076/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=307284 memory=248976 CPUtime=307.71 cores=5,7
/proc/37796/stat : 37796 (fscip) S 37793 37796 37607 0 -1 1077936128 406813 0 0 0 30704 67 0 0 20 0 3 0 5579776 314658816 62244 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 76821 62244 3318 3035 0 67132 0
[pid=37796/tid=37798] ppid=37793 vsize=307284 memory=0 CPUtime=306.78 cores=5,7
/proc/37796/task/37798/stat : 37798 (fscip) R 37793 37796 37607 0 -1 4194368 395909 0 0 0 30614 64 0 0 20 0 3 0 5579865 314658816 62244 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
[pid=37796/tid=37799] ppid=37793 vsize=307284 memory=248812 CPUtime=0 cores=5,7
/proc/37796/task/37799/stat : 37799 (fscip) S 37793 37796 37607 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5579867 314658816 62244 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
Current children cumulated CPU time: 307.71 s
Current children cumulated vsize: 307284 KiB
Current children cumulated memory: 248976 KiB
[startup+309.6 s]
/proc/loadavg: 4.05 3.73 3.70 5/266 37858
/proc/meminfo: memFree=117775960/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=307284 memory=248976 CPUtime=308.51 cores=5,7
/proc/37796/stat : 37796 (fscip) S 37793 37796 37607 0 -1 1077936128 406816 0 0 0 30784 67 0 0 20 0 3 0 5579776 314658816 62244 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 76821 62244 3318 3035 0 67132 0
[pid=37796/tid=37798] ppid=37793 vsize=307284 memory=248976 CPUtime=307.58 cores=5,7
/proc/37796/task/37798/stat : 37798 (fscip) R 37793 37796 37607 0 -1 4194368 395912 0 0 0 30694 64 0 0 20 0 3 0 5579865 314658816 62244 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
[pid=37796/tid=37799] ppid=37793 vsize=307284 memory=11400 CPUtime=0 cores=5,7
/proc/37796/task/37799/stat : 37799 (fscip) S 37793 37796 37607 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5579867 314658816 62244 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
Current children cumulated CPU time: 308.51 s
Current children cumulated vsize: 307284 KiB
Current children cumulated memory: 248976 KiB
[startup+309.8 s]
/proc/loadavg: 4.05 3.73 3.70 5/266 37858
/proc/meminfo: memFree=117775960/131524600 swapFree=131071216/131071996
[pid=37796] ppid=37793 vsize=307284 memory=248976 CPUtime=308.71 cores=5,7
/proc/37796/stat : 37796 (fscip) S 37793 37796 37607 0 -1 1077936128 407971 0 0 0 30804 67 0 0 20 0 3 0 5579776 314658816 62244 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
/proc/37796/statm: 76821 62244 3318 3035 0 67132 0
[pid=37796/tid=37798] ppid=37793 vsize=307284 memory=14648 CPUtime=307.78 cores=5,7
/proc/37796/task/37798/stat : 37798 (fscip) R 37793 37796 37607 0 -1 4194368 397063 0 0 0 30714 64 0 0 20 0 3 0 5579865 314658816 62244 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
[pid=37796/tid=37799] ppid=37793 vsize=307284 memory=12264 CPUtime=0 cores=5,7
/proc/37796/task/37799/stat : 37799 (fscip) S 37793 37796 37607 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5579867 314658816 62244 134679101440 4194304 16623229 140726703477248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 36446208 140726703485972 140726703486088 140726703486088 140726703493104 0
Current children cumulated CPU time: 308.71 s
Current children cumulated vsize: 307284 KiB
Current children cumulated memory: 248976 KiB
Child status: 0
Real time (s): 309.843
CPU time (s): 308.755
CPU user time (s): 308.067
CPU system time (s): 0.687823
CPU usage (%): 99.6488
Max. virtual memory (cumulated for all children) (KiB): 307284
Max. memory (cumulated for all children) (KiB): 248976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 308.067
system time used= 0.687823
maximum resident set size= 248976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 414777
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= 958
involuntary context switches= 470
# summary of solver processes directly reported to runsolver:
# pid: 37796
# total CPU time (s): 308.755
# total CPU user time (s): 308.067
# total CPU system time (s): 0.687823
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.598713 second user time and 1.50281 second system time
The end
Begin job on nodeC021 at 2024-07-31 03:36:55
IDJOB=4464855
IDBENCH=143629
IDSOLVER=3093
FILE ID=nodeC021/4464855-1722389815
RUNJOBID= nodeC021-1722389725-37620
SLURM_JOB_ID= 8249864
Free space on /tmp= 889992 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550720--soft-33-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-4464855-1722389815/watcher-4464855-1722389815 -o /tmp/evaluation-result-4464855-1722389815/solver-4464855-1722389815 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722389725-37620 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464855-1722389815.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 11f83a0df6220c4f8de8dfc598d97eff
RANDOM SEED=256517905
nodeC021.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.595
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.80
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 : 3673.941
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 : 7006.98
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.101
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.80
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.178
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 : 7006.98
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.645
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.80
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 : 3675.574
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 : 7006.98
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 : 3599.914
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.80
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 : 3663.908
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 : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 118632376 kB
MemAvailable: 125834480 kB
Buffers: 116140 kB
Cached: 7877596 kB
SwapCached: 56 kB
Active: 291828 kB
Inactive: 12017284 kB
Active(anon): 1532 kB
Inactive(anon): 4335060 kB
Active(file): 290296 kB
Inactive(file): 7682224 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 28456 kB
Writeback: 0 kB
AnonPages: 4313296 kB
Mapped: 122924 kB
Shmem: 21208 kB
KReclaimable: 138464 kB
Slab: 231320 kB
SReclaimable: 138464 kB
SUnreclaim: 92856 kB
KernelStack: 4208 kB
PageTables: 17892 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2933576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8992 kB
HardwareCorrupted: 0 kB
AnonHugePages: 507904 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: 226004 kB
DirectMap2M: 15276032 kB
DirectMap1G: 120586240 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC021 at 2024-07-31 03:42:05