1296.56/728.17 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1296.56/728.17 c numVar: 48411
1296.56/728.17 c numCon: 1121517
1296.56/728.17 c numEqual: 1773
1296.56/728.17 c intSize: 10
1296.56/728.17 c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1296.56/728.17 c ------------------- Paras list -------------------
1296.56/728.17 c Name Type Now Default Comment
1296.56/728.17 c timeout double 3600.000000 3600
1296.56/728.17 c mip_time double 0.200000 0.5
1296.56/728.17 c ls_time double 10.000000 10
1296.56/728.17 c safe_mode int 1 1 1 trust; 2 feasible
1296.56/728.17 c mip_emphasis int 5 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1296.56/728.17 c random_seed int 0 0
1296.56/728.17 c sample_size int 50 50
1296.56/728.17 c sub_score int 1 1
1296.56/728.17 c tabu_base int 3 3
1296.56/728.17 c tabu_variation int 1 1
1296.56/728.17 c sub_div int 4 4
1296.56/728.17 c nbcore int 2 1
1296.56/728.17 c memlimit int 31000 31744 memory limit in megabytes
1296.56/728.17 c print_sol int 1 1
1296.56/728.17 c tmpdir string . "."
1296.56/728.17 c home string HOME "."
1296.56/728.17 c benchname string HOME/instance-4503555-1751134412.opb ""
1296.56/728.17 c --------------------------------------------------
1296.56/728.17 c Local Search solver
1296.56/728.17 c MIP solver
1296.56/728.17 c use Exact solver
3600.02/3038.60 c receive signal 15, try to interrupt solver...
1296.62/3038.71 c Exact solver (PID 11952) interrupted gracefully.
3601.01/3039.72 s UNKNOWN
3601.01/3039.72 c Total time: 3039
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 (60332 MiB free)
memory of node 1: 64465 MiB (63842 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503555-1751134412/watcher-4503555-1751134412 -o /tmp/evaluation-result-4503555-1751134412/solver-4503555-1751134412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751133631-11298 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4503555-1751134412.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
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=11773, runsolver pid=11770
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 6.90 7.11 4.46 7/254 11774
/proc/meminfo: memFree=127033488/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=231320 memory=157660 CPUtime=0.1 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) R 11770 11773 11283 0 -1 4194304 28739 0 0 0 4 6 0 0 20 0 1 0 29120457 236871680 39415 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 57830 39415 1120 6655 0 48065 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 231320 KiB
Current children cumulated memory: 157660 KiB
[startup+0.213317 s]*
/proc/loadavg: 6.90 7.11 4.46 7/254 11774
/proc/meminfo: memFree=126888096/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=328340 memory=285404 CPUtime=0.21 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) R 11770 11773 11283 0 -1 4194304 53512 0 0 0 10 11 0 0 20 0 1 0 29120457 336220160 71351 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 82085 71351 1120 6655 0 72320 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 328340 KiB
Current children cumulated memory: 285404 KiB
[startup+0.313168 s]*
/proc/loadavg: 6.90 7.11 4.46 7/254 11774
/proc/meminfo: memFree=126888096/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=328472 memory=285532 CPUtime=0.31 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) R 11770 11773 11283 0 -1 4194304 53548 0 0 0 19 12 0 0 20 0 1 0 29120457 336355328 71383 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 82118 71383 1120 6655 0 72353 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 328472 KiB
Current children cumulated memory: 285532 KiB
[startup+0.700317 s]
/proc/loadavg: 6.90 7.11 4.46 7/254 11774
/proc/meminfo: memFree=126819856/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=456776 memory=421512 CPUtime=0.69 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) R 11770 11773 11283 0 -1 4194304 76289 0 0 0 51 18 0 0 20 0 1 0 29120457 467738624 105378 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 114194 105378 1152 6655 0 104429 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 456776 KiB
Current children cumulated memory: 421512 KiB
[startup+1.50027 s]
/proc/loadavg: 6.90 7.11 4.46 7/254 11774
/proc/meminfo: memFree=126650512/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=699240 memory=660872 CPUtime=1.48 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) R 11770 11773 11283 0 -1 4194304 136128 0 0 0 121 27 0 0 20 0 1 0 29120457 716021760 165218 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 174810 165218 1152 6655 0 165045 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 699240 KiB
Current children cumulated memory: 660872 KiB
[startup+3.11282 s]
/proc/loadavg: 6.90 7.11 4.46 7/254 11774
/proc/meminfo: memFree=126368484/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=834620 memory=796296 CPUtime=3.09 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) R 11770 11773 11283 0 -1 4194304 169973 0 0 0 277 32 0 0 20 0 1 0 29120457 854650880 199074 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 208655 199074 1152 6655 0 198890 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 834620 KiB
Current children cumulated memory: 796296 KiB
[startup+6.30025 s]
/proc/loadavg: 6.83 7.10 4.47 6/254 11775
/proc/meminfo: memFree=126357108/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=834620 memory=796296 CPUtime=6.27 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) R 11770 11773 11283 0 -1 4194304 170021 0 0 0 595 32 0 0 20 0 1 0 29120457 854650880 199074 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 208655 199074 1152 6655 0 198890 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 834620 KiB
Current children cumulated memory: 796296 KiB
[startup+12.7003 s]
/proc/loadavg: 6.68 7.06 4.47 6/254 11776
/proc/meminfo: memFree=125487332/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=1809300 memory=1685156 CPUtime=12.64 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) R 11770 11773 11283 0 -1 4194304 272007 0 0 0 1204 60 0 0 20 0 2 0 29120457 1852723200 421289 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 452325 421289 2656 6655 0 426208 0
[pid=11773/tid=11776] ppid=11770 vsize=1809300 memory=1612336 CPUtime=0 cores=0,2
/proc/11773/task/11776/stat : 11776 (LSIPExact) S 11770 11773 11283 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29121620 1852723200 421289 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1809300 KiB
Current children cumulated memory: 1685156 KiB
[startup+25.5003 s]
/proc/loadavg: 6.31 6.96 4.48 7/255 11824
/proc/meminfo: memFree=124941092/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=2175524 memory=2072392 CPUtime=25.46 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) R 11770 11773 11283 0 -1 4194304 336246 0 0 0 2461 85 0 0 20 0 2 0 29120457 2227736576 518098 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 543881 518098 2848 6655 0 529371 0
[pid=11773/tid=11776] ppid=11770 vsize=2175524 memory=16320 CPUtime=0.1 cores=0,2
/proc/11773/task/11776/stat : 11776 (LSIPExact) S 11770 11773 11283 0 -1 4194368 5354 0 0 0 7 3 0 0 20 0 2 0 29121620 2227736576 518098 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 1 0 0 -1 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
Current children cumulated CPU time: 25.46 s
Current children cumulated vsize: 2175524 KiB
Current children cumulated memory: 2072392 KiB
[startup+51.1132 s]
/proc/loadavg: 6.28 6.90 4.53 7/256 11826
/proc/meminfo: memFree=123394968/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=3588468 memory=3143584 CPUtime=61.53 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) S 11770 11773 11283 0 -1 4194304 449416 0 0 0 6017 136 0 0 20 0 2 0 29120457 3674591232 785896 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 897117 785896 3296 6655 0 882388 0
[pid=11773/tid=11776] ppid=11770 vsize=3588468 memory=3143584 CPUtime=20.46 cores=0,2
/proc/11773/task/11776/stat : 11776 (LSIPExact) R 11770 11773 11283 0 -1 4194368 42088 0 0 0 2024 22 0 0 20 0 2 0 29121620 3674591232 785896 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
Current children cumulated CPU time: 61.53 s
Current children cumulated vsize: 3588468 KiB
Current children cumulated memory: 3143584 KiB
[startup+102.3 s]
/proc/loadavg: 6.18 6.77 4.61 7/256 11827
/proc/meminfo: memFree=123288764/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=3588468 memory=3143584 CPUtime=112.58 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) S 11770 11773 11283 0 -1 4194304 454944 0 0 0 11121 137 0 0 20 0 2 0 29120457 3674591232 785896 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 897117 785896 3296 6655 0 882388 0
[pid=11773/tid=11776] ppid=11770 vsize=3588468 memory=16320 CPUtime=71.5 cores=0,2
/proc/11773/task/11776/stat : 11776 (LSIPExact) R 11770 11773 11283 0 -1 4194368 47616 0 0 0 7127 23 0 0 20 0 2 0 29121620 3674591232 785896 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
Current children cumulated CPU time: 112.58 s
Current children cumulated vsize: 3588468 KiB
Current children cumulated memory: 3143584 KiB
[startup+162.3 s]
/proc/loadavg: 6.02 6.61 4.69 8/256 11829
/proc/meminfo: memFree=122674852/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=4148300 memory=3758268 CPUtime=173.56 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) R 11770 11773 11283 0 -1 4194304 543132 0 0 0 17186 170 0 0 20 0 2 0 29120457 4247859200 939567 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 1037075 939567 3328 6655 0 1017648 0
[pid=11773/tid=11776] ppid=11770 vsize=4148300 memory=3143584 CPUtime=130.81 cores=0,2
/proc/11773/task/11776/stat : 11776 (LSIPExact) R 11770 11773 11283 0 -1 4194368 72271 0 0 0 13045 36 0 0 20 0 2 0 29121620 4247859200 939567 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
Current children cumulated CPU time: 173.56 s
Current children cumulated vsize: 4148300 KiB
Current children cumulated memory: 3758268 KiB
[startup+222.3 s]
/proc/loadavg: 6.89 6.76 4.87 8/256 11876
/proc/meminfo: memFree=125121036/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=4571440 memory=4058404 CPUtime=292.72 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) R 11770 11773 11283 0 -1 4194304 585435 0 0 0 29084 188 0 0 20 0 2 0 29120457 4681154560 1014601 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 1142860 1014601 3328 6655 0 1118990 0
[pid=11773/tid=11776] ppid=11770 vsize=4571440 memory=4051252 CPUtime=190.18 cores=0,2
/proc/11773/task/11776/stat : 11776 (LSIPExact) R 11770 11773 11283 0 -1 4194368 100197 0 0 0 18970 48 0 0 20 0 2 0 29121620 4681154560 1014601 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
Current children cumulated CPU time: 292.72 s
Current children cumulated vsize: 4571440 KiB
Current children cumulated memory: 4058404 KiB
[startup+282.3 s]
/proc/loadavg: 7.01 6.82 5.01 8/256 11878
/proc/meminfo: memFree=125210104/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=4371912 memory=3988628 CPUtime=411.88 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) R 11770 11773 11283 0 -1 4194304 676270 0 0 0 40982 206 0 0 20 0 2 0 29120457 4476837888 997157 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 1092978 997157 3328 6655 0 1071181 0
[pid=11773/tid=11776] ppid=11770 vsize=4371912 memory=16320 CPUtime=249.57 cores=0,2
/proc/11773/task/11776/stat : 11776 (LSIPExact) R 11770 11773 11283 0 -1 4194368 120893 0 0 0 24902 55 0 0 20 0 2 0 29121620 4476837888 997157 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
Current children cumulated CPU time: 411.88 s
Current children cumulated vsize: 4371912 KiB
Current children cumulated memory: 3988628 KiB
[startup+342.3 s]
/proc/loadavg: 6.98 6.86 5.14 8/253 11880
/proc/meminfo: memFree=125290648/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=4285256 memory=4037636 CPUtime=531.03 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) R 11770 11773 11283 0 -1 4194304 837534 0 0 0 52813 290 0 0 20 0 2 0 29120457 4388102144 1009409 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 1071314 1009409 3360 6655 0 1052981 0
[pid=11773/tid=11776] ppid=11770 vsize=4285256 memory=17152 CPUtime=308.94 cores=0,2
/proc/11773/task/11776/stat : 11776 (LSIPExact) R 11770 11773 11283 0 -1 4194368 158302 0 0 0 30826 68 0 0 20 0 2 0 29121620 4388102144 1009409 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
Current children cumulated CPU time: 531.03 s
Current children cumulated vsize: 4285256 KiB
Current children cumulated memory: 4037636 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/11773/statm: 842698 823894 3392 6655 0 827064 0
[pid=11952] ppid=11773 vsize=1526752 memory=1455796 CPUtime=1828.58 cores=0,2
/proc/11952/stat : 11952 (Exact) R 11773 11952 11952 0 -1 4194304 181080 0 0 0 182724 134 0 0 20 0 1 0 29193274 1563394048 363949 18446744073709551615 4198400 8335837 140736110160576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 31879168 140736110168251 140736110168605 140736110168605 140736110174159 0
/proc/11952/statm: 381688 363949 1088 1011 0 380455 0
Current children cumulated CPU time: 3125.2 s
Current children cumulated vsize: 4897544 KiB
Current children cumulated memory: 4751372 KiB
[startup+2622.3 s]
/proc/loadavg: 4.15 4.17 4.67 5/253 12086
/proc/meminfo: memFree=123460392/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=3370792 memory=3295576 CPUtime=1296.62 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) S 11770 11773 11283 0 -1 4194304 1336682 0 0 0 129183 479 0 0 20 0 1 0 29120457 3451691008 823894 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 842698 823894 3392 6655 0 827064 0
[pid=11952] ppid=11773 vsize=1528192 memory=1459300 CPUtime=1888.39 cores=0,2
/proc/11952/stat : 11952 (Exact) R 11773 11952 11952 0 -1 4194304 182682 0 0 0 188703 136 0 0 20 0 1 0 29193274 1564868608 364825 18446744073709551615 4198400 8335837 140736110160576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 31879168 140736110168251 140736110168605 140736110168605 140736110174159 0
/proc/11952/statm: 382048 364825 1088 1011 0 380815 0
Current children cumulated CPU time: 3185.01 s
Current children cumulated vsize: 4898984 KiB
Current children cumulated memory: 4754876 KiB
[startup+2682.3 s]
/proc/loadavg: 4.12 4.15 4.63 5/253 12088
/proc/meminfo: memFree=123457464/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=3370792 memory=3295576 CPUtime=1296.62 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) S 11770 11773 11283 0 -1 4194304 1336682 0 0 0 129183 479 0 0 20 0 1 0 29120457 3451691008 823894 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 842698 823894 3392 6655 0 827064 0
[pid=11952] ppid=11773 vsize=1529632 memory=1461528 CPUtime=1948.19 cores=0,2
/proc/11952/stat : 11952 (Exact) R 11773 11952 11952 0 -1 4194304 184854 0 0 0 194680 139 0 0 20 0 1 0 29193274 1566343168 365382 18446744073709551615 4198400 8335837 140736110160576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 31879168 140736110168251 140736110168605 140736110168605 140736110174159 0
/proc/11952/statm: 382408 365382 1088 1011 0 381175 0
Current children cumulated CPU time: 3244.81 s
Current children cumulated vsize: 4900424 KiB
Current children cumulated memory: 4757104 KiB
[startup+2742.3 s]
/proc/loadavg: 4.09 4.14 4.59 5/253 12090
/proc/meminfo: memFree=123449276/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=3370792 memory=3295576 CPUtime=1296.62 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) S 11770 11773 11283 0 -1 4194304 1336682 0 0 0 129183 479 0 0 20 0 1 0 29120457 3451691008 823894 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 842698 823894 3392 6655 0 827064 0
[pid=11952] ppid=11773 vsize=1530568 memory=1462472 CPUtime=2008.01 cores=0,2
/proc/11952/stat : 11952 (Exact) R 11773 11952 11952 0 -1 4194304 186318 0 0 0 200661 140 0 0 20 0 1 0 29193274 1567301632 365618 18446744073709551615 4198400 8335837 140736110160576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 31879168 140736110168251 140736110168605 140736110168605 140736110174159 0
/proc/11952/statm: 382642 365618 1088 1011 0 381409 0
Current children cumulated CPU time: 3304.63 s
Current children cumulated vsize: 4901360 KiB
Current children cumulated memory: 4758048 KiB
[startup+2802.3 s]
/proc/loadavg: 4.21 4.16 4.57 5/253 12092
/proc/meminfo: memFree=123410424/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=3370792 memory=3295576 CPUtime=1296.62 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) S 11770 11773 11283 0 -1 4194304 1336682 0 0 0 129183 479 0 0 20 0 1 0 29120457 3451691008 823894 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 842698 823894 3392 6655 0 827064 0
[pid=11952] ppid=11773 vsize=1531844 memory=1467716 CPUtime=2067.82 cores=0,2
/proc/11952/stat : 11952 (Exact) R 11773 11952 11952 0 -1 4194304 187892 0 0 0 206640 142 0 0 20 0 1 0 29193274 1568608256 366929 18446744073709551615 4198400 8335837 140736110160576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 31879168 140736110168251 140736110168605 140736110168605 140736110174159 0
/proc/11952/statm: 382961 366929 1088 1011 0 381728 0
Current children cumulated CPU time: 3364.44 s
Current children cumulated vsize: 4902636 KiB
Current children cumulated memory: 4763292 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.14 4.53 5/253 12105
/proc/meminfo: memFree=123389184/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=3370792 memory=3295576 CPUtime=1296.62 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) S 11770 11773 11283 0 -1 4194304 1336682 0 0 0 129183 479 0 0 20 0 1 0 29120457 3451691008 823894 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 842698 823894 3392 6655 0 827064 0
[pid=11952] ppid=11773 vsize=1533492 memory=1469364 CPUtime=2127.63 cores=0,2
/proc/11952/stat : 11952 (Exact) R 11773 11952 11952 0 -1 4194304 189602 0 0 0 212619 144 0 0 20 0 1 0 29193274 1570295808 367341 18446744073709551615 4198400 8335837 140736110160576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 31879168 140736110168251 140736110168605 140736110168605 140736110174159 0
/proc/11952/statm: 383373 367341 1088 1011 0 382140 0
Current children cumulated CPU time: 3424.25 s
Current children cumulated vsize: 4904284 KiB
Current children cumulated memory: 4764940 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.13 4.51 5/254 12112
/proc/meminfo: memFree=123365472/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=3370792 memory=3295576 CPUtime=1296.62 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) S 11770 11773 11283 0 -1 4194304 1336682 0 0 0 129183 479 0 0 20 0 1 0 29120457 3451691008 823894 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 842698 823894 3392 6655 0 827064 0
[pid=11952] ppid=11773 vsize=1534224 memory=1472144 CPUtime=2187.45 cores=0,2
/proc/11952/stat : 11952 (Exact) R 11773 11952 11952 0 -1 4194304 191156 0 0 0 218600 145 0 0 20 0 1 0 29193274 1571045376 368036 18446744073709551615 4198400 8335837 140736110160576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 31879168 140736110168251 140736110168605 140736110168605 140736110174159 0
/proc/11952/statm: 383556 368036 1088 1011 0 382323 0
Current children cumulated CPU time: 3484.07 s
Current children cumulated vsize: 4905016 KiB
Current children cumulated memory: 4767720 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.13 4.48 5/253 12114
/proc/meminfo: memFree=123346352/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=3370792 memory=3295576 CPUtime=1296.62 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) S 11770 11773 11283 0 -1 4194304 1336682 0 0 0 129183 479 0 0 20 0 1 0 29120457 3451691008 823894 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 842698 823894 3392 6655 0 827064 0
[pid=11952] ppid=11773 vsize=1535172 memory=1475908 CPUtime=2247.28 cores=0,2
/proc/11952/stat : 11952 (Exact) R 11773 11952 11952 0 -1 4194304 192668 0 0 0 224581 147 0 0 20 0 1 0 29193274 1572016128 368977 18446744073709551615 4198400 8335837 140736110160576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 31879168 140736110168251 140736110168605 140736110168605 140736110174159 0
/proc/11952/statm: 383793 368977 1088 1011 0 382560 0
Current children cumulated CPU time: 3543.9 s
Current children cumulated vsize: 4905964 KiB
Current children cumulated memory: 4771484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3038.6 s]
/proc/loadavg: 4.10 4.12 4.46 5/254 12119
/proc/meminfo: memFree=123340368/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=3370792 memory=3295576 CPUtime=1296.62 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) S 11770 11773 11283 0 -1 4194304 1336682 0 0 0 129183 479 0 0 20 0 1 0 29120457 3451691008 823894 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 842698 823894 3392 6655 0 827064 0
[pid=11952] ppid=11773 vsize=1536004 memory=1476740 CPUtime=2303.4 cores=0,2
/proc/11952/stat : 11952 (Exact) R 11773 11952 11952 0 -1 4194304 193581 0 0 0 230192 148 0 0 20 0 1 0 29193274 1572868096 369185 18446744073709551615 4198400 8335837 140736110160576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 31879168 140736110168251 140736110168605 140736110168605 140736110174159 0
/proc/11952/statm: 384001 369185 1088 1011 0 382768 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 4906796 KiB
Current children cumulated memory: 4772316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3039.77 s]
# the end of solver process 11773 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.62 s, system=6.48761 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3039.2 s]
/proc/loadavg: 4.10 4.12 4.46 5/253 12120
/proc/meminfo: memFree=124825200/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=3344504 memory=3269328 CPUtime=3600.52 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) R 11770 11773 11283 0 -1 4194304 1397986 193718 0 0 129222 489 230193 148 20 0 1 0 29120457 3424772096 817332 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 836126 817332 3392 6655 0 820492 0
Current children cumulated CPU time: 3600.52 s
Current children cumulated vsize: 3344504 KiB
Current children cumulated memory: 3269328 KiB
[startup+3039.6 s]
/proc/loadavg: 4.10 4.12 4.46 5/253 12120
/proc/meminfo: memFree=124825200/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=3318212 memory=3243032 CPUtime=3600.91 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) R 11770 11773 11283 0 -1 4194304 1449249 193718 0 0 129258 492 230193 148 20 0 1 0 29120457 3397849088 810758 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 829553 810758 3392 6655 0 813919 0
Current children cumulated CPU time: 3600.91 s
Current children cumulated vsize: 3318212 KiB
Current children cumulated memory: 3243032 KiB
[startup+3039.7 s]
/proc/loadavg: 4.10 4.12 4.46 5/253 12120
/proc/meminfo: memFree=124825200/131382120 swapFree=33010684/33010684
[pid=11773] ppid=11770 vsize=3318212 memory=3243032 CPUtime=3601.01 cores=0,2
/proc/11773/stat : 11773 (LSIPExact) R 11770 11773 11283 0 -1 4194304 1489136 193718 0 0 129266 494 230193 148 20 0 1 0 29120457 3397849088 810758 18446744073709551615 94296618622976 94296645879377 140727863493744 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94296654382216 94296654813824 94296672366592 140727863499098 140727863499274 140727863499274 140727863504876 0
/proc/11773/statm: 829553 810758 3392 6655 0 813919 0
Current children cumulated CPU time: 3601.01 s
Current children cumulated vsize: 3318212 KiB
Current children cumulated memory: 3243032 KiB
Child status: 0
Real time (s): 3039.77
CPU time (s): 3601.11
CPU user time (s): 3594.62
CPU system time (s): 6.48761
CPU usage (%): 118.467
Max. virtual memory (cumulated for all children) (KiB): 5369148
Max. memory (cumulated for all children) (KiB): 5072112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.62
system time used= 6.48761
maximum resident set size= 5105604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1692930
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= 547
involuntary context switches= 23769
# summary of solver processes directly reported to runsolver:
# pid: 11773
# total CPU time (s): 3601.11
# total CPU user time (s): 3594.62
# total CPU system time (s): 6.48761
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1622 second user time and 28.3754 second system time
The end
Begin job on nodeC008 at 2025-06-28 20:13:33
IDJOB=4503555
IDBENCH=155522
IDSOLVER=3336
FILE ID=nodeC008/4503555-1751134412
RUNJOBID= nodeC008-1751133631-11298
SLURM_JOB_ID= 9587408
Free space on /tmp= 432864 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-134.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503555-1751134412/watcher-4503555-1751134412 -o /tmp/evaluation-result-4503555-1751134412/solver-4503555-1751134412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751133631-11298 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4503555-1751134412.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8f50e455e41c11932a7c1290f673c930
RANDOM SEED=753056809
nodeC008 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 : 2294.652
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.72
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 : 3591.619
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.72
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.584
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.72
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 : 3591.642
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.72
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 : 3491.857
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.72
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 : 3591.621
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.72
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.347
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.72
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 : 3591.634
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127155092 kB
MemAvailable: 126934904 kB
Buffers: 3280 kB
Cached: 592556 kB
SwapCached: 0 kB
Active: 3276540 kB
Inactive: 394428 kB
Active(anon): 3093088 kB
Inactive(anon): 0 kB
Active(file): 183452 kB
Inactive(file): 394428 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 94344 kB
Writeback: 4 kB
AnonPages: 3074984 kB
Mapped: 142420 kB
Shmem: 17956 kB
KReclaimable: 83116 kB
Slab: 160984 kB
SReclaimable: 83116 kB
SUnreclaim: 77868 kB
KernelStack: 4096 kB
PageTables: 9212 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 3519724 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1679360 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432832 MiB
End job on nodeC008 at 2025-06-28 21:04:13