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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 31268864, getVmSize() = 31268864, SCIPgetMemUsed() = 6435676, SCIPgetMemTotal() = 9388548, SCIPgetMemExternEstim() = 4546515
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.30 c ** Estimated virtualMemUsedAtSolver = 27000832, getVmSize() = 49733632, SCIPgetMemUsed() = 16781823, SCIPgetMemTotal() = 26386551, SCIPgetMemExternEstim() = 4546515
0.20/0.30 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.20/0.30 c Original Problem :
0.20/0.30 c Problem name : instance-4426771-1720905573
0.20/0.30 c Variables : 1123 (1123 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.30 c Constraints : 3600
0.20/0.30 c Objective sense : minimize
0.20/0.30 c Presolved Problem :
0.20/0.30 c Variables : 1129 (1119 binary, 0 integer, 10 implicit integer, 0 continuous)
0.20/0.30 c Constraints : 2601
0.20/0.30 c Constraints : Number
0.20/0.30 c setppc : 59
0.20/0.30 c linear : 889
0.20/0.30 c logicor : 1640
0.20/0.30 c indicator : 13
0.20/0.30 c ** Instance transfer method used: 0
0.20/0.30 c ** ParaScipInstance copy does not increase the number of variables. **
0.29/0.31 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.29/0.31 c Nodes Active
0.29/0.31 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.29/0.35 c * 0 0 1 1 41379.0000 - -
0.29/0.35 c * 0 0 1 1 487.0000 - -
1.27/1.38 c * 1 0 1 1 251.0000 - -
1.37/1.48 c * 1 0 1 1 215.0000 - -
2.07/2.15 c * 2 2 1 1 20.0000 0.0000 -
3.26/3.32 c * 3 8 6 1 11.0000 0.0000 -
5.15/5.21 c 5 50 13 1 11.0000 0.0000 -
10.24/10.38 c 10 517 46 1 11.0000 0.0000 -
15.43/15.50 c 16 1144 17 1 11.0000 0.0000 -
20.92/21.07 c 21 3158 226 1 11.0000 0.0000 -
26.00/26.14 c 26 5344 481 1 11.0000 0.0000 -
31.27/31.46 c 31 7552 599 1 11.0000 0.0000 -
36.51/36.70 c 37 9835 823 1 11.0000 0.0000 -
40.08/40.36 c * 40 11316 966 1 9.0000 0.0000 -
41.57/41.84 c 42 11903 958 1 9.0000 0.0000 -
46.72/47.00 c 47 14434 1081 1 9.0000 0.0000 -
51.79/52.18 c 52 16347 1230 1 9.0000 0.0000 -
56.87/57.26 c 57 19085 1278 1 9.0000 0.0000 -
61.96/62.35 c 62 21294 1365 1 9.0000 0.0000 -
67.04/67.43 c 67 24125 1465 1 9.0000 0.0000 -
72.02/72.48 c 72 26644 1553 1 9.0000 0.0000 -
74.82/75.20 c * 75 27404 1577 1 7.0000 0.0000 -
77.41/77.80 c 78 28168 1447 1 7.0000 0.0000 -
82.40/82.88 c 83 31191 1600 1 7.0000 0.0000 -
83.10/83.56 c * 84 31191 1600 1 6.0000 0.0000 -
87.48/87.93 c 88 34293 1701 1 6.0000 0.0000 -
92.46/92.99 c 93 37251 1912 1 6.0000 0.0000 -
96.66/97.18 c * 97 39361 1995 1 4.0000 0.0000 -
97.56/98.05 c 98 40069 1450 1 4.0000 0.0000 -
102.64/103.16 c 103 43166 1474 1 4.0000 0.0000 -
107.72/108.27 c 108 45998 1516 1 4.0000 0.0000 -
112.80/113.32 c 113 49961 1638 1 4.0000 0.0000 -
117.79/118.38 c 118 53237 1729 1 4.0000 0.0000 -
123.18/123.75 c 124 54365 1784 1 4.0000 0.0000 -
128.26/128.86 c 129 57208 1814 1 4.0000 0.0000 -
133.35/133.92 c 134 60427 1859 1 4.0000 0.0000 -
138.32/138.98 c 139 64434 1859 1 4.0000 0.0000 -
138.62/139.25 c * 139 64434 1859 1 3.0000 0.0000 -
143.41/144.03 c 144 67734 1650 1 3.0000 0.0000 -
148.49/149.11 c 149 71650 1535 1 3.0000 0.0000 -
153.48/154.16 c 154 75604 1514 1 3.0000 0.0000 -
158.56/159.22 c 159 78878 1551 1 3.0000 0.0000 -
163.54/164.28 c 164 82587 1621 1 3.0000 0.0000 -
168.63/169.33 c 169 86513 1673 1 3.0000 0.0000 -
173.60/174.38 c 174 89842 1805 1 3.0000 0.0000 -
178.69/179.43 c 179 93709 1856 1 3.0000 0.0000 -
183.68/184.49 c 184 97852 1853 1 3.0000 0.0000 -
188.75/189.54 c 190 101716 2000 1 3.0000 0.0000 -
194.24/195.05 c 195 104867 1976 1 3.0000 0.0000 -
199.52/200.34 c 200 106472 1966 1 3.0000 0.0000 -
204.50/205.39 c 205 110013 1990 1 3.0000 0.0000 -
209.58/210.49 c 210 113885 1994 1 3.0000 0.0000 -
214.67/215.55 c 216 117487 2005 1 3.0000 0.0000 -
219.75/220.61 c 221 121636 1892 1 3.0000 0.0000 -
224.72/225.66 c 226 125204 1849 1 3.0000 0.0000 -
229.81/230.79 c 231 128364 1894 1 3.0000 0.0000 -
234.89/235.85 c 236 132668 1919 1 3.0000 0.0000 -
239.98/240.90 c 241 136614 1965 1 3.0000 0.0000 -
244.96/245.95 c 246 140875 1983 1 3.0000 0.0000 -
250.05/251.00 c 251 144218 1974 1 3.0000 0.0000 -
255.03/256.04 c 256 148014 2028 1 3.0000 0.0000 -
260.02/261.09 c 261 151899 2088 1 3.0000 0.0000 -
265.09/266.14 c 266 155930 2078 1 3.0000 0.0000 -
270.18/271.22 c 271 160269 2086 1 3.0000 0.0000 -
275.16/276.27 c 276 164241 2056 1 3.0000 0.0000 -
280.24/281.34 c 281 168077 2008 1 3.0000 0.0000 -
285.32/286.43 c 286 171380 1976 1 3.0000 0.0000 -
290.31/291.49 c 292 174474 1965 1 3.0000 0.0000 -
295.50/296.60 c 297 178641 2264 1 3.0000 0.0000 -
300.49/301.67 c 302 182105 2635 1 3.0000 0.0000 -
305.57/306.72 c 307 184893 2828 1 3.0000 0.0000 -
310.65/311.82 c 312 187740 2977 1 3.0000 0.0000 -
315.74/316.90 c 317 190603 3065 1 3.0000 0.0000 -
316.44/317.62 c * 318 190603 3065 1 1.0000 0.0000 -
320.73/321.95 c 322 193690 1151 1 1.0000 0.0000 -
325.81/327.02 c 327 196217 1212 1 1.0000 0.0000 -
330.90/332.14 c 332 198648 1286 1 1.0000 0.0000 -
335.98/337.20 c 337 201445 1313 1 1.0000 0.0000 -
340.97/342.25 c 342 204160 1349 1 1.0000 0.0000 -
346.06/347.30 c 347 206889 1379 1 1.0000 0.0000 -
351.33/352.61 c 353 207918 1374 1 1.0000 0.0000 -
356.32/357.65 c 358 210540 1383 1 1.0000 0.0000 -
361.41/362.70 c 363 213478 1408 1 1.0000 0.0000 -
366.40/367.76 c 368 216203 1408 1 1.0000 0.0000 -
371.58/372.90 c 373 218375 1412 1 1.0000 0.0000 -
376.57/377.97 c 378 220206 1424 1 1.0000 0.0000 -
381.65/383.03 c 383 223367 1402 1 1.0000 0.0000 -
386.64/388.08 c 388 227030 1462 1 1.0000 0.0000 -
391.73/393.17 c 393 229876 1478 1 1.0000 0.0000 -
396.81/398.24 c 398 231369 1471 1 1.0000 0.0000 -
401.89/403.30 c 403 234179 1470 1 1.0000 0.0000 -
406.88/408.37 c 408 236848 1422 1 1.0000 0.0000 -
412.06/413.52 c 414 239619 1361 1 1.0000 0.0000 -
417.15/418.60 c 419 242262 1317 1 1.0000 0.0000 -
422.14/423.69 c 424 245215 1273 1 1.0000 0.0000 -
427.22/428.76 c 429 247600 1238 1 1.0000 0.0000 -
432.30/433.81 c 434 250465 1180 1 1.0000 0.0000 -
437.38/438.90 c 439 252593 1193 1 1.0000 0.0000 -
442.47/444.01 c 444 254435 1179 1 1.0000 0.0000 -
447.65/449.26 c 449 256290 1151 1 1.0000 0.0000 -
452.73/454.31 c 454 259222 1087 1 1.0000 0.0000 -
457.71/459.37 c 459 262693 1030 1 1.0000 0.0000 -
462.79/464.43 c 464 265444 943 1 1.0000 0.0000 -
467.88/469.54 c 470 268186 845 1 1.0000 0.0000 -
472.96/474.61 c 475 270492 787 1 1.0000 0.0000 -
477.94/479.66 c 480 273422 712 1 1.0000 0.0000 -
483.02/484.73 c 485 276415 612 1 1.0000 0.0000 -
488.11/489.81 c 490 278849 547 1 1.0000 0.0000 -
493.09/494.86 c 495 281726 479 1 1.0000 0.0000 -
498.28/500.01 c 500 284907 403 1 1.0000 0.0000 -
503.35/505.11 c 505 288084 285 1 1.0000 0.0000 -
508.35/510.18 c 510 291226 275 1 1.0000 0.0000 -
513.42/515.22 c 515 295663 354 1 1.0000 0.0000 -
518.40/520.27 c 520 299661 349 1 1.0000 0.0000 -
523.58/525.41 c 525 303178 216 1 1.0000 0.0000 -
528.66/530.50 c 531 306282 29 1 1.0000 0.0000 -
531.65/533.56 c 534 308613 0 0 1.0000 1.0000 0.00%
531.65/533.59 c 534 308613 0 0 1.0000 1.0000 -
531.65/533.59 c SCIP Status : c problem is solved
531.65/533.59 c Total Time : 533.5800
531.65/533.59 c solving : 533.5800
531.65/533.59 c presolving : 0.2859 (included in solving)
531.65/533.59 c B&B Tree :
531.65/533.59 c nodes (total) : 308613
531.65/533.59 c Solution :
531.65/533.59 c Solutions found : 12
531.65/533.59 c Primal Bound : +1.00000000000000e+00
531.65/533.59 c Dual Bound : +1.00000000000000e+00
531.65/533.59 c Gap : 0.00000 %
531.65/533.59 o 1
531.65/533.59 s OPTIMUM FOUND
531.65/533.59 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 x210
531.65/533.59 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189
531.65/533.59 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168
531.65/533.59 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 x148 -x147
531.65/533.59 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
531.65/533.59 v -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
531.65/533.59 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
531.65/533.59 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
531.65/533.59 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
531.65/533.59 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
531.65/533.59 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 (61860 MiB free)
memory of node 1: 64473 MiB (63444 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426771-1720905573/watcher-4426771-1720905573 -o /tmp/evaluation-result-4426771-1720905573/solver-4426771-1720905573 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720905583-723470 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426771-1720905573.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
solver pid=724344, runsolver pid=724341
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 1.71 3.10 3.70 5/260 724355
/proc/meminfo: memFree=128277756/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=37216 memory=26392 CPUtime=0.09 cores=4,6
/proc/724344/stat : 724344 (fscip) R 724341 724344 721052 0 -1 4194304 4230 0 0 0 9 0 0 0 20 0 1 0 142722291 38109184 6598 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 9304 6598 2654 3032 0 5704 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37216 KiB
Current children cumulated memory: 26392 KiB
[startup+0.205078 s]*
/proc/loadavg: 1.71 3.10 3.70 5/260 724355
/proc/meminfo: memFree=128272212/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=37728 memory=27184 CPUtime=0.2 cores=4,6
/proc/724344/stat : 724344 (fscip) R 724341 724344 721052 0 -1 4194304 4397 0 0 0 20 0 0 0 20 0 1 0 142722291 38633472 6796 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 9432 6796 2654 3032 0 5832 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37728 KiB
Current children cumulated memory: 27184 KiB
[startup+0.305103 s]*
/proc/loadavg: 1.71 3.10 3.70 5/261 724356
/proc/meminfo: memFree=128260820/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=125400 memory=37124 CPUtime=0.29 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 7210 0 0 0 29 0 0 0 20 0 2 0 142722291 128409600 9281 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 31350 9281 2686 3032 0 11398 0
[pid=724344/tid=724356] ppid=724341 vsize=125400 memory=-9104140344921334460 CPUtime=0 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 142722321 128409600 9281 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 125400 KiB
Current children cumulated memory: 37124 KiB
[startup+0.700748 s]
/proc/loadavg: 1.71 3.10 3.70 5/262 724357
/proc/meminfo: memFree=128240996/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=137260 memory=62176 CPUtime=0.67 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 13413 0 0 0 66 1 0 0 20 0 3 0 142722291 140554240 15544 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 34315 15544 2830 3032 0 20123 0
[pid=724344/tid=724356] ppid=724341 vsize=137260 memory=15864 CPUtime=0.37 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 6201 0 0 0 37 0 0 0 20 0 3 0 142722321 140554240 15544 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=137260 memory=257 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 142722322 140554240 15544 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 137260 KiB
Current children cumulated memory: 62176 KiB
[startup+1.50077 s]
/proc/loadavg: 1.71 3.10 3.70 5/266 724361
/proc/meminfo: memFree=128158972/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=144964 memory=87920 CPUtime=1.47 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 25505 0 0 0 144 3 0 0 20 0 3 0 142722291 148443136 21980 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 36241 21980 2974 3032 0 27298 0
[pid=724344/tid=724356] ppid=724341 vsize=144964 memory=257 CPUtime=1.16 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 18018 0 0 0 114 2 0 0 20 0 3 0 142722321 148443136 21980 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=144964 memory=0 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 142722322 148443136 21980 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 144964 KiB
Current children cumulated memory: 87920 KiB
[startup+3.10526 s]
/proc/loadavg: 1.89 3.12 3.70 5/266 724409
/proc/meminfo: memFree=128097628/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=211524 memory=125732 CPUtime=3.06 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 35207 0 0 0 302 4 0 0 20 0 3 0 142722291 216600576 31433 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 52881 31433 2990 3032 0 37086 0
[pid=724344/tid=724356] ppid=724341 vsize=211524 memory=0 CPUtime=2.76 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 27690 0 0 0 273 3 0 0 20 0 3 0 142722321 216600576 31433 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=211524 memory=0 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 142722322 216600576 31433 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 211524 KiB
Current children cumulated memory: 125732 KiB
[startup+6.30024 s]
/proc/loadavg: 1.89 3.12 3.70 5/266 724409
/proc/meminfo: memFree=127958568/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=210500 memory=125640 CPUtime=6.25 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 46165 0 0 0 620 5 0 0 20 0 3 0 142722291 215552000 31410 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 52625 31410 2990 3032 0 36830 0
[pid=724344/tid=724356] ppid=724341 vsize=210500 memory=0 CPUtime=5.95 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 38619 0 0 0 591 4 0 0 20 0 3 0 142722321 215552000 31410 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=210500 memory=-6442232606496045931 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 142722322 215552000 31410 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 210500 KiB
Current children cumulated memory: 125640 KiB
[startup+12.7002 s]
/proc/loadavg: 2.14 3.15 3.71 5/266 724411
/proc/meminfo: memFree=127956284/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=209808 memory=126796 CPUtime=12.63 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 69167 0 0 0 1257 6 0 0 20 0 3 0 142722291 214843392 31699 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 52452 31699 3310 3032 0 36657 0
[pid=724344/tid=724356] ppid=724341 vsize=209808 memory=11648 CPUtime=12.32 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 61561 0 0 0 1227 5 0 0 20 0 3 0 142722321 214843392 31699 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=209808 memory=35744 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 142722322 214843392 31699 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 209808 KiB
Current children cumulated memory: 126796 KiB
[startup+25.5003 s]
/proc/loadavg: 2.55 3.19 3.71 5/266 724412
/proc/meminfo: memFree=127842944/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=275344 memory=183188 CPUtime=25.4 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 121497 0 0 0 2528 12 0 0 20 0 3 0 142722291 281952256 45797 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 68836 45797 3310 3032 0 50486 0
[pid=724344/tid=724356] ppid=724341 vsize=275344 memory=183100 CPUtime=25.09 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 113798 0 0 0 2498 11 0 0 20 0 3 0 142722321 281952256 45797 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=275344 memory=11648 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 142722322 281952256 45797 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 275344 KiB
Current children cumulated memory: 183188 KiB
[startup+51.1054 s]
/proc/loadavg: 3.05 3.26 3.72 5/268 724421
/proc/meminfo: memFree=127767936/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=275344 memory=195624 CPUtime=50.79 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 198321 0 0 0 5059 20 0 0 20 0 3 0 142722291 281952256 48906 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 68836 48906 3310 3032 0 53571 0
[pid=724344/tid=724356] ppid=724341 vsize=275344 memory=185240 CPUtime=50.48 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 190296 0 0 0 5029 19 0 0 20 0 3 0 142722321 281952256 48906 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=275344 memory=185240 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 142722322 281952256 48906 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 275344 KiB
Current children cumulated memory: 195624 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 3.39 3.74 5/268 724431
/proc/meminfo: memFree=127695992/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=293436 memory=212620 CPUtime=101.83 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 270433 0 0 0 10154 29 0 0 20 0 3 0 142722291 300478464 53155 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 73359 53155 3310 3032 0 58094 0
[pid=724344/tid=724356] ppid=724341 vsize=293436 memory=11648 CPUtime=101.52 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 261844 0 0 0 10124 28 0 0 20 0 3 0 142722321 300478464 53155 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=293436 memory=0 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 142722322 300478464 53155 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 293436 KiB
Current children cumulated memory: 212620 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 3.52 3.77 5/268 724441
/proc/meminfo: memFree=127611944/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=302952 memory=230464 CPUtime=161.65 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 336840 0 0 0 16123 42 0 0 20 0 3 0 142722291 310222848 57616 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 75738 57616 3310 3032 0 62016 0
[pid=724344/tid=724356] ppid=724341 vsize=302952 memory=220856 CPUtime=161.34 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 327958 0 0 0 16093 41 0 0 20 0 3 0 142722321 310222848 57616 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=302952 memory=6720661047692508267 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 142722322 310222848 57616 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 302952 KiB
Current children cumulated memory: 230464 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 3.62 3.79 5/268 724452
/proc/meminfo: memFree=127542548/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=306448 memory=240044 CPUtime=221.44 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 365309 0 0 0 22092 52 0 0 20 0 3 0 142722291 313802752 60011 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 76612 60011 3310 3032 0 64317 0
[pid=724344/tid=724356] ppid=724341 vsize=306448 memory=1816 CPUtime=221.12 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 356404 0 0 0 22061 51 0 0 20 0 3 0 142722321 313802752 60011 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=306448 memory=11648 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/724344/statm: 80034 65606 3310 3032 0 67739 0
[pid=724344/tid=724356] ppid=724341 vsize=320136 memory=246168 CPUtime=340.74 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 377882 0 0 0 34010 64 0 0 20 0 3 0 142722321 327819264 65606 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=320136 memory=35744 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 142722322 327819264 65606 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 320136 KiB
Current children cumulated memory: 262424 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 3.87 3.86 5/264 724870
/proc/meminfo: memFree=127483276/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=339840 memory=276376 CPUtime=400.9 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 393339 0 0 0 40020 70 0 0 20 0 3 0 142722291 347996160 69094 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 84960 69094 3310 3032 0 73093 0
[pid=724344/tid=724356] ppid=724341 vsize=339840 memory=246168 CPUtime=400.56 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 384386 0 0 0 39988 68 0 0 20 0 3 0 142722321 347996160 69094 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=339840 memory=35744 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 142722322 347996160 69094 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 339840 KiB
Current children cumulated memory: 276376 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.91 3.88 5/262 724927
/proc/meminfo: memFree=124678564/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=352744 memory=291024 CPUtime=460.7 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 411431 0 0 0 45993 77 0 0 20 0 3 0 142722291 361209856 72756 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 88186 72756 3310 3032 0 76319 0
[pid=724344/tid=724356] ppid=724341 vsize=352744 memory=282520 CPUtime=460.37 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 402466 0 0 0 45961 76 0 0 20 0 3 0 142722321 361209856 72756 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=352744 memory=282520 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 142722322 361209856 72756 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 460.7 s
Current children cumulated vsize: 352744 KiB
Current children cumulated memory: 291024 KiB
[startup+522.3 s]
/proc/loadavg: 4.13 3.95 3.89 5/262 725153
/proc/meminfo: memFree=123476728/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=368216 memory=302372 CPUtime=520.49 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 430114 0 0 0 51966 83 0 0 20 0 3 0 142722291 377053184 75593 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 92054 75593 3310 3032 0 80187 0
[pid=724344/tid=724356] ppid=724341 vsize=368216 memory=291232 CPUtime=520.15 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 421132 0 0 0 51933 82 0 0 20 0 3 0 142722321 377053184 75593 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=368216 memory=291232 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 142722322 377053184 75593 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 520.49 s
Current children cumulated vsize: 368216 KiB
Current children cumulated memory: 302372 KiB
[startup+533.591 s]
# the end of solver process 724344 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=530.901 s, system=0.855289 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+524.8 s]
/proc/loadavg: 4.12 3.95 3.90 5/262 725153
/proc/meminfo: memFree=123476864/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=368216 memory=302624 CPUtime=522.98 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 430121 0 0 0 52215 83 0 0 20 0 3 0 142722291 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 92054 75656 3310 3032 0 80187 0
[pid=724344/tid=724356] ppid=724341 vsize=368216 memory=291232 CPUtime=522.64 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 421139 0 0 0 52182 82 0 0 20 0 3 0 142722321 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=368216 memory=11648 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 142722322 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 522.98 s
Current children cumulated vsize: 368216 KiB
Current children cumulated memory: 302624 KiB
[startup+528 s]*
/proc/loadavg: 4.11 3.95 3.90 5/262 725153
/proc/meminfo: memFree=123476900/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=368216 memory=302624 CPUtime=526.18 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 430139 0 0 0 52534 84 0 0 20 0 3 0 142722291 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 92054 75656 3310 3032 0 80187 0
[pid=724344/tid=724356] ppid=724341 vsize=368216 memory=-8744136044436693692 CPUtime=525.83 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 421157 0 0 0 52501 82 0 0 20 0 3 0 142722321 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=368216 memory=40288 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 142722322 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 526.18 s
Current children cumulated vsize: 368216 KiB
Current children cumulated memory: 302624 KiB
[startup+531.2 s]
/proc/loadavg: 4.11 3.95 3.90 5/262 725154
/proc/meminfo: memFree=123476888/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=368216 memory=302624 CPUtime=529.36 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 430601 0 0 0 52852 84 0 0 20 0 3 0 142722291 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 92054 75656 3310 3032 0 80187 0
[pid=724344/tid=724356] ppid=724341 vsize=368216 memory=302624 CPUtime=529.02 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 421616 0 0 0 52820 82 0 0 20 0 3 0 142722321 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=368216 memory=19140 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142722322 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 529.36 s
Current children cumulated vsize: 368216 KiB
Current children cumulated memory: 302624 KiB
[startup+532.8 s]
/proc/loadavg: 4.11 3.95 3.90 6/262 725154
/proc/meminfo: memFree=123476808/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=368216 memory=302624 CPUtime=530.96 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 430610 0 0 0 53012 84 0 0 20 0 3 0 142722291 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 92054 75656 3310 3032 0 80187 0
[pid=724344/tid=724356] ppid=724341 vsize=368216 memory=302624 CPUtime=530.62 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 421625 0 0 0 52979 83 0 0 20 0 3 0 142722321 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=368216 memory=583276 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142722322 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 530.96 s
Current children cumulated vsize: 368216 KiB
Current children cumulated memory: 302624 KiB
[startup+533.2 s]
/proc/loadavg: 4.10 3.95 3.90 5/262 725154
/proc/meminfo: memFree=123476856/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=368216 memory=302624 CPUtime=531.35 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 430610 0 0 0 53051 84 0 0 20 0 3 0 142722291 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 92054 75656 3310 3032 0 80187 0
[pid=724344/tid=724356] ppid=724341 vsize=368216 memory=17608 CPUtime=531.02 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 421625 0 0 0 53019 83 0 0 20 0 3 0 142722321 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=368216 memory=4121975849715236949 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142722322 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 531.35 s
Current children cumulated vsize: 368216 KiB
Current children cumulated memory: 302624 KiB
[startup+533.4 s]
/proc/loadavg: 4.10 3.95 3.90 5/262 725154
/proc/meminfo: memFree=123476856/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=368216 memory=302624 CPUtime=531.55 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 430620 0 0 0 53071 84 0 0 20 0 3 0 142722291 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 92054 75656 3310 3032 0 80187 0
[pid=724344/tid=724356] ppid=724341 vsize=368216 memory=5568 CPUtime=531.22 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 421635 0 0 0 53039 83 0 0 20 0 3 0 142722321 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=368216 memory=17608 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142722322 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 531.55 s
Current children cumulated vsize: 368216 KiB
Current children cumulated memory: 302624 KiB
[startup+533.5 s]
/proc/loadavg: 4.10 3.95 3.90 5/262 725154
/proc/meminfo: memFree=123476856/131524600 swapFree=131071996/131071996
[pid=724344] ppid=724341 vsize=368216 memory=302624 CPUtime=531.65 cores=4,6
/proc/724344/stat : 724344 (fscip) S 724341 724344 721052 0 -1 1077936128 430623 0 0 0 53081 84 0 0 20 0 3 0 142722291 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
/proc/724344/statm: 92054 75656 3310 3032 0 80187 0
[pid=724344/tid=724356] ppid=724341 vsize=368216 memory=291232 CPUtime=531.32 cores=4,6
/proc/724344/task/724356/stat : 724356 (fscip) R 724341 724344 721052 0 -1 4194368 421638 0 0 0 53049 83 0 0 20 0 3 0 142722321 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
[pid=724344/tid=724357] ppid=724341 vsize=368216 memory=291232 CPUtime=0 cores=4,6
/proc/724344/task/724357/stat : 724357 (fscip) S 724341 724344 721052 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142722322 377053184 75656 134679101440 4194304 16613245 140722596463696 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 57233408 140722596467681 140722596467797 140722596467797 140722596474864 0
Current children cumulated CPU time: 531.65 s
Current children cumulated vsize: 368216 KiB
Current children cumulated memory: 302624 KiB
Child status: 0
Real time (s): 533.591
CPU time (s): 531.756
CPU user time (s): 530.901
CPU system time (s): 0.855289
CPU usage (%): 99.6561
Max. virtual memory (cumulated for all children) (KiB): 368216
Max. memory (cumulated for all children) (KiB): 302624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 530.901
system time used= 0.855289
maximum resident set size= 302624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 431489
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= 1684
involuntary context switches= 603
# summary of solver processes directly reported to runsolver:
# pid: 724344
# total CPU time (s): 531.756
# total CPU user time (s): 530.901
# total CPU system time (s): 0.855289
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.02819 second user time and 2.51142 second system time
The end
Begin job on nodeC023 at 2024-07-13 23:19:46
IDJOB=4426771
IDBENCH=143539
IDSOLVER=3044
FILE ID=nodeC023/4426771-1720905573
RUNJOBID= nodeC023-1720905583-723470
SLURM_JOB_ID= 7486082
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900565534--soft-66-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-4426771-1720905573/watcher-4426771-1720905573 -o /tmp/evaluation-result-4426771-1720905573/solver-4426771-1720905573 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720905583-723470 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426771-1720905573.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ec2511efc2417fb1e9e041199c221bd7
RANDOM SEED=638280366
nodeC023.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 : 3657.064
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.61
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 : 3658.474
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.48
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 : 3599.911
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.61
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 : 3603.306
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.48
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 : 3600.074
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.61
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 : 3638.871
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.48
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 : 3656.990
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.61
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 : 3648.349
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128337992 kB
MemAvailable: 129572688 kB
Buffers: 333868 kB
Cached: 1730816 kB
SwapCached: 0 kB
Active: 553408 kB
Inactive: 2036748 kB
Active(anon): 1564 kB
Inactive(anon): 561624 kB
Active(file): 551844 kB
Inactive(file): 1475124 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 87724 kB
Writeback: 0 kB
AnonPages: 525564 kB
Mapped: 123592 kB
Shmem: 37720 kB
KReclaimable: 95100 kB
Slab: 197104 kB
SReclaimable: 95100 kB
SUnreclaim: 102004 kB
KernelStack: 4028 kB
PageTables: 9964 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 747932 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 55232 kB
HardwareCorrupted: 0 kB
AnonHugePages: 253952 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: 189140 kB
DirectMap2M: 15312896 kB
DirectMap1G: 120586240 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC023 at 2024-07-13 23:28:40