0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 33865728, getVmSize() = 33865728, SCIPgetMemUsed() = 8456304, SCIPgetMemTotal() = 11881656, SCIPgetMemExternEstim() = 6170057
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.79/0.89 c ** Estimated virtualMemUsedAtSolver = 27929258, getVmSize() = 49922048, SCIPgetMemUsed() = 15745436, SCIPgetMemTotal() = 26472188, SCIPgetMemExternEstim() = 6170057
0.79/0.89 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.79/0.89 c Original Problem :
0.79/0.89 c Problem name : instance-4464857-1722389837
0.79/0.89 c Variables : 2008 (2008 binary, 0 integer, 0 implicit integer, 0 continuous)
0.79/0.89 c Constraints : 4485
0.79/0.89 c Objective sense : minimize
0.79/0.89 c Presolved Problem :
0.79/0.89 c Variables : 2024 (2008 binary, 0 integer, 16 implicit integer, 0 continuous)
0.79/0.89 c Constraints : 2688
0.79/0.89 c Constraints : Number
0.79/0.89 c setppc : 43
0.79/0.89 c linear : 1777
0.79/0.89 c logicor : 841
0.79/0.89 c indicator : 27
0.79/0.89 c ** Instance transfer method used: 0
0.88/0.90 c ** ParaScipInstance copy does not increase the number of variables. **
0.88/0.91 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.88/0.91 c Nodes Active
0.88/0.91 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.88/0.95 c * 1 0 1 1 62850.0000 - -
0.88/0.96 c * 1 0 1 1 586.0000 - -
2.27/2.39 c * 2 0 1 1 178.0000 - -
4.65/4.76 c * 5 5 6 1 48.0000 0.0000 -
5.24/5.32 c 5 16 10 1 48.0000 0.0000 -
5.24/5.34 c * 5 16 10 1 44.0000 0.0000 -
5.34/5.46 c * 5 16 10 1 21.0000 0.0000 -
6.13/6.28 c * 6 16 10 1 15.0000 0.0000 -
10.62/10.74 c * 11 92 23 1 13.0000 0.0000 -
10.62/10.74 c 11 92 23 1 13.0000 0.0000 -
14.50/14.63 c * 15 337 60 1 11.0000 0.0000 -
15.80/15.94 c 16 649 102 1 11.0000 0.0000 -
17.09/17.25 c * 17 824 110 1 7.0000 0.0000 -
21.19/21.38 c 21 1315 34 1 7.0000 0.0000 -
26.77/26.95 c 27 2721 223 1 7.0000 0.0000 -
32.45/32.64 c 33 4563 395 1 7.0000 0.0000 -
37.84/38.10 c 38 6637 464 1 7.0000 0.0000 -
42.92/43.17 c 43 8670 655 1 7.0000 0.0000 -
48.11/48.34 c 48 10016 875 1 7.0000 0.0000 -
53.28/53.51 c 54 11337 962 1 7.0000 0.0000 -
58.37/58.66 c 59 12702 1052 1 7.0000 0.0000 -
63.55/63.84 c 64 14358 1181 1 7.0000 0.0000 -
68.93/69.29 c 69 15473 1235 1 7.0000 0.0000 -
74.02/74.36 c 74 16772 1327 1 7.0000 0.0000 -
79.10/79.42 c 79 18582 1457 1 7.0000 0.0000 -
84.29/84.68 c 85 20117 1579 1 7.0000 0.0000 -
89.47/89.81 c 90 21539 1679 1 7.0000 0.0000 -
94.56/94.91 c 95 23057 1771 1 7.0000 0.0000 -
99.64/100.01 c 100 25233 1962 1 7.0000 0.0000 -
104.63/105.06 c 105 26897 2084 1 7.0000 0.0000 -
110.61/111.03 c 111 28232 2171 1 7.0000 0.0000 -
115.89/116.36 c 116 29925 2296 1 7.0000 0.0000 -
120.97/121.45 c 121 31348 2426 1 7.0000 0.0000 -
126.16/126.64 c 127 32775 2560 1 7.0000 0.0000 -
131.24/131.70 c 132 34754 2676 1 7.0000 0.0000 -
136.32/136.85 c 137 36709 2796 1 7.0000 0.0000 -
141.11/141.63 c * 142 38139 2914 1 4.0000 0.0000 -
141.62/142.14 c 142 38590 2368 1 4.0000 0.0000 -
146.69/147.27 c 147 40488 2466 1 4.0000 0.0000 -
151.77/152.33 c 152 42636 2567 1 4.0000 0.0000 -
156.86/157.41 c 157 44621 2682 1 4.0000 0.0000 -
161.95/162.54 c 163 46425 2779 1 4.0000 0.0000 -
167.02/167.64 c 168 48489 2791 1 4.0000 0.0000 -
172.11/172.77 c 173 50329 2898 1 4.0000 0.0000 -
177.29/177.99 c 178 51725 2957 1 4.0000 0.0000 -
182.48/183.10 c 183 53522 3011 1 4.0000 0.0000 -
188.16/188.87 c 189 54716 3046 1 4.0000 0.0000 -
193.24/193.92 c 194 56912 3096 1 4.0000 0.0000 -
198.32/199.00 c 199 58812 3180 1 4.0000 0.0000 -
203.30/204.09 c 204 61000 3304 1 4.0000 0.0000 -
208.39/209.18 c 209 62740 3369 1 4.0000 0.0000 -
213.67/214.48 c 214 64647 3461 1 4.0000 0.0000 -
218.95/219.71 c 220 65986 3599 1 4.0000 0.0000 -
222.34/223.17 c * 223 66526 3652 1 2.0000 0.0000 -
222.55/223.37 c * 223 66526 3652 1 1.0000 0.0000 -
224.14/224.99 c 225 67203 570 1 1.0000 0.0000 -
229.22/230.06 c 230 69240 520 1 1.0000 0.0000 -
234.30/235.16 c 235 71550 506 1 1.0000 0.0000 -
239.38/240.28 c 240 73575 452 1 1.0000 0.0000 -
244.47/245.35 c 245 75440 411 1 1.0000 0.0000 -
249.55/250.43 c 250 76966 417 1 1.0000 0.0000 -
254.53/255.49 c 256 79176 406 1 1.0000 0.0000 -
259.72/260.65 c 261 80670 404 1 1.0000 0.0000 -
264.81/265.79 c 266 82605 380 1 1.0000 0.0000 -
269.88/270.84 c 271 84906 376 1 1.0000 0.0000 -
274.97/275.92 c 276 86676 378 1 1.0000 0.0000 -
280.06/281.01 c 281 88441 310 1 1.0000 0.0000 -
285.15/286.15 c 286 90015 293 1 1.0000 0.0000 -
290.22/291.23 c 291 91798 254 1 1.0000 0.0000 -
295.20/296.29 c 296 94579 310 1 1.0000 0.0000 -
300.29/301.34 c 301 97054 240 1 1.0000 0.0000 -
305.37/306.41 c 306 99758 196 1 1.0000 0.0000 -
310.35/311.46 c 311 102607 309 1 1.0000 0.0000 -
315.43/316.51 c 317 104960 281 1 1.0000 0.0000 -
320.61/321.78 c 322 105555 254 1 1.0000 0.0000 -
325.70/326.83 c 327 108163 192 1 1.0000 0.0000 -
330.69/331.88 c 332 110745 256 1 1.0000 0.0000 -
335.76/336.94 c 337 112796 180 1 1.0000 0.0000 -
340.85/342.04 c 342 114800 181 1 1.0000 0.0000 -
345.83/347.08 c 347 117250 187 1 1.0000 0.0000 -
350.92/352.15 c 352 119183 217 1 1.0000 0.0000 -
355.99/357.20 c 357 121741 225 1 1.0000 0.0000 -
360.98/362.25 c 362 124956 270 1 1.0000 0.0000 -
366.06/367.30 c 367 127799 197 1 1.0000 0.0000 -
371.14/372.40 c 372 130020 108 1 1.0000 0.0000 -
376.13/377.46 c 377 132320 211 1 1.0000 0.0000 -
381.20/382.51 c 383 135146 422 1 1.0000 0.0000 -
386.19/387.59 c 388 137418 519 1 1.0000 0.0000 -
391.27/392.67 c 393 139269 568 1 1.0000 0.0000 -
396.35/397.74 c 398 141308 612 1 1.0000 0.0000 -
401.34/402.79 c 403 143751 633 1 1.0000 0.0000 -
406.42/407.88 c 408 146220 666 1 1.0000 0.0000 -
411.50/412.93 c 413 148805 738 1 1.0000 0.0000 -
416.48/417.98 c 418 151194 689 1 1.0000 0.0000 -
421.57/423.03 c 423 153381 693 1 1.0000 0.0000 -
426.65/428.11 c 428 155660 676 1 1.0000 0.0000 -
431.73/433.27 c 433 157680 626 1 1.0000 0.0000 -
436.81/438.35 c 438 159906 561 1 1.0000 0.0000 -
441.80/443.39 c 443 162511 490 1 1.0000 0.0000 -
446.88/448.44 c 448 165054 411 1 1.0000 0.0000 -
451.86/453.49 c 454 167596 293 1 1.0000 0.0000 -
456.95/458.55 c 459 170143 188 1 1.0000 0.0000 -
462.03/463.60 c 464 172350 155 1 1.0000 0.0000 -
467.01/468.65 c 469 174765 227 1 1.0000 0.0000 -
472.09/473.77 c 474 177533 139 1 1.0000 0.0000 -
477.18/478.89 c 479 180525 49 1 1.0000 0.0000 -
482.27/483.99 c 484 183223 176 1 1.0000 0.0000 -
487.35/489.04 c 489 185983 142 1 1.0000 0.0000 -
492.34/494.10 c 494 188967 45 1 1.0000 0.0000 -
497.41/499.16 c 499 191826 18 1 1.0000 0.0000 -
502.50/504.20 c 504 194713 33 1 1.0000 0.0000 -
507.48/509.25 c 509 197627 120 1 1.0000 0.0000 -
512.56/514.30 c 514 200314 87 1 1.0000 0.0000 -
517.55/519.35 c 519 203016 76 1 1.0000 0.0000 -
522.63/524.40 c 524 205797 41 1 1.0000 0.0000 -
529.61/531.43 c 531 207432 86 1 1.0000 0.0000 -
534.69/536.52 c 537 209693 112 1 1.0000 0.0000 -
539.68/541.58 c 542 212001 65 1 1.0000 0.0000 -
544.76/546.63 c 547 214566 10 1 1.0000 0.0000 -
549.84/551.71 c 552 217002 17 1 1.0000 0.0000 -
554.83/556.76 c 557 218922 8 1 1.0000 0.0000 -
559.91/561.82 c 562 221270 55 1 1.0000 0.0000 -
564.90/566.87 c 567 223933 60 1 1.0000 0.0000 -
569.98/571.92 c 572 226802 119 1 1.0000 0.0000 -
574.96/576.97 c 577 229657 260 1 1.0000 0.0000 -
580.05/582.02 c 582 232334 280 1 1.0000 0.0000 -
585.03/587.07 c 587 234912 227 1 1.0000 0.0000 -
590.11/592.12 c 592 237430 138 1 1.0000 0.0000 -
594.29/596.36 c 596 239444 0 0 1.0000 1.0000 0.00%
594.39/596.41 c 596 239444 0 0 1.0000 1.0000 -
594.39/596.41 c SCIP Status : c problem is solved
594.39/596.41 c Total Time : 596.4100
594.39/596.41 c solving : 596.4100
594.39/596.41 c presolving : 0.8758 (included in solving)
594.39/596.41 c B&B Tree :
594.39/596.41 c nodes (total) : 239444
594.39/596.41 c Solution :
594.39/596.41 c Solutions found : 13
594.39/596.41 c Primal Bound : +1.00000000000000e+00
594.39/596.41 c Dual Bound : +1.00000000000000e+00
594.39/596.41 c Gap : 0.00000 %
594.39/596.42 o 1
594.39/596.42 s OPTIMUM FOUND
594.39/596.42 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210
594.39/596.42 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 x191 -x190 -x189
594.39/596.42 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
594.39/596.42 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
594.39/596.42 v -x146 -x145 x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
594.39/596.42 v -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
594.39/596.42 v -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
594.39/596.42 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
594.39/596.42 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
594.39/596.42 v -x28 x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
594.39/596.42 v -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (60088 MiB free)
memory of node 1: 64473 MiB (58838 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4464857-1722389837/watcher-4464857-1722389837 -o /tmp/evaluation-result-4464857-1722389837/solver-4464857-1722389837 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722389719-36423 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464857-1722389837.wbo -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=36651, runsolver pid=36648
[startup+0.100099 s]*
/proc/loadavg: 3.70 2.94 3.43 5/261 36652
/proc/meminfo: memFree=121758308/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=42712 memory=31740 CPUtime=0.09 cores=4,6
/proc/36651/stat : 36651 (fscip) R 36648 36651 36412 0 -1 4194304 5560 0 0 0 8 1 0 0 20 0 1 0 5582754 43737088 7935 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 10678 7935 2662 3035 0 7074 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42712 KiB
Current children cumulated memory: 31740 KiB
[startup+0.205853 s]*
/proc/loadavg: 3.70 2.94 3.43 5/261 36652
/proc/meminfo: memFree=121757588/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=43224 memory=32268 CPUtime=0.2 cores=4,6
/proc/36651/stat : 36651 (fscip) R 36648 36651 36412 0 -1 4194304 5672 0 0 0 19 1 0 0 20 0 1 0 5582754 44261376 8067 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 10806 8067 2662 3035 0 7202 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43224 KiB
Current children cumulated memory: 32268 KiB
[startup+0.30576 s]*
/proc/loadavg: 3.70 2.94 3.43 5/261 36652
/proc/meminfo: memFree=121757268/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=43740 memory=32796 CPUtime=0.3 cores=4,6
/proc/36651/stat : 36651 (fscip) R 36648 36651 36412 0 -1 4194304 5800 0 0 0 29 1 0 0 20 0 1 0 5582754 44789760 8199 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 10935 8199 2662 3035 0 7331 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43740 KiB
Current children cumulated memory: 32796 KiB
[startup+0.700242 s]
/proc/loadavg: 3.70 2.94 3.43 5/261 36653
/proc/meminfo: memFree=121756088/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=44768 memory=33852 CPUtime=0.69 cores=4,6
/proc/36651/stat : 36651 (fscip) R 36648 36651 36412 0 -1 4194304 6058 0 0 0 68 1 0 0 20 0 1 0 5582754 45842432 8463 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 11192 8463 2662 3035 0 7588 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44768 KiB
Current children cumulated memory: 33852 KiB
[startup+1.5011 s]
/proc/loadavg: 3.70 2.94 3.43 5/263 36655
/proc/meminfo: memFree=121724952/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=136416 memory=75088 CPUtime=1.48 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 17188 0 0 0 145 3 0 0 20 0 3 0 5582754 139689984 18772 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 34104 18772 2870 3035 0 23319 0
[pid=36651/tid=36654] ppid=36648 vsize=136416 memory=4232 CPUtime=0.58 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 9026 0 0 0 57 1 0 0 20 0 3 0 5582843 139689984 18772 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=136416 memory=2292 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5582845 139689984 18772 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 136416 KiB
Current children cumulated memory: 75088 KiB
[startup+3.10611 s]
/proc/loadavg: 3.70 2.94 3.43 5/263 36655
/proc/meminfo: memFree=121672508/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=143500 memory=106052 CPUtime=3.06 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 31747 0 0 0 302 4 0 0 20 0 3 0 5582754 146944000 26513 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 35875 26513 2918 3035 0 31793 0
[pid=36651/tid=36654] ppid=36648 vsize=143500 memory=2292 CPUtime=2.17 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 23213 0 0 0 214 3 0 0 20 0 3 0 5582843 146944000 26513 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=143500 memory=19160 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5582845 146944000 26513 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 143500 KiB
Current children cumulated memory: 106052 KiB
[startup+6.30026 s]
/proc/loadavg: 3.72 2.96 3.44 5/263 36655
/proc/meminfo: memFree=121628856/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=209036 memory=143524 CPUtime=6.23 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 46707 0 0 0 617 6 0 0 20 0 3 0 5582754 214052864 35881 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 52259 35881 3014 3035 0 41486 0
[pid=36651/tid=36654] ppid=36648 vsize=209036 memory=0 CPUtime=5.32 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 37805 0 0 0 528 4 0 0 20 0 3 0 5582843 214052864 35881 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=209036 memory=2314990526745100888 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5582845 214052864 35881 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 209036 KiB
Current children cumulated memory: 143524 KiB
[startup+12.7003 s]
/proc/loadavg: 3.82 2.99 3.44 5/263 36657
/proc/meminfo: memFree=121624276/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=209036 memory=145412 CPUtime=12.61 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 71324 0 0 0 1253 8 0 0 20 0 3 0 5582754 214052864 36353 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 52259 36353 3318 3035 0 41486 0
[pid=36651/tid=36654] ppid=36648 vsize=209036 memory=106052 CPUtime=11.7 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 62046 0 0 0 1164 6 0 0 20 0 3 0 5582843 214052864 36353 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=209036 memory=145288 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5582845 214052864 36353 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 209036 KiB
Current children cumulated memory: 145412 KiB
[startup+25.5003 s]
/proc/loadavg: 3.86 3.04 3.45 5/263 36660
/proc/meminfo: memFree=121619444/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=209036 memory=147960 CPUtime=25.37 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 114969 0 0 0 2525 12 0 0 20 0 3 0 5582754 214052864 36990 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 52259 36990 3318 3035 0 41733 0
[pid=36651/tid=36654] ppid=36648 vsize=209036 memory=11524 CPUtime=24.46 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 104938 0 0 0 2436 10 0 0 20 0 3 0 5582843 214052864 36990 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=209036 memory=147948 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5582845 214052864 36990 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 209036 KiB
Current children cumulated memory: 147960 KiB
[startup+51.1057 s]
/proc/loadavg: 3.91 3.12 3.47 5/262 36665
/proc/meminfo: memFree=121554768/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=274572 memory=202784 CPUtime=50.9 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 193159 0 0 0 5068 22 0 0 20 0 3 0 5582754 281161728 50696 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 68643 50696 3318 3035 0 56640 0
[pid=36651/tid=36654] ppid=36648 vsize=274572 memory=199536 CPUtime=49.99 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 183012 0 0 0 4979 20 0 0 20 0 3 0 5582843 281161728 50696 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=274572 memory=199544 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5582845 281161728 50696 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 274572 KiB
Current children cumulated memory: 202784 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 3.29 3.51 5/262 36673
/proc/meminfo: memFree=121361912/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=281860 memory=225760 CPUtime=101.94 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 259891 0 0 0 10161 33 0 0 20 0 3 0 5582754 288624640 56440 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 70465 56440 3318 3035 0 61322 0
[pid=36651/tid=36654] ppid=36648 vsize=281860 memory=225340 CPUtime=101.02 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 249591 0 0 0 10072 30 0 0 20 0 3 0 5582843 288624640 56440 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=281860 memory=11524 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5582845 288624640 56440 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 281860 KiB
Current children cumulated memory: 225760 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 3.45 3.55 5/262 36683
/proc/meminfo: memFree=121290964/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=311900 memory=258232 CPUtime=161.74 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 319601 0 0 0 16128 46 0 0 20 0 3 0 5582754 319385600 64558 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 77975 64558 3318 3035 0 69736 0
[pid=36651/tid=36654] ppid=36648 vsize=311900 memory=248708 CPUtime=160.83 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 308894 0 0 0 16039 44 0 0 20 0 3 0 5582843 319385600 64558 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=311900 memory=250136 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5582845 319385600 64558 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 311900 KiB
Current children cumulated memory: 258232 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.57 3.59 5/263 36700
/proc/meminfo: memFree=121270596/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=328324 memory=273708 CPUtime=221.54 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 363831 0 0 0 22098 56 0 0 20 0 3 0 5582754 336203776 68427 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 82081 68427 3318 3035 0 74200 0
[pid=36651/tid=36654] ppid=36648 vsize=328324 memory=265880 CPUtime=220.63 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 353082 0 0 0 22009 54 0 0 20 0 3 0 5582843 336203776 68427 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=328324 memory=267064 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 5582845 336203776 68427 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 328324 KiB
Current children cumulated memory: 273708 KiB
[startup+282.3 s]
################
# More data... #
################
/proc/36651/statm: 85817 73809 3318 3035 0 79075 0
[pid=36651/tid=36654] ppid=36648 vsize=343268 memory=274264 CPUtime=340.22 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 400086 0 0 0 33948 74 0 0 20 0 3 0 5582843 351506432 73809 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=343268 memory=11524 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 5582845 351506432 73809 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 343268 KiB
Current children cumulated memory: 295236 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.83 3.69 5/263 36730
/proc/meminfo: memFree=121119600/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=351972 memory=298544 CPUtime=400.94 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 445350 0 0 0 40004 90 0 0 20 0 3 0 5582754 360419328 74636 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 87993 74636 3318 3035 0 81251 0
[pid=36651/tid=36654] ppid=36648 vsize=351972 memory=274264 CPUtime=400.01 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 434178 0 0 0 39914 87 0 0 20 0 3 0 5582843 360419328 74636 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=351972 memory=298544 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5582845 360419328 74636 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 351972 KiB
Current children cumulated memory: 298544 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.88 3.72 5/263 36741
/proc/meminfo: memFree=121069864/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=351972 memory=304620 CPUtime=460.73 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 476259 0 0 0 45970 103 0 0 20 0 3 0 5582754 360419328 76155 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 87993 76155 3318 3035 0 81251 0
[pid=36651/tid=36654] ppid=36648 vsize=351972 memory=304620 CPUtime=459.8 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 465043 0 0 0 45880 100 0 0 20 0 3 0 5582843 360419328 76155 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=351972 memory=15860 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 5582845 360419328 76155 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 460.73 s
Current children cumulated vsize: 351972 KiB
Current children cumulated memory: 304620 KiB
[startup+522.3 s]
/proc/loadavg: 4.13 3.94 3.75 5/261 36751
/proc/meminfo: memFree=120804000/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=367444 memory=314124 CPUtime=520.54 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 514309 0 0 0 51941 113 0 0 20 0 3 0 5582754 376262656 78531 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 91861 78531 3318 3035 0 85119 0
[pid=36651/tid=36654] ppid=36648 vsize=367444 memory=314068 CPUtime=519.6 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 503049 0 0 0 51850 110 0 0 20 0 3 0 5582843 376262656 78531 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=367444 memory=314068 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 5582845 376262656 78531 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 520.54 s
Current children cumulated vsize: 367444 KiB
Current children cumulated memory: 314124 KiB
[startup+582.3 s]
/proc/loadavg: 4.14 3.98 3.78 5/261 36762
/proc/meminfo: memFree=120799240/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=367444 memory=316840 CPUtime=580.34 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 562254 0 0 0 57910 124 0 0 20 0 3 0 5582754 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 91861 79210 3318 3035 0 85119 0
[pid=36651/tid=36654] ppid=36648 vsize=367444 memory=314068 CPUtime=579.39 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 550950 0 0 0 57818 121 0 0 20 0 3 0 5582843 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=367444 memory=314068 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5582845 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 580.34 s
Current children cumulated vsize: 367444 KiB
Current children cumulated memory: 316840 KiB
[startup+596.434 s]
# the end of solver process 36651 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=593.138 s, system=1.30154 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 4.13 3.98 3.78 5/261 36762
/proc/meminfo: memFree=120798180/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=367444 memory=316840 CPUtime=586.82 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 570532 0 0 0 58555 127 0 0 20 0 3 0 5582754 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 91861 79210 3318 3035 0 85119 0
[pid=36651/tid=36654] ppid=36648 vsize=367444 memory=314276 CPUtime=585.88 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 559198 0 0 0 58464 124 0 0 20 0 3 0 5582843 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=367444 memory=314276 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5582845 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 586.82 s
Current children cumulated vsize: 367444 KiB
Current children cumulated memory: 316840 KiB
[startup+592 s]*
/proc/loadavg: 4.12 3.98 3.78 5/261 36763
/proc/meminfo: memFree=120797256/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=367444 memory=316840 CPUtime=590.01 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 570855 0 0 0 58874 127 0 0 20 0 3 0 5582754 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 91861 79210 3318 3035 0 85119 0
[pid=36651/tid=36654] ppid=36648 vsize=367444 memory=-7234588068002487932 CPUtime=589.07 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 559519 0 0 0 58783 124 0 0 20 0 3 0 5582843 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=367444 memory=28100 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5582845 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 590.01 s
Current children cumulated vsize: 367444 KiB
Current children cumulated memory: 316840 KiB
[startup+593.6 s]
/proc/loadavg: 4.12 3.98 3.78 5/261 36763
/proc/meminfo: memFree=120797284/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=367444 memory=316840 CPUtime=591.61 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 575625 0 0 0 59033 128 0 0 20 0 3 0 5582754 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 91861 79210 3318 3035 0 85119 0
[pid=36651/tid=36654] ppid=36648 vsize=367444 memory=316840 CPUtime=590.66 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 564285 0 0 0 58941 125 0 0 20 0 3 0 5582843 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=367444 memory=12652 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5582845 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 591.61 s
Current children cumulated vsize: 367444 KiB
Current children cumulated memory: 316840 KiB
[startup+595.2 s]
/proc/loadavg: 4.11 3.98 3.78 5/261 36763
/proc/meminfo: memFree=120797284/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=367444 memory=316840 CPUtime=593.2 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 575719 0 0 0 59192 128 0 0 20 0 3 0 5582754 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 91861 79210 3318 3035 0 85119 0
[pid=36651/tid=36654] ppid=36648 vsize=367444 memory=316840 CPUtime=592.25 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 564379 0 0 0 59100 125 0 0 20 0 3 0 5582843 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=367444 memory=316840 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5582845 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 593.2 s
Current children cumulated vsize: 367444 KiB
Current children cumulated memory: 316840 KiB
[startup+596 s]*
/proc/loadavg: 4.11 3.98 3.78 5/261 36763
/proc/meminfo: memFree=120796620/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=367444 memory=316840 CPUtime=594 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 575766 0 0 0 59272 128 0 0 20 0 3 0 5582754 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 91861 79210 3318 3035 0 85119 0
[pid=36651/tid=36654] ppid=36648 vsize=367444 memory=-7234588068002487932 CPUtime=593.05 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 564426 0 0 0 59180 125 0 0 20 0 3 0 5582843 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=367444 memory=-5155633680935826750 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5582845 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 594 s
Current children cumulated vsize: 367444 KiB
Current children cumulated memory: 316840 KiB
[startup+596.4 s]
/proc/loadavg: 4.11 3.98 3.78 5/261 36763
/proc/meminfo: memFree=120796620/131524600 swapFree=131071728/131071996
[pid=36651] ppid=36648 vsize=367444 memory=316840 CPUtime=594.39 cores=4,6
/proc/36651/stat : 36651 (fscip) S 36648 36651 36412 0 -1 1077936128 577661 0 0 0 59311 128 0 0 20 0 3 0 5582754 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
/proc/36651/statm: 91861 79210 3318 3035 0 85119 0
[pid=36651/tid=36654] ppid=36648 vsize=367444 memory=12652 CPUtime=593.44 cores=4,6
/proc/36651/task/36654/stat : 36654 (fscip) R 36648 36651 36412 0 -1 4194368 566327 0 0 0 59219 125 0 0 20 0 3 0 5582843 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
[pid=36651/tid=36655] ppid=36648 vsize=367444 memory=12692 CPUtime=0 cores=4,6
/proc/36651/task/36655/stat : 36655 (fscip) S 36648 36651 36412 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5582845 376262656 79210 134679101440 4194304 16623229 140729597362288 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 33763328 140729597367316 140729597367432 140729597367432 140729597374448 0
Current children cumulated CPU time: 594.39 s
Current children cumulated vsize: 367444 KiB
Current children cumulated memory: 316840 KiB
Child status: 0
Real time (s): 596.434
CPU time (s): 594.44
CPU user time (s): 593.138
CPU system time (s): 1.30154
CPU usage (%): 99.6656
Max. virtual memory (cumulated for all children) (KiB): 367444
Max. memory (cumulated for all children) (KiB): 316840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 593.138
system time used= 1.30154
maximum resident set size= 316840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 583564
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= 1818
involuntary context switches= 871
# summary of solver processes directly reported to runsolver:
# pid: 36651
# total CPU time (s): 594.44
# total CPU user time (s): 593.138
# total CPU system time (s): 1.30154
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1931 second user time and 2.9979 second system time
The end
Begin job on nodeC024 at 2024-07-31 03:37:17
IDJOB=4464857
IDBENCH=143638
IDSOLVER=3093
FILE ID=nodeC024/4464857-1722389837
RUNJOBID= nodeC024-1722389719-36423
SLURM_JOB_ID= 8249863
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4464857-1722389837/watcher-4464857-1722389837 -o /tmp/evaluation-result-4464857-1722389837/solver-4464857-1722389837 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722389719-36423 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464857-1722389837.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3785d842bac6fe989ed69b09e3d5f780
RANDOM SEED=1381507754
nodeC024.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 : 3609.917
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.90
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 : 3686.864
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.73
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 : 3674.195
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.970
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.73
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 : 3675.701
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.90
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 : 3686.921
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.73
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 : 3658.826
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.170
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.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121783748 kB
MemAvailable: 124240812 kB
Buffers: 103972 kB
Cached: 3169780 kB
SwapCached: 36 kB
Active: 291556 kB
Inactive: 8924404 kB
Active(anon): 1556 kB
Inactive(anon): 5961952 kB
Active(file): 290000 kB
Inactive(file): 2962452 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 28172 kB
Writeback: 0 kB
AnonPages: 5939560 kB
Mapped: 122280 kB
Shmem: 21292 kB
KReclaimable: 88868 kB
Slab: 173692 kB
SReclaimable: 88868 kB
SUnreclaim: 84824 kB
KernelStack: 4176 kB
PageTables: 20720 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4714460 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9440 kB
HardwareCorrupted: 0 kB
AnonHugePages: 677888 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: 178900 kB
DirectMap2M: 11128832 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC024 at 2024-07-31 03:47:14