0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 45625344, getVmSize() = 45625344, SCIPgetMemUsed() = 19873054, SCIPgetMemTotal() = 23112734, SCIPgetMemExternEstim() = 12183834
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.05 c ** Estimated virtualMemUsedAtSolver = 32732501, getVmSize() = 52572160, SCIPgetMemUsed() = 19229330, SCIPgetMemTotal() = 28966506, SCIPgetMemExternEstim() = 12183834
0.00/0.05 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.05 c Original Problem :
0.00/0.05 c Problem name : instance-4459867-1721939474
0.00/0.05 c Variables : 6426 (200 binary, 0 integer, 6226 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 6626
0.00/0.05 c Objective sense : minimize
0.00/0.05 c Presolved Problem :
0.00/0.05 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 200
0.00/0.05 c Constraints : Number
0.00/0.05 c logicor : 200
0.00/0.05 c ** Instance transfer method used: 0
0.00/0.06 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.06 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.06 c Nodes Active
0.00/0.06 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.06 c * 0 0 1 1 200.0000 - -
0.00/0.07 c * 0 0 1 1 11.0000 - -
6.07/6.13 c 6 35 10 1 11.0000 6.2687 75.47%
11.15/11.22 c 11 227 96 1 11.0000 6.4235 71.24%
16.14/16.27 c 16 502 311 1 11.0000 6.8837 59.80%
21.22/21.38 c 21 712 517 1 11.0000 7.1349 54.17%
26.31/26.42 c 26 892 689 1 11.0000 7.2327 52.09%
31.30/31.46 c 31 1142 925 1 11.0000 7.3553 49.55%
36.69/36.84 c 37 1497 1262 1 11.0000 7.4028 48.59%
41.88/42.08 c 42 1833 1580 1 11.0000 7.4028 48.59%
47.76/47.90 c 48 2219 1916 1 11.0000 7.4067 48.51%
53.24/53.46 c 53 2305 82 1 11.0000 7.4067 48.51%
58.43/58.62 c 59 2446 223 1 11.0000 7.4067 48.51%
63.52/63.78 c 64 2635 412 1 11.0000 7.4067 48.51%
68.70/68.94 c 69 2894 667 1 11.0000 7.4067 48.51%
73.90/74.16 c 74 3169 930 1 11.0000 7.4067 48.51%
79.18/79.43 c 79 3418 1159 1 11.0000 7.4067 48.51%
84.36/84.65 c 85 3658 1397 1 11.0000 7.4067 48.51%
89.65/89.90 c 90 3976 1693 1 11.0000 7.4067 48.51%
94.74/95.06 c 95 4359 2006 1 11.0000 7.4067 48.51%
100.02/100.36 c 100 4781 2356 1 11.0000 7.4067 48.51%
105.11/105.44 c 105 5294 2795 1 11.0000 7.4374 47.90%
110.59/110.96 c 111 5868 3247 1 11.0000 7.4725 47.21%
115.99/116.34 c 116 6454 3733 1 11.0000 7.5462 45.77%
121.17/121.51 c 122 6917 4110 1 11.0000 7.5462 45.77%
126.66/127.05 c 127 7473 4548 1 11.0000 7.6102 44.54%
132.45/132.87 c 133 8012 4973 1 11.0000 7.6444 43.90%
138.13/138.57 c 139 8634 5443 1 11.0000 7.7095 42.68%
143.51/143.93 c 144 9086 5807 1 11.0000 7.7413 42.09%
148.90/149.33 c 149 9618 6195 1 11.0000 7.7676 41.61%
154.38/154.88 c 155 10104 6545 1 11.0000 7.7886 41.23%
159.98/160.41 c 160 10547 6872 1 11.0000 7.7949 41.12%
164.96/165.48 c 165 11084 7283 1 11.0000 7.8147 40.76%
170.45/170.91 c 171 11589 7662 1 11.0000 7.8354 40.39%
175.73/176.27 c 176 12104 8043 1 11.0000 7.8440 40.23%
181.62/182.11 c 182 12754 8511 1 11.0000 7.8588 39.97%
187.30/187.89 c 188 13280 8863 1 11.0000 7.8676 39.81%
192.49/193.03 c 193 13834 9251 1 11.0000 7.8790 39.61%
197.87/198.46 c 198 14424 9609 1 11.0000 7.8923 39.38%
203.07/203.65 c 204 15014 9973 1 11.0000 7.9009 39.22%
208.45/209.09 c 209 15744 10395 1 11.0000 7.9139 39.00%
213.84/214.42 c 214 16382 10759 1 11.0000 7.9206 38.88%
219.53/220.16 c 220 17025 11164 1 11.0000 7.9261 38.78%
224.61/225.24 c 225 17724 11571 1 11.0000 7.9374 38.58%
229.59/230.27 c 230 18484 11985 1 11.0000 7.9486 38.39%
235.27/235.99 c 236 19278 12433 1 11.0000 7.9604 38.18%
236.17/236.81 c * 237 19354 12483 1 10.0000 7.9625 25.59%
241.27/241.99 c 242 20214 5438 1 10.0000 7.9656 25.54%
246.36/247.01 c 247 21104 5664 1 10.0000 7.9884 25.18%
251.64/252.30 c 252 21942 5864 1 10.0000 7.9995 25.01%
257.02/257.78 c 258 22854 6096 1 10.0000 8.0084 24.87%
262.70/263.44 c 263 23814 6342 1 10.0000 8.0128 24.80%
267.79/268.53 c 269 24693 6523 1 10.0000 8.0180 24.72%
273.08/273.88 c 274 25704 6728 1 10.0000 8.0223 24.65%
278.17/278.90 c 279 26544 6874 1 10.0000 8.0397 24.38%
283.36/284.15 c 284 27474 7028 1 10.0000 8.0466 24.28%
288.43/289.22 c 289 28329 7135 1 10.0000 8.0480 24.25%
294.02/294.82 c 295 29259 7243 1 10.0000 8.0568 24.12%
299.01/299.84 c 300 30174 7328 1 10.0000 8.0663 23.97%
304.10/304.90 c 305 31284 7400 1 10.0000 8.0809 23.75%
309.08/309.95 c 310 32284 7408 1 10.0000 8.0914 23.59%
314.57/315.48 c 315 33146 7418 1 10.0000 8.0950 23.53%
320.26/321.13 c 321 34171 7401 1 10.0000 8.0992 23.47%
326.04/326.98 c 327 35194 7362 1 10.0000 8.1127 23.26%
331.52/332.45 c 332 36075 7331 1 10.0000 8.1183 23.18%
336.50/337.48 c 337 36894 7306 1 10.0000 8.1329 22.96%
342.19/343.18 c 343 37824 7252 1 10.0000 8.1417 22.83%
347.47/348.45 c 348 38744 7186 1 10.0000 8.1528 22.66%
352.45/353.49 c 354 39565 7121 1 10.0000 8.1627 22.51%
357.74/358.76 c 359 40244 7058 1 10.0000 8.1768 22.30%
363.32/364.35 c 364 41284 6956 1 10.0000 8.1927 22.06%
368.40/369.41 c 369 42294 6824 1 10.0000 8.2016 21.93%
373.88/374.98 c 375 43304 6680 1 10.0000 8.2161 21.71%
379.17/380.23 c 380 44144 6568 1 10.0000 8.2283 21.53%
384.65/385.74 c 386 45034 6434 1 10.0000 8.2406 21.35%
389.63/390.78 c 391 45914 6282 1 10.0000 8.2528 21.17%
395.02/396.17 c 396 46804 6102 1 10.0000 8.2692 20.93%
400.10/401.25 c 401 47754 5904 1 10.0000 8.2812 20.76%
405.19/406.39 c 406 48654 5676 1 10.0000 8.3016 20.46%
410.27/411.42 c 411 49544 5426 1 10.0000 8.3224 20.16%
415.35/416.59 c 417 50504 5138 1 10.0000 8.3399 19.91%
420.43/421.67 c 422 51374 4822 1 10.0000 8.3614 19.60%
425.52/426.73 c 427 52344 4446 1 10.0000 8.3926 19.15%
430.51/431.78 c 432 53344 3912 1 10.0000 8.4306 18.62%
435.58/436.83 c 437 54204 3206 1 10.0000 8.5159 17.43%
440.57/441.88 c 442 54844 2592 1 10.0000 8.5802 16.55%
445.66/446.93 c 447 55194 2242 1 10.0000 8.6252 15.94%
450.75/452.04 c 452 55454 1982 1 10.0000 8.6512 15.59%
455.83/457.19 c 457 55684 1752 1 10.0000 8.6755 15.27%
461.12/462.40 c 462 55894 1542 1 10.0000 8.6899 15.08%
466.20/467.50 c 468 56094 1342 1 10.0000 8.7147 14.75%
471.29/472.66 c 473 56284 1152 1 10.0000 8.7332 14.51%
476.48/477.85 c 478 56474 962 1 10.0000 8.7475 14.32%
481.47/482.87 c 483 56644 792 1 10.0000 8.7652 14.09%
486.76/488.19 c 488 56814 622 1 10.0000 8.7854 13.82%
491.94/493.37 c 493 56974 462 1 10.0000 8.8033 13.59%
497.12/498.52 c 499 57132 304 1 10.0000 8.8224 13.35%
502.22/503.61 c 504 57274 162 1 10.0000 8.8554 12.93%
507.29/508.71 c 509 57394 42 1 10.0000 8.8861 12.53%
509.10/510.59 c 511 57436 0 0 10.0000 10.0000 0.00%
509.19/510.70 c 511 57436 0 0 10.0000 10.0000 -
509.19/510.70 c SCIP Status : c problem is solved
509.19/510.70 c Total Time : 510.7000
509.19/510.70 c solving : 510.7000
509.19/510.70 c presolving : 0.0284 (included in solving)
509.19/510.70 c B&B Tree :
509.19/510.70 c nodes (total) : 57436
509.19/510.70 c Solution :
509.19/510.70 c Solutions found : 3
509.19/510.70 c Primal Bound : +1.00000000000000e+01
509.19/510.70 c Dual Bound : +1.00000000000000e+01
509.19/510.70 c Gap : 0.00000 %
509.19/510.71 o 10
509.19/510.71 s OPTIMUM FOUND
509.19/510.71 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
509.19/510.71 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159
509.19/510.71 v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138
509.19/510.71 v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 x121 -x120 -x119 -x118 -x117 -x116
509.19/510.71 v -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
509.19/510.71 v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 x69
509.19/510.71 v -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44
509.19/510.71 v -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19
509.19/510.71 v -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -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 (50115 MiB free)
memory of node 1: 64473 MiB (56103 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459867-1721939474/watcher-4459867-1721939474 -o /tmp/evaluation-result-4459867-1721939474/solver-4459867-1721939474 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721939462-310656 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459867-1721939474.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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
solver pid=311111, runsolver pid=311108
Current StackSize limit: 8192 KiB
[startup+0.100491 s]*
/proc/loadavg: 0.77 0.24 0.24 5/268 311114
/proc/meminfo: memFree=108730352/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=135272 memory=48632 CPUtime=0.09 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 9606 0 0 0 9 0 0 0 20 0 3 0 30476794 138518528 12158 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 33818 12158 2878 3032 0 15583 0
[pid=311111/tid=311113] ppid=311108 vsize=135272 memory=4026561586 CPUtime=0.03 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 1607 0 0 0 3 0 0 0 20 0 3 0 30476800 138518528 12158 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=135272 memory=237146210664 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30476801 138518528 12158 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 135272 KiB
Current children cumulated memory: 48632 KiB
[startup+0.206506 s]*
/proc/loadavg: 0.77 0.24 0.24 5/268 311114
/proc/meminfo: memFree=108718592/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=141040 memory=60104 CPUtime=0.19 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 12445 0 0 0 18 1 0 0 20 0 3 0 30476794 144424960 15026 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 35260 15026 2910 3032 0 18476 0
[pid=311111/tid=311113] ppid=311108 vsize=141040 memory=4782652875487838339 CPUtime=0.13 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 4446 0 0 0 13 0 0 0 20 0 3 0 30476800 144424960 15026 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=141040 memory=649556 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30476801 144424960 15026 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 141040 KiB
Current children cumulated memory: 60104 KiB
[startup+0.305273 s]*
/proc/loadavg: 0.77 0.24 0.24 5/268 311114
/proc/meminfo: memFree=108700084/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=154372 memory=77000 CPUtime=0.29 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 16694 0 0 0 28 1 0 0 20 0 3 0 30476794 158076928 19250 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 38593 19250 2910 3032 0 22870 0
[pid=311111/tid=311113] ppid=311108 vsize=154372 memory=-6731029235498138468 CPUtime=0.22 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 8695 0 0 0 22 0 0 0 20 0 3 0 30476800 158076928 19250 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=154372 memory=0 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30476801 158076928 19250 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 154372 KiB
Current children cumulated memory: 77000 KiB
[startup+0.700241 s]
/proc/loadavg: 0.77 0.24 0.24 5/268 311114
/proc/meminfo: memFree=108657232/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=179840 memory=113680 CPUtime=0.68 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 27570 0 0 0 65 3 0 0 20 0 3 0 30476794 184156160 28420 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 44960 28420 2910 3032 0 32656 0
[pid=311111/tid=311113] ppid=311108 vsize=179840 memory=0 CPUtime=0.61 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 19571 0 0 0 59 2 0 0 20 0 3 0 30476800 184156160 28420 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=179840 memory=0 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30476801 184156160 28420 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 179840 KiB
Current children cumulated memory: 113680 KiB
[startup+1.50018 s]
/proc/loadavg: 0.77 0.24 0.24 6/268 311114
/proc/meminfo: memFree=108641672/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=179568 memory=115944 CPUtime=1.47 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 29207 0 0 0 144 3 0 0 20 0 3 0 30476794 183877632 28986 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 44892 28986 2910 3032 0 33397 0
[pid=311111/tid=311113] ppid=311108 vsize=179568 memory=0 CPUtime=1.41 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 21208 0 0 0 139 2 0 0 20 0 3 0 30476800 183877632 28986 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=179568 memory=0 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30476801 183877632 28986 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 179568 KiB
Current children cumulated memory: 115944 KiB
[startup+3.10536 s]
/proc/loadavg: 0.77 0.24 0.24 6/268 311114
/proc/meminfo: memFree=108566800/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=179568 memory=116300 CPUtime=3.07 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 30429 0 0 0 304 3 0 0 20 0 3 0 30476794 183877632 29075 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 44892 29075 2958 3032 0 33397 0
[pid=311111/tid=311113] ppid=311108 vsize=179568 memory=2273 CPUtime=3.01 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 22400 0 0 0 299 2 0 0 20 0 3 0 30476800 183877632 29075 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=179568 memory=0 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 30476801 183877632 29075 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 179568 KiB
Current children cumulated memory: 116300 KiB
[startup+6.30017 s]
/proc/loadavg: 1.03 0.30 0.26 6/268 311114
/proc/meminfo: memFree=108466816/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=183656 memory=128416 CPUtime=6.26 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 39207 0 0 0 622 4 0 0 20 0 3 0 30476794 188063744 32104 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 45914 32104 2958 3032 0 36272 0
[pid=311111/tid=311113] ppid=311108 vsize=183656 memory=-6731029235498138468 CPUtime=6.2 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 31148 0 0 0 617 3 0 0 20 0 3 0 30476800 188063744 32104 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=183656 memory=128416 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 30476801 188063744 32104 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 183656 KiB
Current children cumulated memory: 128416 KiB
[startup+12.7002 s]
/proc/loadavg: 1.34 0.38 0.28 6/268 311116
/proc/meminfo: memFree=108421524/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=197912 memory=150876 CPUtime=12.65 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 69967 0 0 0 1259 6 0 0 20 0 3 0 30476794 202661888 37719 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 49478 37719 2974 3032 0 42153 0
[pid=311111/tid=311113] ppid=311108 vsize=197912 memory=116300 CPUtime=12.58 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 61854 0 0 0 1253 5 0 0 20 0 3 0 30476800 202661888 37719 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=197912 memory=0 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 30476801 202661888 37719 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 197912 KiB
Current children cumulated memory: 150876 KiB
[startup+25.5003 s]
/proc/loadavg: 2.09 0.59 0.35 6/268 311117
/proc/meminfo: memFree=108388904/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=197912 memory=152616 CPUtime=25.41 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 99214 0 0 0 2533 8 0 0 20 0 3 0 30476794 202661888 38154 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 49478 38154 2974 3032 0 42288 0
[pid=311111/tid=311113] ppid=311108 vsize=197912 memory=147036 CPUtime=25.35 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 91016 0 0 0 2528 7 0 0 20 0 3 0 30476800 202661888 38154 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=197912 memory=11540 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 30476801 202661888 38154 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 197912 KiB
Current children cumulated memory: 152616 KiB
[startup+51.1059 s]
/proc/loadavg: 3.31 0.99 0.50 6/268 311123
/proc/meminfo: memFree=108239120/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=196424 memory=159852 CPUtime=50.95 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 139027 0 0 0 5082 13 0 0 20 0 3 0 30476794 201138176 39963 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 49106 39963 2974 3032 0 44142 0
[pid=311111/tid=311113] ppid=311108 vsize=196424 memory=153752 CPUtime=50.89 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 130736 0 0 0 5077 12 0 0 20 0 3 0 30476800 201138176 39963 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=196424 memory=153752 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 30476801 201138176 39963 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 196424 KiB
Current children cumulated memory: 159852 KiB
[startup+102.3 s]
/proc/loadavg: 3.94 1.53 0.71 6/268 311132
/proc/meminfo: memFree=108153000/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=262984 memory=166432 CPUtime=102.02 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 187871 0 0 0 10185 17 0 0 20 0 3 0 30476794 269295616 41608 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 65746 41608 2974 3032 0 45894 0
[pid=311111/tid=311113] ppid=311108 vsize=262984 memory=166416 CPUtime=101.95 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 179466 0 0 0 10179 16 0 0 20 0 3 0 30476800 269295616 41608 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=262984 memory=166392 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 30476801 269295616 41608 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 262984 KiB
Current children cumulated memory: 166432 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 2.00 0.92 6/268 311143
/proc/meminfo: memFree=108113832/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=278360 memory=187444 CPUtime=161.87 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 221907 0 0 0 16165 22 0 0 20 0 3 0 30476794 285040640 46861 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 69590 46861 2974 3032 0 51374 0
[pid=311111/tid=311113] ppid=311108 vsize=278360 memory=186172 CPUtime=161.78 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 213435 0 0 0 16158 20 0 0 20 0 3 0 30476800 285040640 46861 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=278360 memory=11540 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 30476801 285040640 46861 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 278360 KiB
################
# More data... #
################
/proc/311111/statm: 70608 56463 2974 3032 0 61075 0
[pid=311111/tid=311113] ppid=311108 vsize=282432 memory=6720668727060282212 CPUtime=281.47 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 275239 0 0 0 28118 29 0 0 20 0 3 0 30476800 289210368 56463 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=282432 memory=225820 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 30476801 289210368 56463 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 282432 KiB
Current children cumulated memory: 225852 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 2.96 1.49 6/262 311175
/proc/meminfo: memFree=107954100/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=351608 memory=252792 CPUtime=341.39 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 311287 0 0 0 34105 34 0 0 20 0 3 0 30476794 360046592 63198 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 87902 63198 2974 3032 0 68287 0
[pid=311111/tid=311113] ppid=311108 vsize=351608 memory=74940 CPUtime=341.29 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 302641 0 0 0 34096 33 0 0 20 0 3 0 30476800 360046592 63198 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=351608 memory=229008 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 30476801 360046592 63198 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 351608 KiB
Current children cumulated memory: 252792 KiB
[startup+402.3 s]
/proc/loadavg: 4.25 3.22 1.67 6/262 311185
/proc/meminfo: memFree=107922872/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=351608 memory=257220 CPUtime=401.19 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 332128 0 0 0 40080 39 0 0 20 0 3 0 30476794 360046592 64305 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 87902 64305 2974 3032 0 69384 0
[pid=311111/tid=311113] ppid=311108 vsize=351608 memory=74940 CPUtime=401.09 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 323452 0 0 0 40071 38 0 0 20 0 3 0 30476800 360046592 64305 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=351608 memory=257220 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 30476801 360046592 64305 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 351608 KiB
Current children cumulated memory: 257220 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.38 1.83 6/263 311197
/proc/meminfo: memFree=107780136/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=406444 memory=330164 CPUtime=461.02 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 348704 0 0 0 46050 52 0 0 20 0 3 0 30476794 416198656 82541 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 101611 82541 2974 3032 0 87445 0
[pid=311111/tid=311113] ppid=311108 vsize=406444 memory=320780 CPUtime=460.88 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 340017 0 0 0 46039 49 0 0 20 0 3 0 30476800 416198656 82541 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=406444 memory=303512 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 30476801 416198656 82541 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 461.02 s
Current children cumulated vsize: 406444 KiB
Current children cumulated memory: 330164 KiB
[startup+510.722 s]
# the end of solver process 311111 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=508.625 s, system=0.698188 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.10 3.43 1.89 6/263 311201
/proc/meminfo: memFree=107723068/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=446364 memory=372976 CPUtime=485.06 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 365733 0 0 0 48448 58 0 0 20 0 3 0 30476794 457076736 93244 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 111591 93244 2974 3032 0 98092 0
[pid=311111/tid=311113] ppid=311108 vsize=446364 memory=1844 CPUtime=484.92 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 357026 0 0 0 48437 55 0 0 20 0 3 0 30476800 457076736 93244 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=446364 memory=1988 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 30476801 457076736 93244 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 485.06 s
Current children cumulated vsize: 446364 KiB
Current children cumulated memory: 372976 KiB
[startup+499.2 s]
/proc/loadavg: 4.15 3.47 1.93 6/263 311204
/proc/meminfo: memFree=107699316/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=465312 memory=394548 CPUtime=497.82 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 369073 0 0 0 49722 60 0 0 20 0 3 0 30476794 476479488 98637 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 116328 98637 2974 3032 0 103528 0
[pid=311111/tid=311113] ppid=311108 vsize=465312 memory=1988 CPUtime=497.68 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 360353 0 0 0 49711 57 0 0 20 0 3 0 30476800 476479488 98637 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=465312 memory=16192 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 30476801 476479488 98637 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 497.82 s
Current children cumulated vsize: 465312 KiB
Current children cumulated memory: 394548 KiB
[startup+505.6 s]
/proc/loadavg: 4.14 3.48 1.94 6/263 311204
/proc/meminfo: memFree=107671424/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=488056 memory=421208 CPUtime=504.21 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 370238 0 0 0 50357 64 0 0 20 0 3 0 30476794 499769344 105302 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 122014 105302 2974 3032 0 110170 0
[pid=311111/tid=311113] ppid=311108 vsize=488056 memory=12544 CPUtime=504.07 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 361518 0 0 0 50346 61 0 0 20 0 3 0 30476800 499769344 105302 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=488056 memory=74940 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 30476801 499769344 105302 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 504.21 s
Current children cumulated vsize: 488056 KiB
Current children cumulated memory: 421208 KiB
[startup+508.8 s]
/proc/loadavg: 4.14 3.48 1.94 6/263 311206
/proc/meminfo: memFree=107670804/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=515344 memory=453480 CPUtime=507.39 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 371703 0 0 0 50672 67 0 0 20 0 3 0 30476794 527712256 113370 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 128836 113370 2974 3032 0 118243 0
[pid=311111/tid=311113] ppid=311108 vsize=515344 memory=11540 CPUtime=507.26 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 362983 0 0 0 50661 65 0 0 20 0 3 0 30476800 527712256 113370 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=515344 memory=421312 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 30476801 527712256 113370 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 507.39 s
Current children cumulated vsize: 515344 KiB
Current children cumulated memory: 453480 KiB
[startup+509.6 s]
/proc/loadavg: 4.12 3.49 1.95 6/263 311206
/proc/meminfo: memFree=107638608/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=515344 memory=453656 CPUtime=508.19 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 371799 0 0 0 50752 67 0 0 20 0 3 0 30476794 527712256 113414 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 128836 113414 2974 3032 0 118302 0
[pid=311111/tid=311113] ppid=311108 vsize=515344 memory=280188902990464 CPUtime=508.06 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 363079 0 0 0 50741 65 0 0 20 0 3 0 30476800 527712256 113414 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=515344 memory=3472468390678648576 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 30476801 527712256 113414 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 508.19 s
Current children cumulated vsize: 515344 KiB
Current children cumulated memory: 453656 KiB
[startup+510.4 s]
/proc/loadavg: 4.12 3.49 1.95 6/263 311206
/proc/meminfo: memFree=107638208/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=515344 memory=454144 CPUtime=509 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 371946 0 0 0 50832 68 0 0 20 0 3 0 30476794 527712256 113536 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 128836 113536 2974 3032 0 118388 0
[pid=311111/tid=311113] ppid=311108 vsize=515344 memory=448936 CPUtime=508.85 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 363226 0 0 0 50820 65 0 0 20 0 3 0 30476800 527712256 113536 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=515344 memory=32496 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 30476801 527712256 113536 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 509 s
Current children cumulated vsize: 515344 KiB
Current children cumulated memory: 454144 KiB
[startup+510.6 s]
/proc/loadavg: 4.12 3.49 1.95 6/263 311206
/proc/meminfo: memFree=107638208/131524600 swapFree=131071728/131071996
[pid=311111] ppid=311108 vsize=515344 memory=454160 CPUtime=509.19 cores=4,6
/proc/311111/stat : 311111 (fscip) S 311108 311111 310643 0 -1 1077936128 372889 0 0 0 50851 68 0 0 20 0 3 0 30476794 527712256 113540 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
/proc/311111/statm: 128836 113540 2974 3032 0 118388 0
[pid=311111/tid=311113] ppid=311108 vsize=515344 memory=12544 CPUtime=509.05 cores=4,6
/proc/311111/task/311113/stat : 311113 (fscip) R 311108 311111 310643 0 -1 4194368 364168 0 0 0 50840 65 0 0 20 0 3 0 30476800 527712256 113540 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
[pid=311111/tid=311114] ppid=311108 vsize=515344 memory=6720668727060282212 CPUtime=0 cores=4,6
/proc/311111/task/311114/stat : 311114 (fscip) S 311108 311111 310643 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 30476801 527712256 113540 134679101440 4194304 16613245 140737007152912 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 35483648 140737007154196 140737007154312 140737007154312 140737007161328 0
Current children cumulated CPU time: 509.19 s
Current children cumulated vsize: 515344 KiB
Current children cumulated memory: 454160 KiB
Child status: 0
Real time (s): 510.722
CPU time (s): 509.323
CPU user time (s): 508.625
CPU system time (s): 0.698188
CPU usage (%): 99.7261
Max. virtual memory (cumulated for all children) (KiB): 601760
Max. memory (cumulated for all children) (KiB): 510360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 508.625
system time used= 0.698188
maximum resident set size= 585244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380478
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= 3463
involuntary context switches= 634
# summary of solver processes directly reported to runsolver:
# pid: 311111
# total CPU time (s): 509.323
# total CPU user time (s): 508.625
# total CPU system time (s): 0.698188
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.866775 second user time and 2.54673 second system time
The end
Begin job on nodeC029 at 2024-07-25 22:31:14
IDJOB=4459867
IDBENCH=148617
IDSOLVER=3064
FILE ID=nodeC029/4459867-1721939474
RUNJOBID= nodeC029-1721939462-310656
SLURM_JOB_ID= 8247249
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_5.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459867-1721939474/watcher-4459867-1721939474 -o /tmp/evaluation-result-4459867-1721939474/solver-4459867-1721939474 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721939462-310656 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459867-1721939474.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c3fde33010e6ea586da81d097c34065f
RANDOM SEED=1181492874
nodeC029.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.703
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.50
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 : 3687.278
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.34
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.034
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.50
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.133
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.34
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 : 3665.302
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.50
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 : 3687.288
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.34
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 : 3666.903
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.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.946
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.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 108768532 kB
MemAvailable: 129140832 kB
Buffers: 330056 kB
Cached: 20745504 kB
SwapCached: 44 kB
Active: 2898948 kB
Inactive: 18979800 kB
Active(anon): 1580 kB
Inactive(anon): 855628 kB
Active(file): 2897368 kB
Inactive(file): 18124172 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 86244 kB
Writeback: 4 kB
AnonPages: 803212 kB
Mapped: 155516 kB
Shmem: 54012 kB
KReclaimable: 381168 kB
Slab: 515712 kB
SReclaimable: 381168 kB
SUnreclaim: 134544 kB
KernelStack: 4256 kB
PageTables: 10924 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 998832 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 21472 kB
HardwareCorrupted: 0 kB
AnonHugePages: 251904 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: 350932 kB
DirectMap2M: 44511232 kB
DirectMap1G: 91226112 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-25 22:39:44