0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 37924864, getVmSize() = 37924864, SCIPgetMemUsed() = 10440534, SCIPgetMemTotal() = 15954798, SCIPgetMemExternEstim() = 7021312
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.10/0.16 c ** Estimated virtualMemUsedAtSolver = 38778340, getVmSize() = 74604544, SCIPgetMemUsed() = 22797975, SCIPgetMemTotal() = 51146199, SCIPgetMemExternEstim() = 7021312
0.10/0.16 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.10/0.16 c Original Problem :
0.10/0.16 c Problem name : instance-4459201-1721898119
0.10/0.16 c Variables : 214 (214 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.16 c Constraints : 5375
0.10/0.16 c Objective sense : minimize
0.10/0.16 c Presolved Problem :
0.10/0.16 c Variables : 213 (213 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.16 c Constraints : 5375
0.10/0.16 c Constraints : Number
0.10/0.16 c logicor : 5375
0.10/0.16 c ** Instance transfer method used: 0
0.10/0.17 c ** ParaScipInstance copy does not increase the number of variables. **
0.10/0.18 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.18 c Nodes Active
0.10/0.18 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.10/0.20 c * 0 0 1 1 213.0000 - -
0.29/0.35 c * 0 0 1 1 25.0000 - -
0.29/0.35 c * 0 0 1 1 24.0000 - -
10.93/11.03 c * 11 0 1 1 22.0000 - -
10.93/11.03 c 11 0 1 1 22.0000 - -
16.31/16.40 c 16 5 4 1 22.0000 14.0733 56.32%
22.00/22.14 c 22 12 11 1 22.0000 14.0733 56.32%
27.99/28.11 c 28 55 44 1 22.0000 14.0733 56.32%
33.97/34.12 c 34 182 153 1 22.0000 14.4544 52.20%
39.85/40.00 c 40 278 229 1 22.0000 15.0291 46.38%
45.04/45.27 c 45 360 303 1 22.0000 15.2837 43.94%
50.12/50.35 c 50 452 373 1 22.0000 15.5754 41.25%
55.11/55.36 c 55 551 456 1 22.0000 15.6393 40.67%
61.20/61.45 c 61 743 570 1 22.0000 15.8662 38.66%
66.38/66.65 c 67 832 645 1 22.0000 15.9202 38.19%
71.77/72.07 c 72 945 732 1 22.0000 16.1204 36.47%
77.25/77.53 c 78 1044 807 1 22.0000 16.2472 35.41%
88.72/89.08 c 89 1051 1 1 22.0000 16.2472 35.41%
94.50/94.82 c 95 1107 57 1 22.0000 16.2472 35.41%
99.70/100.07 c 100 1210 144 1 22.0000 16.2472 35.41%
105.18/105.51 c 106 1284 210 1 22.0000 16.2472 35.41%
110.36/110.79 c 111 1378 300 1 22.0000 16.2472 35.41%
115.65/116.05 c 116 1479 391 1 22.0000 16.2472 35.41%
121.33/121.76 c 122 1606 494 1 22.0000 16.2472 35.41%
126.91/127.30 c 127 1699 581 1 22.0000 16.2472 35.41%
132.60/133.03 c 133 1806 666 1 22.0000 16.2472 35.41%
138.08/138.50 c 138 1927 757 1 22.0000 16.2521 35.37%
143.67/144.15 c 144 2111 871 1 22.0000 16.5077 33.27%
149.24/149.73 c 150 2281 983 1 22.0000 16.6090 32.46%
154.33/154.81 c 155 2511 1087 1 22.0000 16.7069 31.68%
155.83/156.34 c * 156 2546 1106 1 21.0000 16.7069 25.70%
159.41/159.93 c 160 2661 898 1 21.0000 16.7251 25.56%
165.20/165.74 c 166 2850 959 1 21.0000 16.7728 25.20%
170.28/170.85 c 171 2938 1015 1 21.0000 16.8205 24.85%
176.06/176.63 c 177 3061 1086 1 21.0000 16.8606 24.55%
181.74/182.31 c 182 3215 1150 1 21.0000 16.8851 24.37%
187.63/188.21 c 188 3360 1229 1 21.0000 16.9722 23.73%
193.41/194.04 c 194 3509 1302 1 21.0000 16.9738 23.72%
198.89/199.55 c 200 3665 1344 1 21.0000 17.0599 23.10%
204.07/204.74 c 205 3818 1417 1 21.0000 17.0775 22.97%
209.96/210.64 c 211 4035 1476 1 21.0000 17.1042 22.78%
215.45/216.13 c 216 4211 1524 1 21.0000 17.1692 22.31%
221.12/221.89 c 222 4352 1583 1 21.0000 17.1891 22.17%
226.41/227.18 c 227 4521 1646 1 21.0000 17.2334 21.86%
232.09/232.89 c 233 4680 1707 1 21.0000 17.2467 21.76%
237.57/238.32 c 238 4848 1765 1 21.0000 17.2639 21.64%
242.75/243.56 c 244 5001 1828 1 21.0000 17.2987 21.40%
248.14/248.97 c 249 5191 1880 1 21.0000 17.3172 21.27%
253.23/254.05 c 254 5321 1936 1 21.0000 17.3493 21.04%
258.21/259.07 c 259 5454 1991 1 21.0000 17.3781 20.84%
263.69/264.58 c 265 5605 2050 1 21.0000 17.3926 20.74%
268.97/269.90 c 270 5816 2087 1 21.0000 17.4108 20.61%
274.27/275.12 c 275 6010 2139 1 21.0000 17.4217 20.54%
279.65/280.57 c 281 6161 2190 1 21.0000 17.4397 20.42%
284.93/285.82 c 286 6369 2228 1 21.0000 17.4567 20.30%
290.82/291.72 c 292 6541 2280 1 21.0000 17.5230 19.84%
296.11/297.05 c 297 6721 2330 1 21.0000 17.5701 19.52%
301.29/302.23 c 302 6921 2362 1 21.0000 17.6360 19.07%
306.68/307.69 c 308 7181 2384 1 21.0000 17.6827 18.76%
311.86/312.81 c 313 7421 2394 1 21.0000 17.6939 18.69%
316.95/317.95 c 318 7581 2430 1 21.0000 17.7292 18.45%
322.43/323.42 c 323 7811 2476 1 21.0000 17.7568 18.26%
327.62/328.69 c 329 8038 2495 1 21.0000 17.7870 18.06%
332.90/333.94 c 334 8222 2521 1 21.0000 17.8040 17.95%
338.49/339.51 c 340 8457 2560 1 21.0000 17.8426 17.70%
344.17/345.23 c 345 8671 2586 1 21.0000 17.8685 17.53%
349.16/350.24 c 350 8911 2620 1 21.0000 17.8905 17.38%
354.14/355.25 c 355 9111 2632 1 21.0000 17.9063 17.28%
359.22/360.37 c 360 9355 2658 1 21.0000 17.9307 17.12%
364.70/365.81 c 366 9581 2672 1 21.0000 17.9769 16.82%
369.90/371.10 c 371 9771 2688 1 21.0000 18.0157 16.57%
376.07/377.21 c 377 10001 2736 1 21.0000 18.0381 16.42%
381.45/382.64 c 383 10241 2756 1 21.0000 18.0902 16.08%
387.22/388.42 c 388 10491 2796 1 21.0000 18.1079 15.97%
392.31/393.57 c 394 10691 2824 1 21.0000 18.1390 15.77%
397.49/398.76 c 399 10941 2834 1 21.0000 18.1502 15.70%
402.98/404.26 c 404 11171 2876 1 21.0000 18.1681 15.59%
408.16/409.43 c 409 11481 2874 1 21.0000 18.1783 15.52%
413.65/414.99 c 415 11741 2880 1 21.0000 18.2092 15.33%
418.74/420.09 c 420 11991 2904 1 21.0000 18.2308 15.19%
423.72/425.10 c 425 12231 2910 1 21.0000 18.2586 15.01%
429.00/430.30 c 430 12441 2936 1 21.0000 18.2881 14.83%
434.19/435.56 c 436 12711 2932 1 21.0000 18.3145 14.66%
439.47/440.89 c 441 12971 2942 1 21.0000 18.3340 14.54%
445.26/446.67 c 447 13261 2936 1 21.0000 18.3719 14.31%
450.34/451.77 c 452 13561 2940 1 21.0000 18.3893 14.20%
456.32/457.75 c 458 13916 2951 1 21.0000 18.4041 14.11%
461.40/462.87 c 463 14251 2918 1 21.0000 18.4403 13.88%
466.70/468.14 c 468 14531 2920 1 21.0000 18.4545 13.79%
471.78/473.28 c 473 14821 2896 1 21.0000 18.4854 13.60%
477.06/478.53 c 479 15161 2864 1 21.0000 18.5120 13.44%
482.04/483.57 c 484 15491 2842 1 21.0000 18.5427 13.25%
487.72/489.21 c 489 15821 2808 1 21.0000 18.5627 13.13%
493.31/494.83 c 495 16141 2778 1 21.0000 18.5882 12.97%
498.40/499.94 c 500 16471 2730 1 21.0000 18.6217 12.77%
503.78/505.31 c 505 16891 2684 1 21.0000 18.6552 12.57%
508.87/510.48 c 510 17291 2648 1 21.0000 18.6786 12.43%
514.06/515.67 c 516 17691 2572 1 21.0000 18.7141 12.21%
519.16/520.70 c 521 18071 2514 1 21.0000 18.7300 12.12%
524.14/525.74 c 526 18421 2452 1 21.0000 18.7563 11.96%
529.13/530.77 c 531 18811 2364 1 21.0000 18.7848 11.79%
534.22/535.81 c 536 19211 2270 1 21.0000 18.8078 11.66%
539.20/540.84 c 541 19561 2202 1 21.0000 18.8422 11.45%
544.40/546.08 c 546 20031 2064 1 21.0000 18.8758 11.25%
549.68/551.35 c 551 20441 1928 1 21.0000 18.9115 11.04%
554.77/556.46 c 556 20831 1822 1 21.0000 18.9535 10.80%
559.86/561.58 c 562 21311 1636 1 21.0000 18.9814 10.63%
564.84/566.60 c 567 21761 1460 1 21.0000 19.0250 10.38%
569.93/571.67 c 572 22191 1278 1 21.0000 19.0747 10.09%
575.02/576.74 c 577 22671 1040 1 21.0000 19.1150 9.86%
580.00/581.79 c 582 23091 812 1 21.0000 19.1669 9.56%
585.18/586.92 c 587 23601 522 1 21.0000 19.2443 9.12%
590.28/592.02 c 592 24041 252 1 21.0000 19.3458 8.55%
594.06/595.85 c 596 24391 0 0 21.0000 21.0000 0.00%
594.16/595.91 c 596 24391 0 0 21.0000 21.0000 -
594.16/595.91 c SCIP Status : c problem is solved
594.16/595.91 c Total Time : 595.9100
594.16/595.91 c solving : 595.9100
594.16/595.91 c presolving : 0.1400 (included in solving)
594.16/595.91 c B&B Tree :
594.16/595.91 c nodes (total) : 24391
594.16/595.91 c Solution :
594.16/595.91 c Solutions found : 6
594.16/595.91 c Primal Bound : +2.10000000000000e+01
594.16/595.91 c Dual Bound : +2.10000000000000e+01
594.16/595.91 c Gap : 0.00000 %
594.16/595.92 o 21
594.16/595.92 s OPTIMUM FOUND
594.16/595.92 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193
594.16/595.92 v -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 x172
594.16/595.92 v -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 x163 -x162 x161 x160 x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 x151 -x150
594.16/595.92 v x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 x130 -x129 -x128
594.16/595.92 v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 x109 -x108 x107
594.16/595.92 v -x106 -x105 -x104 x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83
594.16/595.92 v -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58
594.16/595.92 v -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33
594.16/595.92 v -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8
594.16/595.92 v -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: 63931 MiB (60627 MiB free)
memory of node 1: 64510 MiB (60532 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459201-1721898119/watcher-4459201-1721898119 -o /tmp/evaluation-result-4459201-1721898119/solver-4459201-1721898119 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721898119-230599 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459201-1721898119.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=230630, runsolver pid=230625
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 1.04 1.10 1.62 5/250 230639
/proc/meminfo: memFree=123990328/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=45132 memory=33928 CPUtime=0.1 cores=4,6
/proc/230630/stat : 230630 (fscip) R 230625 230630 225328 0 -1 4194304 7975 0 0 0 9 1 0 0 20 0 1 0 26334796 46215168 8482 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 11283 8482 2686 3032 0 7683 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45132 KiB
Current children cumulated memory: 33928 KiB
[startup+0.205656 s]*
/proc/loadavg: 1.04 1.10 1.62 5/252 230641
/proc/meminfo: memFree=123903320/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=156380 memory=75216 CPUtime=0.19 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 18800 0 0 0 17 2 0 0 20 0 3 0 26334796 160133120 18804 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 39095 18804 2782 3032 0 23464 0
[pid=230630/tid=230640] ppid=230625 vsize=156380 memory=7092396943128854845 CPUtime=0.02 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 4028 0 0 0 2 0 0 0 20 0 3 0 26334813 160133120 18804 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=156380 memory=219966341476 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 26334815 160133120 18804 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 156380 KiB
Current children cumulated memory: 75216 KiB
[startup+0.30566 s]*
/proc/loadavg: 1.04 1.10 1.62 5/254 230643
/proc/meminfo: memFree=123821000/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=168924 memory=97972 CPUtime=0.29 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 24536 0 0 0 26 3 0 0 20 0 3 0 26334796 172978176 24493 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 42231 24493 2782 3032 0 29820 0
[pid=230630/tid=230640] ppid=230625 vsize=168924 memory=-6513450169439271783 CPUtime=0.11 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 9764 0 0 0 11 0 0 0 20 0 3 0 26334813 172978176 24493 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=168924 memory=0 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 26334815 172978176 24493 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 168924 KiB
Current children cumulated memory: 97972 KiB
[startup+0.700676 s]
/proc/loadavg: 1.04 1.10 1.62 5/252 230643
/proc/meminfo: memFree=123752824/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=168924 memory=129336 CPUtime=0.67 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 32223 0 0 0 63 4 0 0 20 0 3 0 26334796 172978176 32334 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 42231 32334 2910 3032 0 38580 0
[pid=230630/tid=230640] ppid=230625 vsize=168924 memory=0 CPUtime=0.49 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 17451 0 0 0 47 2 0 0 20 0 3 0 26334813 172978176 32334 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=168924 memory=0 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 26334815 172978176 32334 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 168924 KiB
Current children cumulated memory: 129336 KiB
[startup+1.50025 s]
/proc/loadavg: 1.04 1.10 1.62 5/262 230665
/proc/meminfo: memFree=123262392/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=234460 memory=177700 CPUtime=1.46 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 53825 0 0 0 138 8 0 0 20 0 3 0 26334796 240087040 44425 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 58615 44425 2910 3032 0 54799 0
[pid=230630/tid=230640] ppid=230625 vsize=234460 memory=0 CPUtime=1.28 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 39053 0 0 0 123 5 0 0 20 0 3 0 26334813 240087040 44425 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=234460 memory=0 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 26334815 240087040 44425 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 234460 KiB
Current children cumulated memory: 177700 KiB
[startup+3.10582 s]
/proc/loadavg: 1.04 1.10 1.62 5/262 230667
/proc/meminfo: memFree=120125580/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=299996 memory=186460 CPUtime=3.06 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 56003 0 0 0 298 8 0 0 20 0 3 0 26334796 307195904 46615 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 74999 46615 2926 3032 0 56013 0
[pid=230630/tid=230640] ppid=230625 vsize=299996 memory=0 CPUtime=2.88 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 41229 0 0 0 283 5 0 0 20 0 3 0 26334813 307195904 46615 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=299996 memory=136992 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 26334815 307195904 46615 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 299996 KiB
Current children cumulated memory: 186460 KiB
[startup+6.30024 s]
/proc/loadavg: 1.27 1.15 1.63 5/260 230713
/proc/meminfo: memFree=115418564/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=299996 memory=186788 CPUtime=6.24 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 59170 0 0 0 616 8 0 0 20 0 3 0 26334796 307195904 46697 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 74999 46697 2926 3032 0 56013 0
[pid=230630/tid=230640] ppid=230625 vsize=299996 memory=0 CPUtime=6.07 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 44393 0 0 0 601 6 0 0 20 0 3 0 26334813 307195904 46697 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=299996 memory=12156 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 26334815 307195904 46697 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 299996 KiB
Current children cumulated memory: 186788 KiB
[startup+12.7002 s]
/proc/loadavg: 1.49 1.20 1.64 5/260 230714
/proc/meminfo: memFree=104936980/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=299996 memory=188144 CPUtime=12.62 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 73790 0 0 0 1253 9 0 0 20 0 3 0 26334796 307195904 47036 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 74999 47036 2974 3032 0 56246 0
[pid=230630/tid=230640] ppid=230625 vsize=299996 memory=188144 CPUtime=12.45 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 58910 0 0 0 1238 7 0 0 20 0 3 0 26334813 307195904 47036 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=299996 memory=188144 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 26334815 307195904 47036 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 299996 KiB
Current children cumulated memory: 188144 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 1.34 1.68 5/260 230717
/proc/meminfo: memFree=99438024/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=299996 memory=189248 CPUtime=25.39 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 96624 0 0 0 2528 11 0 0 20 0 3 0 26334796 307195904 47312 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 74999 47312 2974 3032 0 56246 0
[pid=230630/tid=230640] ppid=230625 vsize=299996 memory=188884 CPUtime=25.21 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 81641 0 0 0 2512 9 0 0 20 0 3 0 26334813 307195904 47312 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=299996 memory=188884 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 26334815 307195904 47312 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 299996 KiB
Current children cumulated memory: 189248 KiB
[startup+51.1057 s]
/proc/loadavg: 2.86 1.58 1.76 5/260 230722
/proc/meminfo: memFree=99365128/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=299996 memory=224328 CPUtime=50.93 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 154537 0 0 0 5077 16 0 0 20 0 3 0 26334796 307195904 56082 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 74999 56082 2974 3032 0 65540 0
[pid=230630/tid=230640] ppid=230625 vsize=299996 memory=224320 CPUtime=50.75 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 139439 0 0 0 5061 14 0 0 20 0 3 0 26334813 307195904 56082 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=299996 memory=224176 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 26334815 307195904 56082 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 299996 KiB
Current children cumulated memory: 224328 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 1.98 1.88 5/260 230732
/proc/meminfo: memFree=94227756/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=365532 memory=251168 CPUtime=101.98 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 230733 0 0 0 10177 21 0 0 20 0 3 0 26334796 374304768 62792 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 91383 62792 2974 3032 0 71912 0
[pid=230630/tid=230640] ppid=230625 vsize=365532 memory=6720665437199154530 CPUtime=101.8 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 215528 0 0 0 10162 18 0 0 20 0 3 0 26334813 374304768 62792 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=365532 memory=251168 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 26334815 374304768 62792 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 365532 KiB
Current children cumulated memory: 251168 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.36 2.02 5/260 230744
/proc/meminfo: memFree=85853908/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=365532 memory=267568 CPUtime=161.81 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 255447 0 0 0 16155 26 0 0 20 0 3 0 26334796 374304768 66892 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 91383 66892 2974 3032 0 72674 0
[pid=230630/tid=230640] ppid=230625 vsize=365532 memory=257336 CPUtime=161.62 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 240198 0 0 0 16139 23 0 0 20 0 3 0 26334813 374304768 66892 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=365532 memory=261928 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 26334815 374304768 66892 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 365532 KiB
Current children cumulated memory: 267568 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.68 2.15 5/260 230754
################
# More data... #
################
/proc/230630/statm: 110895 89085 2974 3032 0 93376 0
[pid=230630/tid=230640] ppid=230625 vsize=443580 memory=323596 CPUtime=400.87 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 308677 0 0 0 40050 37 0 0 20 0 3 0 26334813 454225920 89085 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=443580 memory=350628 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 26334815 454225920 89085 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 443580 KiB
Current children cumulated memory: 356340 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.49 2.61 5/262 230986
/proc/meminfo: memFree=119753436/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=446068 memory=370892 CPUtime=460.91 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 341571 0 0 0 46047 44 0 0 20 0 3 0 26334796 456773632 92723 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 111517 92723 2974 3032 0 98380 0
[pid=230630/tid=230640] ppid=230625 vsize=446068 memory=362788 CPUtime=460.69 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 326205 0 0 0 46029 40 0 0 20 0 3 0 26334813 456773632 92723 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=446068 memory=370892 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 26334815 456773632 92723 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 460.91 s
Current children cumulated vsize: 446068 KiB
Current children cumulated memory: 370892 KiB
[startup+522.3 s]
/proc/loadavg: 4.34 3.67 2.74 5/264 230998
/proc/meminfo: memFree=119326440/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=446068 memory=371672 CPUtime=520.75 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 357726 0 0 0 52028 47 0 0 20 0 3 0 26334796 456773632 92918 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 111517 92918 2974 3032 0 98380 0
[pid=230630/tid=230640] ppid=230625 vsize=446068 memory=362432 CPUtime=520.51 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 342337 0 0 0 52009 42 0 0 20 0 3 0 26334813 456773632 92918 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=446068 memory=6720665437199154530 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 26334815 456773632 92918 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 520.75 s
Current children cumulated vsize: 446068 KiB
Current children cumulated memory: 371672 KiB
[startup+582.3 s]
/proc/loadavg: 4.19 3.75 2.82 5/266 231106
/proc/meminfo: memFree=119679988/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=447860 memory=373936 CPUtime=580.6 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 371208 0 0 0 58010 50 0 0 20 0 3 0 26334796 458608640 93484 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 111965 93484 2974 3032 0 99019 0
[pid=230630/tid=230640] ppid=230625 vsize=447860 memory=6720665437199154530 CPUtime=580.35 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 355794 0 0 0 57990 45 0 0 20 0 3 0 26334813 458608640 93484 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=447860 memory=12156 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 26334815 458608640 93484 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 580.6 s
Current children cumulated vsize: 447860 KiB
Current children cumulated memory: 373936 KiB
[startup+595.923 s]
# the end of solver process 230630 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=593.673 s, system=0.519361 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 4.17 3.75 2.83 5/266 231108
/proc/meminfo: memFree=119673560/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=447860 memory=373964 CPUtime=587.08 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 380880 0 0 0 58658 50 0 0 20 0 3 0 26334796 458608640 93491 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 111965 93491 2974 3032 0 99019 0
[pid=230630/tid=230640] ppid=230625 vsize=447860 memory=12156 CPUtime=586.84 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 365441 0 0 0 58638 46 0 0 20 0 3 0 26334813 458608640 93491 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=447860 memory=371912 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 26334815 458608640 93491 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 587.08 s
Current children cumulated vsize: 447860 KiB
Current children cumulated memory: 373964 KiB
[startup+592 s]*
/proc/loadavg: 4.16 3.76 2.84 5/266 231108
/proc/meminfo: memFree=119670508/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=447860 memory=375224 CPUtime=590.28 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 381616 0 0 0 58977 51 0 0 20 0 3 0 26334796 458608640 93806 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 111965 93806 2974 3032 0 99463 0
[pid=230630/tid=230640] ppid=230625 vsize=447860 memory=6720669865209838948 CPUtime=590.03 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 366177 0 0 0 58957 46 0 0 20 0 3 0 26334813 458608640 93806 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=447860 memory=4820 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 26334815 458608640 93806 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 590.28 s
Current children cumulated vsize: 447860 KiB
Current children cumulated memory: 375224 KiB
[startup+593.6 s]
/proc/loadavg: 4.16 3.76 2.84 5/266 231109
/proc/meminfo: memFree=119670508/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=447860 memory=375228 CPUtime=591.87 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 381702 0 0 0 59136 51 0 0 20 0 3 0 26334796 458608640 93807 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 111965 93807 2974 3032 0 99463 0
[pid=230630/tid=230640] ppid=230625 vsize=447860 memory=68440 CPUtime=591.62 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 366263 0 0 0 59116 46 0 0 20 0 3 0 26334813 458608640 93807 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=447860 memory=375224 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 26334815 458608640 93807 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 591.87 s
Current children cumulated vsize: 447860 KiB
Current children cumulated memory: 375228 KiB
[startup+595.2 s]
/proc/loadavg: 4.23 3.78 2.85 5/266 231109
/proc/meminfo: memFree=119668376/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=447860 memory=375268 CPUtime=593.46 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 381799 0 0 0 59295 51 0 0 20 0 3 0 26334796 458608640 93817 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 111965 93817 2974 3032 0 100101 0
[pid=230630/tid=230640] ppid=230625 vsize=447860 memory=16100 CPUtime=593.21 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 366360 0 0 0 59275 46 0 0 20 0 3 0 26334813 458608640 93817 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=447860 memory=373964 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 26334815 458608640 93817 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 593.46 s
Current children cumulated vsize: 447860 KiB
Current children cumulated memory: 375268 KiB
[startup+595.6 s]
/proc/loadavg: 4.23 3.78 2.85 5/266 231109
/proc/meminfo: memFree=119668376/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=447860 memory=375268 CPUtime=593.86 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 381812 0 0 0 59335 51 0 0 20 0 3 0 26334796 458608640 93817 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 111965 93817 2974 3032 0 100101 0
[pid=230630/tid=230640] ppid=230625 vsize=447860 memory=6720665437199154530 CPUtime=593.61 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 366373 0 0 0 59315 46 0 0 20 0 3 0 26334813 458608640 93817 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=447860 memory=104 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 26334815 458608640 93817 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 593.86 s
Current children cumulated vsize: 447860 KiB
Current children cumulated memory: 375268 KiB
[startup+595.8 s]
/proc/loadavg: 4.23 3.78 2.85 5/266 231109
/proc/meminfo: memFree=119668376/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=447860 memory=375268 CPUtime=594.06 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 381822 0 0 0 59355 51 0 0 20 0 3 0 26334796 458608640 93817 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 111965 93817 2974 3032 0 100101 0
[pid=230630/tid=230640] ppid=230625 vsize=447860 memory=68440 CPUtime=593.8 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 366383 0 0 0 59334 46 0 0 20 0 3 0 26334813 458608640 93817 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=447860 memory=13524 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 26334815 458608640 93817 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 594.06 s
Current children cumulated vsize: 447860 KiB
Current children cumulated memory: 375268 KiB
[startup+595.9 s]
/proc/loadavg: 4.23 3.78 2.85 5/266 231109
/proc/meminfo: memFree=119668376/131524600 swapFree=131061428/131071996
[pid=230630] ppid=230625 vsize=447860 memory=375268 CPUtime=594.16 cores=4,6
/proc/230630/stat : 230630 (fscip) S 230625 230630 225328 0 -1 1077936128 382219 0 0 0 59365 51 0 0 20 0 3 0 26334796 458608640 93817 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
/proc/230630/statm: 111965 93817 2974 3032 0 100101 0
[pid=230630/tid=230640] ppid=230625 vsize=447860 memory=6720665437199154530 CPUtime=593.9 cores=4,6
/proc/230630/task/230640/stat : 230640 (fscip) R 230625 230630 225328 0 -1 4194368 366780 0 0 0 59344 46 0 0 20 0 3 0 26334813 458608640 93817 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
[pid=230630/tid=230641] ppid=230625 vsize=447860 memory=375224 CPUtime=0 cores=4,6
/proc/230630/task/230641/stat : 230641 (fscip) S 230625 230630 225328 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 26334815 458608640 93817 134679101440 4194304 16613245 140727149115680 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40136704 140727149118485 140727149118601 140727149118601 140727149125616 0
Current children cumulated CPU time: 594.16 s
Current children cumulated vsize: 447860 KiB
Current children cumulated memory: 375268 KiB
Child status: 0
Real time (s): 595.923
CPU time (s): 594.193
CPU user time (s): 593.673
CPU system time (s): 0.519361
CPU usage (%): 99.7097
Max. virtual memory (cumulated for all children) (KiB): 447860
Max. memory (cumulated for all children) (KiB): 375268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 593.673
system time used= 0.519361
maximum resident set size= 375268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 383089
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= 3014
involuntary context switches= 630
# summary of solver processes directly reported to runsolver:
# pid: 230630
# total CPU time (s): 594.193
# total CPU user time (s): 593.673
# total CPU system time (s): 0.519361
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.18714 second user time and 2.89194 second system time
The end
Begin job on nodeC022 at 2024-07-25 11:01:59
IDJOB=4459201
IDBENCH=178614
IDSOLVER=3064
FILE ID=nodeC022/4459201-1721898119
RUNJOBID= nodeC022-1721898119-230599
SLURM_JOB_ID= 8089333
Free space on /tmp= 890080 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-iis-glass-cov.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-4459201-1721898119/watcher-4459201-1721898119 -o /tmp/evaluation-result-4459201-1721898119/solver-4459201-1721898119 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721898119-230599 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459201-1721898119.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d19cd21a9273f0af629a2ef833d8382f
RANDOM SEED=447704411
nodeC022.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 : 3420.056
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.87
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 : 3655.367
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.75
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 : 3660.679
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.87
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 : 3529.596
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.75
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 : 3643.692
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.87
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 : 3655.352
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.75
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 : 3659.612
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.87
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 : 3642.824
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.75
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124073924 kB
MemAvailable: 129624868 kB
Buffers: 318648 kB
Cached: 5981944 kB
SwapCached: 1424 kB
Active: 2598868 kB
Inactive: 4082828 kB
Active(anon): 1848 kB
Inactive(anon): 433308 kB
Active(file): 2597020 kB
Inactive(file): 3649520 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131061428 kB
Dirty: 78508 kB
Writeback: 0 kB
AnonPages: 380092 kB
Mapped: 114656 kB
Shmem: 53732 kB
KReclaimable: 292196 kB
Slab: 415280 kB
SReclaimable: 292196 kB
SUnreclaim: 123084 kB
KernelStack: 3844 kB
PageTables: 9472 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 708564 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17248 kB
HardwareCorrupted: 0 kB
AnonHugePages: 241664 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: 334548 kB
DirectMap2M: 36139008 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889960 MiB
End job on nodeC022 at 2024-07-25 11:11:55