0.00/0.00 c initialize IPBHS solver
0.00/0.00 c IPBHS 0.0.0 beta (8d0f613-dirty, Jun 3 2025 11:36:14), compiled with satsolvers: , optimizers: , GreedyOptimizer, SCIP 10.0.0, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.00 c optimizer = "scip"
0.00/0.00 c pbsolver = "roundingsat"
0.00/0.00 c use separate pbsolver for SIS
0.00/0.00 c load symmetries from file ""
0.00/0.00 c set time limit for symmetry computation to 100 seconds.
0.00/0.00 c set interchangeable summation variable limit to 3
0.00/0.00 c set sym compact max subset size to 5
0.00/0.00 c set explicit symmetry matrix usage to 1
0.00/0.00 c sym budget explicit to 100
0.00/0.00 c sym budget explicit lits to 6000
0.00/0.00 c sym budget compact to 100
0.00/0.00 c sym budget compact lits to 6000
0.00/0.00 c sym budget common to 0
0.00/0.00 c sym budget common lits to 0
0.00/0.00 c set sym generation to 's'
0.00/0.00 c set abstraction set creation to 10 iterations without LB change
0.00/0.00 c set abstraction set inputs to 0
0.00/0.00 c set abstraction set cluster min size to 2
0.00/0.00 c set abstraction set cluster max size to 100000000
0.00/0.00 c set abstraction set cluster activation limit to 2
0.00/0.00 c enable abstraction set require equal cost
0.00/0.00 c set abstraction set assumptions to 0
0.00/0.00 c set abstraction set constraint type to 0
0.00/0.00 c set abstract core extraction strategy to b
0.00/0.00 c set core extraction strategy to 2
0.00/0.00 c set core extraction shuffles 10
0.00/0.00 c set cores per iteration to 5
0.00/0.00 c set optimizer bound usage strategy to 2
0.00/0.00 c set optimizer max non-optimal iterations to 1000
0.00/0.00 c set small core cardinality limit to 2
0.00/0.00 c set max coef in cores to 1000000000
0.00/0.00 c set core processing techniques to 4095
0.00/0.00 c set SIS iterations to 5
0.00/0.00 c set SIS budget abs to 1000
0.00/0.00 c set SIS budget rel to 0.05
23.93/24.03 c limit for coefficient in constraints and objective to 1000000000
23.93/24.03 c will solve HOME/instance-4502908-1751432155.opb
23.93/24.03 c [0.11] will start solving
165.63/166.16 [src/blockmemshell/memory.c:1066] ERROR: Insufficient memory for allocation of 266075008 bytes.
165.63/166.16 [src/scip/symmetry_graph.c:772] ERROR: Insufficient memory for new chunk.
165.63/166.16 [symmetry_graph.c:772] ERROR: Error <-1> in function call
165.63/166.16 [symmetry_graph.c:801] ERROR: Error <-1> in function call
165.63/166.16 [symmetry_graph.c:428] ERROR: Error <-1> in function call
165.63/166.16 [cons_linear.c:15211] ERROR: Error <-1> in function call
165.63/166.16 [cons_linear.c:17253] ERROR: Error <-1> in function call
165.63/166.16 [cons.c:6435] ERROR: Error <-1> in function call
165.63/166.16 [scip_cons.c:2669] ERROR: Error <-1> in function call
165.63/166.16 [prop_symmetry.c:1889] ERROR: Error <-1> in function call
165.63/166.16 [prop_symmetry.c:2357] ERROR: Error <-1> in function call
165.63/166.16 [prop_symmetry.c:7367] ERROR: Error <-1> in function call
165.63/166.16 [prop_symmetry.c:7591] ERROR: Error <-1> in function call
165.63/166.16 [prop.c:605] ERROR: Error <-1> in function call
165.63/166.16 [scip_solve.c:946] ERROR: Error <-1> in function call
165.63/166.16 [scip_solve.c:1095] ERROR: Error <-1> in function call
165.63/166.16 [scip_solve.c:1095] ERROR: Error <-1> in function call
165.63/166.16 [scip_solve.c:1266] ERROR: Error <-1> in function call
165.63/166.16 [scip_solve.c:2429] ERROR: Error <-1> in function call
165.63/166.16 [scip_solve.c:2667] ERROR: Error <-1> in function call
165.63/166.16 [scip_optimizer.cpp:254] ERROR: Error <-1> in function call
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: 63665 MiB (61097 MiB free)
memory of node 1: 64507 MiB (62457 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502908-1751432155/watcher-4502908-1751432155 -o /tmp/evaluation-result-4502908-1751432155/solver-4502908-1751432155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751428542-66634 --watchdog 3760 ./ipbhs_scip HOME/instance-4502908-1751432155.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=67142, runsolver pid=67139
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.24 4.14 4.10 5/263 67143
/proc/meminfo: memFree=126108540/131250000 swapFree=33010684/33010684
[pid=67142] ppid=67139 vsize=393280 memory=358000 CPUtime=0.09 cores=0,2
/proc/67142/stat : 67142 (ipbhs_scip) R 67139 67142 66624 0 -1 4194304 2783 0 0 0 3 6 0 0 20 0 1 0 58896116 402718720 89500 18446744073709551615 94880453996544 94880465422941 140732787077040 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94880467558616 94880467603634 94880476364800 140732787083666 140732787083785 140732787083785 140732787089387 0
/proc/67142/statm: 98320 89500 1568 2790 0 91745 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 393280 KiB
Current children cumulated memory: 358000 KiB
[startup+0.205359 s]*
/proc/loadavg: 4.24 4.14 4.10 5/263 67143
/proc/meminfo: memFree=126074644/131250000 swapFree=33010684/33010684
[pid=67142] ppid=67139 vsize=415872 memory=377680 CPUtime=0.19 cores=0,2
/proc/67142/stat : 67142 (ipbhs_scip) R 67139 67142 66624 0 -1 4194304 7184 0 0 0 12 7 0 0 20 0 1 0 58896116 425852928 94420 18446744073709551615 94880453996544 94880465422941 140732787077040 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94880467558616 94880467603634 94880476364800 140732787083666 140732787083785 140732787083785 140732787089387 0
/proc/67142/statm: 103968 94420 1568 2790 0 97393 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 415872 KiB
Current children cumulated memory: 377680 KiB
[startup+0.305318 s]*
/proc/loadavg: 4.24 4.14 4.10 5/263 67143
/proc/meminfo: memFree=126041632/131250000 swapFree=33010684/33010684
[pid=67142] ppid=67139 vsize=426096 memory=385744 CPUtime=0.29 cores=0,2
/proc/67142/stat : 67142 (ipbhs_scip) R 67139 67142 66624 0 -1 4194304 9211 0 0 0 21 8 0 0 20 0 1 0 58896116 436322304 96436 18446744073709551615 94880453996544 94880465422941 140732787077040 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94880467558616 94880467603634 94880476364800 140732787083666 140732787083785 140732787083785 140732787089387 0
/proc/67142/statm: 106524 96436 1568 2790 0 99949 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 426096 KiB
Current children cumulated memory: 385744 KiB
[startup+0.700136 s]
/proc/loadavg: 4.24 4.14 4.10 5/263 67143
/proc/meminfo: memFree=125937052/131250000 swapFree=33010684/33010684
[pid=67142] ppid=67139 vsize=463876 memory=417104 CPUtime=0.68 cores=0,2
/proc/67142/stat : 67142 (ipbhs_scip) R 67139 67142 66624 0 -1 4194304 17039 0 0 0 58 10 0 0 20 0 1 0 58896116 475009024 104276 18446744073709551615 94880453996544 94880465422941 140732787077040 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94880467558616 94880467603634 94880476364800 140732787083666 140732787083785 140732787083785 140732787089387 0
/proc/67142/statm: 115969 104276 1568 2790 0 109394 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 463876 KiB
Current children cumulated memory: 417104 KiB
[startup+1.50014 s]
/proc/loadavg: 4.24 4.14 4.10 5/263 67143
/proc/meminfo: memFree=125358136/131250000 swapFree=33010684/33010684
[pid=67142] ppid=67139 vsize=540836 memory=481488 CPUtime=1.48 cores=0,2
/proc/67142/stat : 67142 (ipbhs_scip) R 67139 67142 66624 0 -1 4194304 33140 0 0 0 135 13 0 0 20 0 1 0 58896116 553816064 120372 18446744073709551615 94880453996544 94880465422941 140732787077040 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94880467558616 94880467603634 94880476364800 140732787083666 140732787083785 140732787083785 140732787089387 0
/proc/67142/statm: 135209 120372 1568 2790 0 128634 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 540836 KiB
Current children cumulated memory: 481488 KiB
[startup+3.1052 s]
/proc/loadavg: 4.22 4.14 4.10 5/263 67143
/proc/meminfo: memFree=124508856/131250000 swapFree=33010684/33010684
[pid=67142] ppid=67139 vsize=695056 memory=610256 CPUtime=3.08 cores=0,2
/proc/67142/stat : 67142 (ipbhs_scip) R 67139 67142 66624 0 -1 4194304 65327 0 0 0 286 22 0 0 20 0 1 0 58896116 711737344 152564 18446744073709551615 94880453996544 94880465422941 140732787077040 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94880467558616 94880467603634 94880476364800 140732787083666 140732787083785 140732787083785 140732787089387 0
/proc/67142/statm: 173764 152564 1568 2790 0 167189 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 695056 KiB
Current children cumulated memory: 610256 KiB
[startup+6.30014 s]
/proc/loadavg: 4.22 4.14 4.10 5/263 67143
/proc/meminfo: memFree=122479840/131250000 swapFree=33010684/33010684
[pid=67142] ppid=67139 vsize=1004268 memory=867152 CPUtime=6.27 cores=0,2
/proc/67142/stat : 67142 (ipbhs_scip) R 67139 67142 66624 0 -1 4194304 129546 0 0 0 591 36 0 0 20 0 1 0 58896116 1028370432 216788 18446744073709551615 94880453996544 94880465422941 140732787077040 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94880467558616 94880467603634 94880476364800 140732787083666 140732787083785 140732787083785 140732787089387 0
/proc/67142/statm: 251067 216788 1568 2790 0 244492 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1004268 KiB
Current children cumulated memory: 867152 KiB
[startup+12.7001 s]
/proc/loadavg: 4.34 4.17 4.11 5/263 67143
/proc/meminfo: memFree=121076516/131250000 swapFree=33010684/33010684
[pid=67142] ppid=67139 vsize=1615364 memory=1385068 CPUtime=12.65 cores=0,2
/proc/67142/stat : 67142 (ipbhs_scip) R 67139 67142 66624 0 -1 4194304 258511 0 0 0 1199 66 0 0 20 0 1 0 58896116 1654132736 346267 18446744073709551615 94880453996544 94880465422941 140732787077040 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94880467558616 94880467603634 94880476364800 140732787083666 140732787083785 140732787083785 140732787089387 0
/proc/67142/statm: 403841 346267 1568 2790 0 397266 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1615364 KiB
Current children cumulated memory: 1385068 KiB
[startup+25.5001 s]
/proc/loadavg: 4.29 4.17 4.11 5/263 67143
/proc/meminfo: memFree=118726548/131250000 swapFree=33010684/33010684
[pid=67142] ppid=67139 vsize=2978340 memory=2520120 CPUtime=25.42 cores=0,2
/proc/67142/stat : 67142 (ipbhs_scip) R 67139 67142 66624 0 -1 4194304 424860 0 0 0 2430 112 0 0 20 0 1 0 58896116 3049820160 630030 18446744073709551615 94880453996544 94880465422941 140732787077040 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94880467558616 94880467603634 94880476364800 140732787083666 140732787083785 140732787083785 140732787089387 0
/proc/67142/statm: 744585 630030 3168 2790 0 738010 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2978340 KiB
Current children cumulated memory: 2520120 KiB
[startup+51.1053 s]
/proc/loadavg: 4.26 4.17 4.11 5/263 67144
/proc/meminfo: memFree=110915580/131250000 swapFree=33010684/33010684
[pid=67142] ppid=67139 vsize=11018160 memory=10372920 CPUtime=50.96 cores=0,2
/proc/67142/stat : 67142 (ipbhs_scip) R 67139 67142 66624 0 -1 4194304 2387757 0 0 0 4667 429 0 0 20 0 1 0 58896116 11282595840 2593230 18446744073709551615 94880453996544 94880465422941 140732787077040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94880467558616 94880467603634 94880476364800 140732787083666 140732787083785 140732787083785 140732787089387 0
/proc/67142/statm: 2754540 2593230 3488 2790 0 2747965 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 11018160 KiB
Current children cumulated memory: 10372920 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/263 67146
/proc/meminfo: memFree=104652336/131250000 swapFree=33010684/33010684
[pid=67142] ppid=67139 vsize=19885304 memory=17037640 CPUtime=102.01 cores=0,2
/proc/67142/stat : 67142 (ipbhs_scip) R 67139 67142 66624 0 -1 4194304 2400037 0 0 0 9639 562 0 0 20 0 1 0 58896116 20362551296 4259410 18446744073709551615 94880453996544 94880465422941 140732787077040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94880467558616 94880467603634 94880476364800 140732787083666 140732787083785 140732787083785 140732787089387 0
/proc/67142/statm: 4971326 4259410 3488 2790 0 4964751 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 19885304 KiB
Current children cumulated memory: 17037640 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/263 67192
/proc/meminfo: memFree=90899084/131250000 swapFree=33010684/33010684
[pid=67142] ppid=67139 vsize=27358152 memory=24091056 CPUtime=161.84 cores=0,2
/proc/67142/stat : 67142 (ipbhs_scip) R 67139 67142 66624 0 -1 4194304 2420195 0 0 0 15480 704 0 0 20 0 1 0 58896116 28014747648 6022764 18446744073709551615 94880453996544 94880465422941 140732787077040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94880467558616 94880467603634 94880476364800 140732787083666 140732787083785 140732787083785 140732787089387 0
/proc/67142/statm: 6839538 6022764 3488 2790 0 6832963 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 27358152 KiB
Current children cumulated memory: 24091056 KiB
[startup+168.724 s]
# the end of solver process 67142 was just reported to runsolver
# Child ended because it received signal 11 (SIGSEGV)
Child dumped core
# cumulated CPU time of all completed processes: user=157.816 s, system=9.0891 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+163.2 s]
/proc/loadavg: 4.10 4.14 4.10 5/263 67192
/proc/meminfo: memFree=89389068/131250000 swapFree=33010684/33010684
[pid=67142] ppid=67139 vsize=28607344 memory=25223808 CPUtime=162.74 cores=0,2
/proc/67142/stat : 67142 (ipbhs_scip) R 67139 67142 66624 0 -1 4194304 2428465 0 0 0 15547 727 0 0 20 0 1 0 58896116 29293920256 6305952 18446744073709551615 94880453996544 94880465422941 140732787077040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 94880467558616 94880467603634 94880476364800 140732787083666 140732787083785 140732787083785 140732787089387 0
/proc/67142/statm: 7151836 6305952 3488 2790 0 7145261 0
Current children cumulated CPU time: 162.74 s
Current children cumulated vsize: 28607344 KiB
Current children cumulated memory: 25223808 KiB
[startup+166.4 s]
/proc/loadavg: 4.10 4.14 4.10 5/263 67192
/proc/meminfo: memFree=85575432/131250000 swapFree=33010684/33010684
[pid=67142] ppid=67139 vsize=31715684 memory=28462108 CPUtime=165.88 cores=0,2
/proc/67142/stat : 67142 (ipbhs_scip) R 67139 67142 66624 0 -1 4195840 2438345 0 0 0 15781 807 0 0 20 0 1 0 58896116 32476860416 7115527 18446744073709551615 94880453996544 94880465422941 140732787077040 140732787051440 94880454232942 0 0 0 2 0 0 0 17 2 0 0 0 0 0 94880467558616 94880467603634 94880476364800 140732787083666 140732787083785 140732787083785 140732787089387 11
/proc/67142/statm: 7928921 7115527 3488 2790 0 7922346 0
Current children cumulated CPU time: 165.88 s
Current children cumulated vsize: 31715684 KiB
Current children cumulated memory: 28462108 KiB
[startup+168 s]*
/proc/loadavg: 4.25 4.17 4.11 4/265 67196
/proc/meminfo: memFree=84795620/131250000 swapFree=33010684/33010684
[pid=67142] ppid=67139 vsize=31715684 memory=28462108 CPUtime=166.39 cores=0,2
/proc/67142/stat : 67142 (ipbhs_scip) S 67139 67142 66624 0 -1 4195840 2438345 0 0 0 15781 858 0 0 20 0 1 0 58896116 32476860416 7115527 18446744073709551615 94880453996544 94880465422941 140732787077040 140732787051440 94880454232942 0 0 0 2 1 0 0 17 2 0 0 0 0 0 94880467558616 94880467603634 94880476364800 140732787083666 140732787083785 140732787083785 140732787089387 11
/proc/67142/statm: 7928921 7115527 3488 2790 0 7922346 0
Current children cumulated CPU time: 166.39 s
Current children cumulated vsize: 31715684 KiB
Current children cumulated memory: 28462108 KiB
[startup+168.405 s]
/proc/loadavg: 4.25 4.17 4.11 5/265 67201
/proc/meminfo: memFree=88125116/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+168.6 s]
/proc/loadavg: 4.25 4.17 4.11 5/265 67201
/proc/meminfo: memFree=88125116/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+168.7 s]
/proc/loadavg: 4.25 4.17 4.11 5/265 67201
/proc/meminfo: memFree=88125116/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 168.724
CPU time (s): 166.905
CPU user time (s): 157.816
CPU system time (s): 9.0891
CPU usage (%): 98.9215
Max. virtual memory (cumulated for all children) (KiB): 31715684
Max. memory (cumulated for all children) (KiB): 28462108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 157.816
system time used= 9.0891
maximum resident set size= 28462108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2438345
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= 102
involuntary context switches= 234
# summary of solver processes directly reported to runsolver:
# pid: 67142
# total CPU time (s): 166.905
# total CPU user time (s): 157.816
# total CPU system time (s): 9.0891
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.338118 second user time and 0.705873 second system time
The end
Begin job on nodeC013 at 2025-07-02 06:55:58
IDJOB=4502908
IDBENCH=155401
IDSOLVER=3335
FILE ID=nodeC013/4502908-1751432155
RUNJOBID= nodeC013-1751428542-66634
SLURM_JOB_ID= 9598364
Free space on /tmp= 431872 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-sbox_8_shg.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502908-1751432155/watcher-4502908-1751432155 -o /tmp/evaluation-result-4502908-1751432155/solver-4502908-1751432155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751428542-66634 --watchdog 3760 ./ipbhs_scip HOME/instance-4502908-1751432155.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= de975147a543f81642d44481372d34a3
RANDOM SEED=1991563476
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3600.152
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.777
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3606.997
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3607.917
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.828
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3600.010
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126549448 kB
MemAvailable: 128150432 kB
Buffers: 3280 kB
Cached: 2399912 kB
SwapCached: 0 kB
Active: 1914236 kB
Inactive: 2154984 kB
Active(anon): 1679320 kB
Inactive(anon): 0 kB
Active(file): 234916 kB
Inactive(file): 2154984 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 864796 kB
Writeback: 0 kB
AnonPages: 1669468 kB
Mapped: 128656 kB
Shmem: 13284 kB
KReclaimable: 100244 kB
Slab: 188832 kB
SReclaimable: 100244 kB
SUnreclaim: 88588 kB
KernelStack: 4240 kB
PageTables: 6304 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2116440 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 649216 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431736 MiB
End job on nodeC013 at 2025-07-02 06:58:48