0.00/0.01 c initialize IPBHS solver
0.00/0.01 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.01 c optimizer = "scip"
0.00/0.01 c pbsolver = "roundingsat"
0.00/0.01 c use separate pbsolver for SIS
0.00/0.01 c load symmetries from file ""
0.00/0.01 c set time limit for symmetry computation to 100 seconds.
0.00/0.01 c set interchangeable summation variable limit to 3
0.00/0.01 c set sym compact max subset size to 5
0.00/0.01 c set explicit symmetry matrix usage to 1
0.00/0.01 c sym budget explicit to 100
0.00/0.01 c sym budget explicit lits to 6000
0.00/0.01 c sym budget compact to 100
0.00/0.01 c sym budget compact lits to 6000
0.00/0.01 c sym budget common to 0
0.00/0.01 c sym budget common lits to 0
0.00/0.01 c set sym generation to 's'
0.00/0.01 c set abstraction set creation to 10 iterations without LB change
0.00/0.01 c set abstraction set inputs to 0
0.00/0.01 c set abstraction set cluster min size to 2
0.00/0.01 c set abstraction set cluster max size to 100000000
0.00/0.01 c set abstraction set cluster activation limit to 2
0.00/0.01 c enable abstraction set require equal cost
0.00/0.01 c set abstraction set assumptions to 0
0.00/0.01 c set abstraction set constraint type to 0
0.00/0.01 c set abstract core extraction strategy to b
0.00/0.01 c set core extraction strategy to 2
0.00/0.01 c set core extraction shuffles 10
0.00/0.01 c set cores per iteration to 5
0.00/0.01 c set optimizer bound usage strategy to 2
0.00/0.01 c set optimizer max non-optimal iterations to 1000
0.00/0.01 c set small core cardinality limit to 2
0.00/0.01 c set max coef in cores to 1000000000
0.00/0.01 c set core processing techniques to 4095
0.00/0.01 c set SIS iterations to 5
0.00/0.01 c set SIS budget abs to 1000
0.00/0.01 c set SIS budget rel to 0.05
0.87/0.92 c limit for coefficient in constraints and objective to 1000000000
0.87/0.92 c will solve HOME/instance-4484984-1751301413.opb
0.87/0.92 c [0.01] will start solving
23.81/23.98 c [0.22] solve iteration 1, LB=-945, UB=1
23.81/23.98 c [2.6] solve iteration 2, LB=-472, UB=-30
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: 63837 MiB (62902 MiB free)
memory of node 1: 64465 MiB (63588 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484984-1751301413/watcher-4484984-1751301413 -o /tmp/evaluation-result-4484984-1751301413/solver-4484984-1751301413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751301413-48373 --watchdog 3760 ./ipbhs_scip HOME/instance-4484984-1751301413.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
Current StackSize limit: 8192 KiB
solver pid=48424, runsolver pid=48415
[startup+0.100079 s]*
/proc/loadavg: 1.06 2.29 3.33 6/252 48433
/proc/meminfo: memFree=129329312/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=1046572 memory=220764 CPUtime=0.1 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 622 0 0 0 2 8 0 0 20 0 1 0 45820569 1071689728 55191 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 261643 55191 1600 2790 0 255068 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 1046572 KiB
Current children cumulated memory: 220764 KiB
[startup+0.213937 s]*
/proc/loadavg: 1.06 2.29 3.33 6/252 48433
/proc/meminfo: memFree=129053184/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=1046572 memory=482908 CPUtime=0.2 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 750 0 0 0 4 16 0 0 20 0 1 0 45820569 1071689728 120727 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 261643 120727 1600 2790 0 255068 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 1046572 KiB
Current children cumulated memory: 482908 KiB
[startup+0.314141 s]*
/proc/loadavg: 1.06 2.29 3.33 6/252 48433
/proc/meminfo: memFree=128817004/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=1046572 memory=708188 CPUtime=0.3 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 860 0 0 0 6 24 0 0 20 0 1 0 45820569 1071689728 177047 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 261643 177047 1600 2790 0 255068 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 1046572 KiB
Current children cumulated memory: 708188 KiB
[startup+0.700314 s]
/proc/loadavg: 1.06 2.29 3.33 6/252 48433
/proc/meminfo: memFree=128471872/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=1053168 memory=1024396 CPUtime=0.68 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 3779 0 0 0 26 42 0 0 20 0 1 0 45820569 1078444032 256099 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 263292 256099 1696 2790 0 256717 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1053168 KiB
Current children cumulated memory: 1024396 KiB
[startup+1.50035 s]
/proc/loadavg: 1.06 2.29 3.33 6/252 48433
/proc/meminfo: memFree=128305736/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=1153520 memory=1130200 CPUtime=1.47 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 29610 0 0 0 74 73 0 0 20 0 1 0 45820569 1181204480 282550 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 288380 282550 3456 2790 0 281805 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 1153520 KiB
Current children cumulated memory: 1130200 KiB
[startup+3.11317 s]
/proc/loadavg: 1.37 2.34 3.34 6/252 48433
/proc/meminfo: memFree=126755656/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=1415324 memory=1375508 CPUtime=3.08 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 60646 0 0 0 226 82 0 0 20 0 1 0 45820569 1449291776 343877 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 353831 343877 3680 2790 0 347256 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1415324 KiB
Current children cumulated memory: 1375508 KiB
[startup+6.30031 s]
/proc/loadavg: 1.37 2.34 3.34 6/252 48433
/proc/meminfo: memFree=125593988/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=1663512 memory=1609956 CPUtime=6.26 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 101707 0 0 0 531 95 0 0 20 0 1 0 45820569 1703436288 402489 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 415878 402489 3680 2790 0 409303 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1663512 KiB
Current children cumulated memory: 1609956 KiB
[startup+12.7003 s]
/proc/loadavg: 2.09 2.46 3.37 6/252 48433
/proc/meminfo: memFree=125426204/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=1704968 memory=1632384 CPUtime=12.64 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 106234 0 0 0 1169 95 0 0 20 0 1 0 45820569 1745887232 408096 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 426242 408096 3712 2790 0 419667 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1704968 KiB
Current children cumulated memory: 1632384 KiB
[startup+25.5003 s]
/proc/loadavg: 2.61 2.56 3.39 6/252 48433
/proc/meminfo: memFree=125348032/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=1879552 memory=1718340 CPUtime=25.4 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 126731 0 0 0 2442 98 0 0 20 0 1 0 45820569 1924661248 429585 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 469888 429585 3712 2790 0 463313 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1879552 KiB
Current children cumulated memory: 1718340 KiB
[startup+51.1128 s]
/proc/loadavg: 3.83 2.85 3.47 6/251 48434
/proc/meminfo: memFree=125061636/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=1883560 memory=1718468 CPUtime=50.93 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 126778 0 0 0 4995 98 0 0 20 0 1 0 45820569 1928765440 429617 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 470890 429617 3712 2790 0 464315 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1883560 KiB
Current children cumulated memory: 1718468 KiB
[startup+102.3 s]
/proc/loadavg: 4.52 3.24 3.57 6/251 48436
/proc/meminfo: memFree=124904692/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=1976552 memory=1798980 CPUtime=101.95 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 146916 0 0 0 10094 101 0 0 20 0 1 0 45820569 2023989248 449745 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 494138 449745 3712 2790 0 487563 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1976552 KiB
Current children cumulated memory: 1798980 KiB
[startup+162.3 s]
/proc/loadavg: 4.31 3.41 3.61 6/252 48438
/proc/meminfo: memFree=124661688/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=2033260 memory=1855684 CPUtime=161.75 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 161118 0 0 0 16072 103 0 0 20 0 1 0 45820569 2082058240 463921 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 508315 463921 3712 2790 0 501740 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 2033260 KiB
Current children cumulated memory: 1855684 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 3.54 3.64 6/252 48440
/proc/meminfo: memFree=124469916/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=2159644 memory=1935148 CPUtime=221.56 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 165846 0 0 0 22052 104 0 0 20 0 1 0 45820569 2211475456 483787 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 539911 483787 3712 2790 0 533336 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 2159644 KiB
Current children cumulated memory: 1935148 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.64 3.67 6/253 48446
/proc/meminfo: memFree=124312932/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=2195264 memory=1971948 CPUtime=281.38 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 177617 0 0 0 28031 107 0 0 20 0 1 0 45820569 2247950336 492987 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 548816 492987 3840 2790 0 542241 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 2195264 KiB
Current children cumulated memory: 1971948 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.74 3.70 6/252 48448
/proc/meminfo: memFree=124152348/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=2254216 memory=2019028 CPUtime=341.19 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 179735 0 0 0 34012 107 0 0 20 0 1 0 45820569 2308317184 504757 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 563554 504757 3840 2790 0 556979 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 2254216 KiB
Current children cumulated memory: 2019028 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.80 3.73 6/252 48454
/proc/meminfo: memFree=123931592/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=2343764 memory=2093036 CPUtime=400.99 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 204502 0 0 0 39987 112 0 0 20 0 1 0 45820569 2400014336 523259 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 585941 523259 3840 2790 0 579366 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 2343764 KiB
Current children cumulated memory: 2093036 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.86 3.75 6/251 48456
/proc/meminfo: memFree=123851444/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=2376488 memory=2123136 CPUtime=460.78 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 205918 0 0 0 45965 113 0 0 20 0 1 0 45820569 2433523712 530784 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 594122 530784 3840 2790 0 587547 0
Current children cumulated CPU time: 460.78 s
################
# More data... #
################
Current children cumulated memory: 3110468 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.08 4.03 6/251 48581
/proc/meminfo: memFree=120076316/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=3381788 memory=3120708 CPUtime=2913.39 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 372862 0 0 0 291188 151 0 0 20 0 1 0 45820569 3462950912 780177 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 845447 780177 3840 2790 0 838872 0
Current children cumulated CPU time: 2913.39 s
Current children cumulated vsize: 3381788 KiB
Current children cumulated memory: 3120708 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.08 4.03 6/251 48583
/proc/meminfo: memFree=120039724/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=3419204 memory=3138544 CPUtime=2973.22 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 373428 0 0 0 297171 151 0 0 20 0 1 0 45820569 3501264896 784636 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 854801 784636 3840 2790 0 848226 0
Current children cumulated CPU time: 2973.22 s
Current children cumulated vsize: 3419204 KiB
Current children cumulated memory: 3138544 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.03 6/251 48585
/proc/meminfo: memFree=119884636/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=3419204 memory=3138544 CPUtime=3033.05 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 373845 0 0 0 303154 151 0 0 20 0 1 0 45820569 3501264896 784636 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 854801 784636 3840 2790 0 848226 0
Current children cumulated CPU time: 3033.05 s
Current children cumulated vsize: 3419204 KiB
Current children cumulated memory: 3138544 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.03 6/250 48587
/proc/meminfo: memFree=119852936/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=3419204 memory=3146896 CPUtime=3092.89 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 373908 0 0 0 309138 151 0 0 20 0 1 0 45820569 3501264896 786724 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 854801 786724 3840 2790 0 848226 0
Current children cumulated CPU time: 3092.89 s
Current children cumulated vsize: 3419204 KiB
Current children cumulated memory: 3146896 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.03 6/249 48589
/proc/meminfo: memFree=119750068/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=3540552 memory=3218600 CPUtime=3152.73 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 385716 0 0 0 315119 154 0 0 20 0 1 0 45820569 3625525248 804650 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 885138 804650 3840 2790 0 878563 0
Current children cumulated CPU time: 3152.73 s
Current children cumulated vsize: 3540552 KiB
Current children cumulated memory: 3218600 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.11 4.04 6/249 48591
/proc/meminfo: memFree=119676060/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=3550564 memory=3234088 CPUtime=3212.55 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 388105 0 0 0 321101 154 0 0 20 0 1 0 45820569 3635777536 808522 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 887641 808522 3840 2790 0 881066 0
Current children cumulated CPU time: 3212.55 s
Current children cumulated vsize: 3550564 KiB
Current children cumulated memory: 3234088 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.04 6/250 48596
/proc/meminfo: memFree=119604996/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=3550564 memory=3252616 CPUtime=3272.38 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 388617 0 0 0 327083 155 0 0 20 0 1 0 45820569 3635777536 813154 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 887641 813154 3840 2790 0 881066 0
Current children cumulated CPU time: 3272.38 s
Current children cumulated vsize: 3550564 KiB
Current children cumulated memory: 3252616 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.04 6/250 48598
/proc/meminfo: memFree=119502040/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=3550564 memory=3264648 CPUtime=3332.21 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 388665 0 0 0 333066 155 0 0 20 0 1 0 45820569 3635777536 816162 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 887641 816162 3840 2790 0 881066 0
Current children cumulated CPU time: 3332.21 s
Current children cumulated vsize: 3550564 KiB
Current children cumulated memory: 3264648 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.04 6/250 48604
/proc/meminfo: memFree=119453836/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=3550564 memory=3264648 CPUtime=3392.04 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 389030 0 0 0 339049 155 0 0 20 0 1 0 45820569 3635777536 816162 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 887641 816162 3840 2790 0 881066 0
Current children cumulated CPU time: 3392.04 s
Current children cumulated vsize: 3550564 KiB
Current children cumulated memory: 3264648 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.04 6/250 48606
/proc/meminfo: memFree=119266552/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=3590008 memory=3318280 CPUtime=3451.88 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 399075 0 0 0 345031 157 0 0 20 0 1 0 45820569 3676168192 829570 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 897502 829570 3840 2790 0 890927 0
Current children cumulated CPU time: 3451.88 s
Current children cumulated vsize: 3590008 KiB
Current children cumulated memory: 3318280 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.04 6/251 48609
/proc/meminfo: memFree=119158800/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=3590008 memory=3329216 CPUtime=3511.72 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 399617 0 0 0 351014 158 0 0 20 0 1 0 45820569 3676168192 832304 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 897502 832304 3840 2790 0 890927 0
Current children cumulated CPU time: 3511.72 s
Current children cumulated vsize: 3590008 KiB
Current children cumulated memory: 3329216 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.04 6/251 48611
/proc/meminfo: memFree=119125172/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=3634912 memory=3342576 CPUtime=3571.55 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 402650 0 0 0 356997 158 0 0 20 0 1 0 45820569 3722149888 835644 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 908728 835644 3840 2790 0 902153 0
Current children cumulated CPU time: 3571.55 s
Current children cumulated vsize: 3634912 KiB
Current children cumulated memory: 3342576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.12 4.09 4.05 6/251 48613
/proc/meminfo: memFree=119013796/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=3634912 memory=3355936 CPUtime=3600.06 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 402913 0 0 0 359848 158 0 0 20 0 1 0 45820569 3722149888 838984 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 908728 838984 3840 2790 0 902153 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3634912 KiB
Current children cumulated memory: 3355936 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.92 s]
# the end of solver process 48424 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3598.49 s, system=1.60607 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.12 4.09 4.05 6/251 48613
/proc/meminfo: memFree=119013796/131382112 swapFree=33010684/33010684
[pid=48424] ppid=48415 vsize=3634912 memory=3355936 CPUtime=3600.06 cores=0,2
/proc/48424/stat : 48424 (ipbhs_scip) R 48415 48424 48363 0 -1 4194304 402913 0 0 0 359848 158 0 0 20 0 1 0 45820569 3722149888 838984 18446744073709551615 93854613049344 93854624475741 140725686737616 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93854626611416 93854626656434 93854654656512 140725686745490 140725686745609 140725686745609 140725686751211 0
/proc/48424/statm: 908728 838984 3840 2790 0 902153 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3634912 KiB
Current children cumulated memory: 3355936 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.92
CPU time (s): 3600.09
CPU user time (s): 3598.49
CPU system time (s): 1.60607
CPU usage (%): 99.7002
Max. virtual memory (cumulated for all children) (KiB): 3634912
Max. memory (cumulated for all children) (KiB): 3355936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.49
system time used= 1.60607
maximum resident set size= 3355936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 402913
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= 189
involuntary context switches= 7978
# summary of solver processes directly reported to runsolver:
# pid: 48424
# total CPU time (s): 3600.09
# total CPU user time (s): 3598.49
# total CPU system time (s): 1.60607
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7339 second user time and 34.648 second system time
The end
Begin job on nodeC007 at 2025-06-30 18:36:53
IDJOB=4484984
IDBENCH=146684
IDSOLVER=3335
FILE ID=nodeC007/4484984-1751301413
RUNJOBID= nodeC007-1751301413-48373
SLURM_JOB_ID= 9594277
Free space on /tmp= 433008 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484984-1751301413/watcher-4484984-1751301413 -o /tmp/evaluation-result-4484984-1751301413/solver-4484984-1751301413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751301413-48373 --watchdog 3760 ./ipbhs_scip HOME/instance-4484984-1751301413.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a3f6b61db250b51897503d5946a188dc
RANDOM SEED=491240303
nodeC007 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 : 0xb00001f
cpu MHz : 1197.796
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.200
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.197
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.209
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.562
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.365
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1196.947
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129514472 kB
MemAvailable: 129941244 kB
Buffers: 3280 kB
Cached: 1234424 kB
SwapCached: 0 kB
Active: 315680 kB
Inactive: 987896 kB
Active(anon): 83868 kB
Inactive(anon): 0 kB
Active(file): 231812 kB
Inactive(file): 987896 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 286516 kB
Writeback: 16 kB
AnonPages: 68980 kB
Mapped: 102408 kB
Shmem: 17960 kB
KReclaimable: 93384 kB
Slab: 176908 kB
SReclaimable: 93384 kB
SUnreclaim: 83524 kB
KernelStack: 3824 kB
PageTables: 2780 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 331492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432736 MiB
End job on nodeC007 at 2025-06-30 19:37:05