0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 30298112, getVmSize() = 30298112, SCIPgetMemUsed() = 6097010, SCIPgetMemTotal() = 8559442, SCIPgetMemExternEstim() = 4175707
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.10/0.16 c ** Estimated virtualMemUsedAtSolver = 26761898, getVmSize() = 49987584, SCIPgetMemUsed() = 14589499, SCIPgetMemTotal() = 26529299, SCIPgetMemExternEstim() = 4175707
0.10/0.16 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.10/0.16 c Original Problem :
0.10/0.16 c Problem name : instance-4464675-1722386996
0.10/0.16 c Variables : 756 (756 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.16 c Constraints : 3542
0.10/0.16 c Objective sense : minimize
0.10/0.16 c Presolved Problem :
0.10/0.16 c Variables : 750 (750 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.16 c Constraints : 3317
0.10/0.16 c Constraints : Number
0.10/0.16 c knapsack : 1
0.10/0.16 c setppc : 1425
0.10/0.16 c linear : 1
0.10/0.16 c logicor : 1890
0.10/0.16 c ** Instance transfer method used: 0
0.10/0.16 c ** ParaScipInstance copy does not increase the number of variables. **
0.10/0.17 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.17 c Nodes Active
0.10/0.17 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.76/5.88 c 6 23 22 1 - 0.0000 -
10.84/10.94 c 11 509 61 1 - 0.0000 -
16.24/16.30 c 16 648 129 1 - 0.0000 -
21.43/21.55 c 22 831 198 1 - 0.0000 -
26.92/27.02 c 27 1053 1 1 - 0.0000 -
32.00/32.17 c 32 1435 22 1 - 0.0000 -
37.08/37.26 c 37 1821 19 1 - 0.0000 -
42.17/42.35 c 42 2206 22 1 - 0.0000 -
48.76/48.93 c 49 2466 31 1 - 0.0000 -
53.95/54.16 c 54 2730 49 1 - 0.0000 -
59.13/59.38 c 59 2947 62 1 - 0.0000 -
64.42/64.68 c 65 3147 96 1 - 0.0000 -
70.20/70.45 c 70 3399 95 1 - 0.0000 -
75.29/75.55 c 76 3647 116 1 - 0.0000 -
80.38/80.64 c 81 3993 109 1 - 0.0000 -
85.57/85.80 c 86 4325 119 1 - 0.0000 -
90.76/91.07 c 91 4614 125 1 - 0.0000 -
96.04/96.35 c 96 4976 122 1 - 0.0000 -
101.23/101.54 c 102 5235 134 1 - 0.0000 -
106.22/106.59 c 107 5517 151 1 - 0.0000 -
111.31/111.67 c 112 5806 173 1 - 0.0000 -
116.40/116.76 c 117 6224 172 1 - 0.0000 -
121.58/121.98 c 122 6555 175 1 - 0.0000 -
127.67/128.06 c 128 6753 189 1 - 0.0000 -
132.85/133.29 c 133 7003 208 1 - 0.0000 -
138.24/138.63 c 139 7277 220 1 - 0.0000 -
144.43/144.82 c 145 7501 235 1 - 0.0000 -
149.41/149.89 c 150 7833 250 1 - 0.0000 -
154.60/155.09 c 155 8150 257 1 - 0.0000 -
159.69/160.18 c 160 8478 267 1 - 0.0000 -
164.98/165.40 c 165 8726 284 1 - 0.0000 -
170.27/170.77 c 171 9054 289 1 - 0.0000 -
175.56/176.06 c 176 9450 290 1 - 0.0000 -
180.84/181.33 c 181 9737 293 1 - 0.0000 -
185.92/186.45 c 186 10055 298 1 - 0.0000 -
191.01/191.56 c 192 10415 296 1 - 0.0000 -
196.20/196.75 c 197 10697 297 1 - 0.0000 -
201.29/201.85 c 202 10983 319 1 - 0.0000 -
206.68/207.25 c 207 11317 307 1 - 0.0000 -
212.07/212.69 c 213 11651 313 1 - 0.0000 -
217.15/217.79 c 218 11952 328 1 - 0.0000 -
222.34/222.96 c 223 12334 326 1 - 0.0000 -
227.43/228.05 c 228 12707 322 1 - 0.0000 -
232.61/233.28 c 233 13060 316 1 - 0.0000 -
238.19/238.83 c 239 13302 324 1 - 0.0000 -
243.29/243.95 c 244 13590 329 1 - 0.0000 -
248.58/249.23 c 249 13952 327 1 - 0.0000 -
253.66/254.30 c 254 14299 323 1 - 0.0000 -
258.65/259.36 c 259 14680 321 1 - 0.0000 -
263.74/264.49 c 264 14977 325 1 - 0.0000 -
269.02/269.70 c 270 15270 330 1 - 0.0000 -
274.11/274.86 c 275 15582 320 1 - 0.0000 -
279.40/280.18 c 280 15902 336 1 - 0.0000 -
284.49/285.25 c 285 16241 336 1 - 0.0000 -
289.58/290.32 c 290 16621 324 1 - 0.0000 -
294.66/295.40 c 295 16967 312 1 - 0.0000 -
299.75/300.51 c 301 17334 305 1 - 0.0000 -
305.03/305.89 c 306 17632 312 1 - 0.0000 -
310.13/310.97 c 311 18053 302 1 - 0.0000 -
315.61/316.45 c 316 18357 311 1 - 0.0000 -
320.70/321.54 c 322 18631 314 1 - 0.0000 -
326.19/327.06 c 327 18932 313 1 - 0.0000 -
331.37/332.28 c 332 19266 296 1 - 0.0000 -
336.86/337.74 c 338 19652 296 1 - 0.0000 -
341.95/342.87 c 343 19974 292 1 - 0.0000 -
347.04/347.95 c 348 20236 293 1 - 0.0000 -
352.23/353.11 c 353 20557 290 1 - 0.0000 -
357.31/358.22 c 358 20912 288 1 - 0.0000 -
362.39/363.39 c 363 21234 285 1 - 0.0000 -
367.49/368.47 c 368 21559 282 1 - 0.0000 -
372.58/373.56 c 374 21911 285 1 - 0.0000 -
377.66/378.63 c 379 22214 279 1 - 0.0000 -
382.75/383.73 c 384 22536 279 1 - 0.0000 -
387.93/388.96 c 389 22895 274 1 - 0.0000 -
393.03/394.07 c 394 23260 276 1 - 0.0000 -
398.11/399.15 c 399 23596 271 1 - 0.0000 -
403.39/404.49 c 404 23923 270 1 - 0.0000 -
408.48/409.56 c 410 24260 269 1 - 0.0000 -
413.57/414.68 c 415 24579 266 1 - 0.0000 -
418.65/419.74 c 420 25042 256 1 - 0.0000 -
423.75/424.80 c 425 25368 250 1 - 0.0000 -
428.73/429.88 c 430 25753 242 1 - 0.0000 -
434.22/435.39 c 435 26081 238 1 - 0.0000 -
439.30/440.47 c 440 26415 242 1 - 0.0000 -
444.39/445.57 c 446 26710 235 1 - 0.0000 -
449.48/450.67 c 451 27060 225 1 - 0.0000 -
454.66/455.84 c 456 27376 228 1 - 0.0000 -
459.66/460.88 c 461 27737 223 1 - 0.0000 -
464.85/466.01 c 466 28005 217 1 - 0.0000 -
469.83/471.06 c 471 28403 207 1 - 0.0000 -
474.92/476.14 c 476 28763 205 1 - 0.0000 -
480.00/481.21 c 481 29097 203 1 - 0.0000 -
485.09/486.35 c 486 29501 193 1 - 0.0000 -
490.18/491.47 c 491 29831 190 1 - 0.0000 -
495.26/496.55 c 497 30225 184 1 - 0.0000 -
500.35/501.68 c 502 30542 186 1 - 0.0000 -
505.44/506.75 c 507 30843 189 1 - 0.0000 -
510.53/511.81 c 512 31213 180 1 - 0.0000 -
515.62/516.92 c 517 31537 180 1 - 0.0000 -
520.60/521.98 c 522 31937 168 1 - 0.0000 -
525.70/527.07 c 527 32278 168 1 - 0.0000 -
530.88/532.26 c 532 32642 159 1 - 0.0000 -
535.97/537.34 c 537 33057 147 1 - 0.0000 -
541.25/542.60 c 543 33405 140 1 - 0.0000 -
546.34/547.71 c 548 33673 135 1 - 0.0000 -
551.73/553.11 c 553 34007 121 1 - 0.0000 -
556.81/558.26 c 558 34341 105 1 - 0.0000 -
561.90/563.33 c 563 34658 102 1 - 0.0000 -
566.99/568.41 c 568 34996 105 1 - 0.0000 -
572.37/573.87 c 574 35368 93 1 - 0.0000 -
577.46/578.95 c 579 35707 89 1 - 0.0000 -
582.55/584.01 c 584 36086 81 1 - 0.0000 -
587.64/589.19 c 589 36424 75 1 - 0.0000 -
592.73/594.28 c 594 36812 69 1 - 0.0000 -
597.82/599.34 c 599 37137 64 1 - 0.0000 -
602.90/604.43 c 604 37497 56 1 - 0.0000 -
607.89/609.49 c 609 37819 51 1 - 0.0000 -
613.27/614.80 c 615 38206 49 1 - 0.0000 -
618.36/619.92 c 620 38547 44 1 - 0.0000 -
623.35/624.98 c 625 38870 42 1 - 0.0000 -
628.44/630.08 c 630 39210 38 1 - 0.0000 -
633.52/635.14 c 635 39580 34 1 - 0.0000 -
638.70/640.33 c 640 39941 28 1 - 0.0000 -
643.79/645.40 c 645 40305 24 1 - 0.0000 -
648.88/650.50 c 650 40687 21 1 - 0.0000 -
653.86/655.58 c 656 41077 16 1 - 0.0000 -
658.95/660.63 c 661 41461 13 1 - 0.0000 -
664.04/665.71 c 666 41859 8 1 - 0.0000 -
669.12/670.85 c 671 42218 2 1 - 0.0000 -
669.72/671.40 c 671 42272 0 0 - 0.0000 -
669.83/671.50 c 672 42272 0 0 - 0.0000 -
669.83/671.50 c SCIP Status : c problem is solved [infeasible]
669.83/671.50 c Total Time : 671.5000
669.83/671.50 c solving : 671.5000
669.83/671.50 c presolving : 0.1485 (included in solving)
669.83/671.50 c B&B Tree :
669.83/671.50 c nodes (total) : 42272
669.83/671.50 c Solution :
669.83/671.50 c Solutions found : 0
669.83/671.50 c Primal Bound : -
669.83/671.50 c Dual Bound : -
669.83/671.50 c Gap : -
669.83/671.51 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (57165 MiB free)
memory of node 1: 64510 MiB (60170 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464675-1722386996/watcher-4464675-1722386996 -o /tmp/evaluation-result-4464675-1722386996/solver-4464675-1722386996 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27904 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464675-1722386996.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=32904, runsolver pid=32901
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.17 4.11 4.09 5/260 32905
/proc/meminfo: memFree=120135868/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=37172 memory=27196 CPUtime=0.1 cores=4,6
/proc/32904/stat : 32904 (fscip) R 32901 32904 27893 0 -1 4194304 4516 0 0 0 10 0 0 0 20 0 1 0 5297547 38064128 6799 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 9293 6799 2758 3035 0 5689 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37172 KiB
Current children cumulated memory: 27196 KiB
[startup+0.20592 s]*
/proc/loadavg: 4.15 4.11 4.09 6/262 32907
/proc/meminfo: memFree=120110276/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=136052 memory=52452 CPUtime=0.19 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 11600 0 0 0 19 0 0 0 20 0 3 0 5297547 139317248 13113 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 34013 13113 2790 3035 0 17209 0
[pid=32904/tid=32906] ppid=32901 vsize=136052 memory=8505393642823811203 CPUtime=0.03 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 3866 0 0 0 3 0 0 0 20 0 3 0 5297563 139317248 13113 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=136052 memory=18990 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5297564 139317248 13113 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 136052 KiB
Current children cumulated memory: 52452 KiB
[startup+0.304907 s]*
/proc/loadavg: 4.15 4.11 4.09 5/262 32907
/proc/meminfo: memFree=120099916/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=139432 memory=62900 CPUtime=0.29 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 14139 0 0 0 28 1 0 0 20 0 3 0 5297547 142778368 15725 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 34858 15725 2934 3035 0 19912 0
[pid=32904/tid=32906] ppid=32901 vsize=139432 memory=-5155634612963797893 CPUtime=0.12 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 6405 0 0 0 12 0 0 0 20 0 3 0 5297563 142778368 15725 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=139432 memory=0 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5297564 142778368 15725 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 139432 KiB
Current children cumulated memory: 62900 KiB
[startup+0.700176 s]
/proc/loadavg: 4.15 4.11 4.09 5/262 32907
/proc/meminfo: memFree=120099244/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=139432 memory=63688 CPUtime=0.68 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 14340 0 0 0 67 1 0 0 20 0 3 0 5297547 142778368 15922 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 34858 15922 2934 3035 0 20130 0
[pid=32904/tid=32906] ppid=32901 vsize=139432 memory=0 CPUtime=0.5 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 6606 0 0 0 50 0 0 0 20 0 3 0 5297563 142778368 15922 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=139432 memory=0 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5297564 142778368 15922 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 139432 KiB
Current children cumulated memory: 63688 KiB
[startup+1.50025 s]
/proc/loadavg: 4.15 4.11 4.09 5/262 32907
/proc/meminfo: memFree=120078616/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=139432 memory=97796 CPUtime=1.47 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 29791 0 0 0 145 2 0 0 20 0 3 0 5297547 142778368 24449 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 34858 24449 2950 3035 0 29214 0
[pid=32904/tid=32906] ppid=32901 vsize=139432 memory=0 CPUtime=1.3 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 22057 0 0 0 128 2 0 0 20 0 3 0 5297563 142778368 24449 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=139432 memory=0 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5297564 142778368 24449 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 139432 KiB
Current children cumulated memory: 97796 KiB
[startup+3.10528 s]
/proc/loadavg: 4.15 4.11 4.09 5/262 32907
/proc/meminfo: memFree=120037392/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=204968 memory=125416 CPUtime=3.07 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 38242 0 0 0 303 4 0 0 20 0 3 0 5297547 209887232 31354 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 51242 31354 2950 3035 0 38193 0
[pid=32904/tid=32906] ppid=32901 vsize=204968 memory=0 CPUtime=2.9 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 30482 0 0 0 287 3 0 0 20 0 3 0 5297563 209887232 31354 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=204968 memory=2209 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5297564 209887232 31354 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 204968 KiB
Current children cumulated memory: 125416 KiB
[startup+6.30023 s]
/proc/loadavg: 4.14 4.11 4.09 5/262 32909
/proc/meminfo: memFree=120036248/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=204968 memory=126844 CPUtime=6.25 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 52413 0 0 0 621 4 0 0 20 0 3 0 5297547 209887232 31711 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 51242 31711 2966 3035 0 38245 0
[pid=32904/tid=32906] ppid=32901 vsize=204968 memory=0 CPUtime=6.09 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 44624 0 0 0 605 4 0 0 20 0 3 0 5297563 209887232 31711 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=204968 memory=0 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5297564 209887232 31711 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 204968 KiB
Current children cumulated memory: 126844 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/262 32909
/proc/meminfo: memFree=120020848/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=204968 memory=141696 CPUtime=12.64 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 89006 0 0 0 1257 7 0 0 20 0 3 0 5297547 209887232 35424 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 51242 35424 3014 3035 0 41803 0
[pid=32904/tid=32906] ppid=32901 vsize=204968 memory=131916 CPUtime=12.48 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 81158 0 0 0 1241 7 0 0 20 0 3 0 5297563 209887232 35424 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=204968 memory=11712 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5297564 209887232 35424 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 204968 KiB
Current children cumulated memory: 141696 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 32912
/proc/meminfo: memFree=119999512/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=204968 memory=162812 CPUtime=25.42 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 157084 0 0 0 2529 13 0 0 20 0 3 0 5297547 209887232 40703 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 51242 40703 3014 3035 0 46754 0
[pid=32904/tid=32906] ppid=32901 vsize=204968 memory=154664 CPUtime=25.24 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 149143 0 0 0 2512 12 0 0 20 0 3 0 5297563 209887232 40703 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=204968 memory=11712 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5297564 209887232 40703 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 204968 KiB
Current children cumulated memory: 162812 KiB
[startup+51.1054 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 32920
/proc/meminfo: memFree=119862204/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=270504 memory=190084 CPUtime=50.96 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 229634 0 0 0 5078 18 0 0 20 0 3 0 5297547 276996096 47521 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 67626 47521 3014 3035 0 52756 0
[pid=32904/tid=32906] ppid=32901 vsize=270504 memory=188448 CPUtime=50.79 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 221593 0 0 0 5062 17 0 0 20 0 3 0 5297563 276996096 47521 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=270504 memory=188740 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5297564 276996096 47521 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 270504 KiB
Current children cumulated memory: 190084 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 32930
/proc/meminfo: memFree=119846500/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=272540 memory=199208 CPUtime=102.03 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 304394 0 0 0 10180 23 0 0 20 0 3 0 5297547 279080960 49802 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 68135 49802 3014 3035 0 55784 0
[pid=32904/tid=32906] ppid=32901 vsize=272540 memory=198916 CPUtime=101.86 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 296252 0 0 0 10163 23 0 0 20 0 3 0 5297563 279080960 49802 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=272540 memory=193472 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 5297564 279080960 49802 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 272540 KiB
Current children cumulated memory: 199208 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 32940
/proc/meminfo: memFree=119832340/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=276360 memory=211712 CPUtime=161.88 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 354201 0 0 0 16160 28 0 0 20 0 3 0 5297547 282992640 52928 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 69090 52928 3014 3035 0 58130 0
[pid=32904/tid=32906] ppid=32901 vsize=276360 memory=1932 CPUtime=161.71 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 346002 0 0 0 16143 28 0 0 20 0 3 0 5297563 282992640 52928 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=276360 memory=193448 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5297564 282992640 52928 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 276360 KiB
Current children cumulated memory: 211712 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 32950
################
# More data... #
################
/proc/32904/statm: 74108 58210 3014 3035 0 65496 0
[pid=32904/tid=32906] ppid=32901 vsize=296432 memory=11712 CPUtime=520.8 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 526186 0 0 0 52031 49 0 0 20 0 3 0 5297563 303546368 58210 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=296432 memory=232504 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 5297564 303546368 58210 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 521 s
Current children cumulated vsize: 296432 KiB
Current children cumulated memory: 232840 KiB
[startup+582.3 s]
/proc/loadavg: 4.36 4.26 4.15 5/267 33572
/proc/meminfo: memFree=119727816/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=296432 memory=234996 CPUtime=580.85 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 558144 0 0 0 58032 53 0 0 20 0 3 0 5297547 303546368 58749 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 74108 58749 3014 3035 0 65496 0
[pid=32904/tid=32906] ppid=32901 vsize=296432 memory=11712 CPUtime=580.65 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 549689 0 0 0 58013 52 0 0 20 0 3 0 5297563 303546368 58749 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=296432 memory=234996 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 5297564 303546368 58749 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 580.85 s
Current children cumulated vsize: 296432 KiB
Current children cumulated memory: 234996 KiB
[startup+642.3 s]
/proc/loadavg: 4.31 4.27 4.16 5/265 33583
/proc/meminfo: memFree=119719928/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=301608 memory=237324 CPUtime=640.7 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 583987 0 0 0 64014 56 0 0 20 0 3 0 5297547 308846592 59331 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 75402 59331 3014 3035 0 66790 0
[pid=32904/tid=32906] ppid=32901 vsize=301608 memory=11712 CPUtime=640.5 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 575500 0 0 0 63995 55 0 0 20 0 3 0 5297563 308846592 59331 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=301608 memory=236180 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 5297564 308846592 59331 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 640.7 s
Current children cumulated vsize: 301608 KiB
Current children cumulated memory: 237324 KiB
[startup+671.519 s]
# the end of solver process 32904 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=669.273 s, system=0.583532 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+652.8 s]
/proc/loadavg: 4.26 4.26 4.16 5/268 33589
/proc/meminfo: memFree=119718392/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=301608 memory=237324 CPUtime=651.17 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 584221 0 0 0 65061 56 0 0 20 0 3 0 5297547 308846592 59331 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 75402 59331 3014 3035 0 66790 0
[pid=32904/tid=32906] ppid=32901 vsize=301608 memory=12552 CPUtime=650.97 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 575734 0 0 0 65042 55 0 0 20 0 3 0 5297563 308846592 59331 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=301608 memory=5492 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 5297564 308846592 59331 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 651.17 s
Current children cumulated vsize: 301608 KiB
Current children cumulated memory: 237324 KiB
[startup+659.2 s]
/proc/loadavg: 4.24 4.25 4.16 5/268 33592
/proc/meminfo: memFree=119717888/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=301608 memory=237684 CPUtime=657.55 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 584512 0 0 0 65699 56 0 0 20 0 3 0 5297547 308846592 59421 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 75402 59421 3014 3035 0 66790 0
[pid=32904/tid=32906] ppid=32901 vsize=301608 memory=237324 CPUtime=657.35 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 576025 0 0 0 65680 55 0 0 20 0 3 0 5297563 308846592 59421 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=301608 memory=237324 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 5297564 308846592 59421 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 657.55 s
Current children cumulated vsize: 301608 KiB
Current children cumulated memory: 237684 KiB
[startup+665.6 s]
/proc/loadavg: 4.22 4.25 4.16 5/269 33607
/proc/meminfo: memFree=119716428/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=301608 memory=237684 CPUtime=663.94 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 584684 0 0 0 66338 56 0 0 20 0 3 0 5297547 308846592 59421 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 75402 59421 3014 3035 0 66790 0
[pid=32904/tid=32906] ppid=32901 vsize=301608 memory=233100 CPUtime=663.74 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 576197 0 0 0 66319 55 0 0 20 0 3 0 5297563 308846592 59421 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=301608 memory=235572 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 5297564 308846592 59421 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 663.94 s
Current children cumulated vsize: 301608 KiB
Current children cumulated memory: 237684 KiB
[startup+668.8 s]
/proc/loadavg: 4.20 4.25 4.16 5/269 33607
/proc/meminfo: memFree=119717028/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=301608 memory=237684 CPUtime=667.13 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 584738 0 0 0 66657 56 0 0 20 0 3 0 5297547 308846592 59421 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 75402 59421 3014 3035 0 66790 0
[pid=32904/tid=32906] ppid=32901 vsize=301608 memory=237684 CPUtime=666.93 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 576251 0 0 0 66638 55 0 0 20 0 3 0 5297563 308846592 59421 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=301608 memory=11712 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 5297564 308846592 59421 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 667.13 s
Current children cumulated vsize: 301608 KiB
Current children cumulated memory: 237684 KiB
[startup+670.4 s]
/proc/loadavg: 4.20 4.25 4.16 5/269 33607
/proc/meminfo: memFree=119717028/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=301608 memory=237684 CPUtime=668.73 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 584771 0 0 0 66817 56 0 0 20 0 3 0 5297547 308846592 59421 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 75402 59421 3014 3035 0 66790 0
[pid=32904/tid=32906] ppid=32901 vsize=301608 memory=237684 CPUtime=668.52 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 576284 0 0 0 66797 55 0 0 20 0 3 0 5297563 308846592 59421 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=301608 memory=13204 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 5297564 308846592 59421 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 668.73 s
Current children cumulated vsize: 301608 KiB
Current children cumulated memory: 237684 KiB
[startup+671.2 s]
/proc/loadavg: 4.19 4.24 4.16 5/269 33607
/proc/meminfo: memFree=119716972/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=301608 memory=237684 CPUtime=669.52 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 584778 0 0 0 66896 56 0 0 20 0 3 0 5297547 308846592 59421 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 75402 59421 3014 3035 0 66790 0
[pid=32904/tid=32906] ppid=32901 vsize=301608 memory=11712 CPUtime=669.32 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 576291 0 0 0 66877 55 0 0 20 0 3 0 5297563 308846592 59421 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=301608 memory=12772 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 5297564 308846592 59421 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 669.52 s
Current children cumulated vsize: 301608 KiB
Current children cumulated memory: 237684 KiB
[startup+671.4 s]
/proc/loadavg: 4.19 4.24 4.16 5/269 33607
/proc/meminfo: memFree=119716972/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=301608 memory=237684 CPUtime=669.72 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 584781 0 0 0 66916 56 0 0 20 0 3 0 5297547 308846592 59421 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 75402 59421 3014 3035 0 66790 0
[pid=32904/tid=32906] ppid=32901 vsize=301608 memory=108 CPUtime=669.52 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 576294 0 0 0 66897 55 0 0 20 0 3 0 5297563 308846592 59421 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=301608 memory=-7019541185795548544 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 5297564 308846592 59421 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 669.72 s
Current children cumulated vsize: 301608 KiB
Current children cumulated memory: 237684 KiB
[startup+671.5 s]
/proc/loadavg: 4.19 4.24 4.16 5/269 33607
/proc/meminfo: memFree=119716972/131524600 swapFree=131071996/131071996
[pid=32904] ppid=32901 vsize=264260 memory=204216 CPUtime=669.83 cores=4,6
/proc/32904/stat : 32904 (fscip) S 32901 32904 27893 0 -1 1077936128 587273 0 0 0 66926 57 0 0 20 0 3 0 5297547 270602240 51054 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
/proc/32904/statm: 66065 51054 3014 3035 0 57453 0
[pid=32904/tid=32906] ppid=32901 vsize=263320 memory=11712 CPUtime=669.62 cores=4,6
/proc/32904/task/32906/stat : 32906 (fscip) R 32901 32904 27893 0 -1 4194368 578787 0 0 0 66907 55 0 0 20 0 3 0 5297563 269639680 51054 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
[pid=32904/tid=32907] ppid=32901 vsize=263320 memory=236180 CPUtime=0 cores=4,6
/proc/32904/task/32907/stat : 32907 (fscip) S 32901 32904 27893 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 5297564 269639680 51054 134679101440 4194304 16623229 140727920111968 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 36962304 140727920120854 140727920120970 140727920120970 140727920127984 0
Current children cumulated CPU time: 669.83 s
Current children cumulated vsize: 264260 KiB
Current children cumulated memory: 204216 KiB
Child status: 0
Real time (s): 671.519
CPU time (s): 669.857
CPU user time (s): 669.273
CPU system time (s): 0.583532
CPU usage (%): 99.7524
Max. virtual memory (cumulated for all children) (KiB): 301608
Max. memory (cumulated for all children) (KiB): 237684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 669.273
system time used= 0.583532
maximum resident set size= 237684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 591396
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= 2011
involuntary context switches= 497
# summary of solver processes directly reported to runsolver:
# pid: 32904
# total CPU time (s): 669.857
# total CPU user time (s): 669.273
# total CPU system time (s): 0.583532
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.27552 second user time and 3.09513 second system time
The end
Begin job on nodeC020 at 2024-07-31 02:49:56
IDJOB=4464675
IDBENCH=162834
IDSOLVER=3092
FILE ID=nodeC020/4464675-1722386996
RUNJOBID= nodeC020-1722378594-27904
SLURM_JOB_ID= 8249843
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_19.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464675-1722386996/watcher-4464675-1722386996 -o /tmp/evaluation-result-4464675-1722386996/solver-4464675-1722386996 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27904 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464675-1722386996.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 93c30ced4b5200d34eb31ee4d6abbd8b
RANDOM SEED=888329659
nodeC020.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 : 3670.020
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 : 7000.38
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 : 3688.985
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 : 7007.00
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 : 3602.572
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 : 7000.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.406
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 : 7007.00
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 : 3663.424
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 : 7000.38
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 : 3688.979
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 : 7007.00
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 : 3674.382
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 : 7000.38
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.389
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 : 7007.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120152716 kB
MemAvailable: 127895932 kB
Buffers: 107180 kB
Cached: 8450364 kB
SwapCached: 0 kB
Active: 270892 kB
Inactive: 10580996 kB
Active(anon): 1584 kB
Inactive(anon): 2314072 kB
Active(file): 269308 kB
Inactive(file): 8266924 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28320 kB
Writeback: 32 kB
AnonPages: 2292292 kB
Mapped: 124812 kB
Shmem: 21336 kB
KReclaimable: 93264 kB
Slab: 175540 kB
SReclaimable: 93264 kB
SUnreclaim: 82276 kB
KernelStack: 4112 kB
PageTables: 13808 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2052620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9920 kB
HardwareCorrupted: 0 kB
AnonHugePages: 559104 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: 193236 kB
DirectMap2M: 10065920 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC020 at 2024-07-31 03:01:08