1339.27/727.04 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1339.27/727.04 c numVar: 103760
1339.27/727.04 c numCon: 89518
1339.27/727.04 c numEqual: 10040
1339.27/727.04 c intSize: 13
1339.27/727.04 c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1339.27/727.04 c ------------------- Paras list -------------------
1339.27/727.04 c Name Type Now Default Comment
1339.27/727.04 c timeout double 3600.000000 3600
1339.27/727.04 c mip_time double 0.200000 0.5
1339.27/727.04 c ls_time double 10.000000 10
1339.27/727.04 c safe_mode int 1 1 1 trust; 2 feasible
1339.27/727.04 c mip_emphasis int 5 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1339.27/727.04 c random_seed int 0 0
1339.27/727.04 c sample_size int 50 50
1339.27/727.04 c sub_score int 1 1
1339.27/727.04 c tabu_base int 3 3
1339.27/727.04 c tabu_variation int 1 1
1339.27/727.04 c sub_div int 4 4
1339.27/727.04 c nbcore int 2 1
1339.27/727.04 c memlimit int 31000 31744 memory limit in megabytes
1339.27/727.04 c print_sol int 1 1
1339.27/727.04 c tmpdir string . "."
1339.27/727.04 c home string HOME "."
1339.27/727.04 c benchname string HOME/instance-4545106-1753223579.opb ""
1339.27/727.04 c --------------------------------------------------
1339.27/727.04 c Local Search solver
1339.27/727.04 c MIP solver
1339.27/727.04 c use Exact solver
3600.04/2994.90 c receive signal 15, try to interrupt solver...
1339.30/2995.01 c Exact solver (PID 184469) interrupted gracefully.
3600.44/2995.44 s UNKNOWN
3600.44/2995.44 c Total time: 2996
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 (54199 MiB free)
memory of node 1: 64465 MiB (19637 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545106-1753223579/watcher-4545106-1753223579 -o /tmp/evaluation-result-4545106-1753223579/solver-4545106-1753223579 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753219980-181602 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4545106-1753223579.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=184248, runsolver pid=184245
[startup+0.100075 s]*
/proc/loadavg: 6.10 6.03 5.87 7/254 184249
/proc/meminfo: memFree=75573516/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=81944 memory=39176 CPUtime=0.09 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) R 184245 184248 181591 0 -1 4194304 8282 0 0 0 7 2 0 0 20 0 1 0 238037402 83910656 9794 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 20486 9794 1184 6655 0 10721 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 81944 KiB
Current children cumulated memory: 39176 KiB
[startup+0.213396 s]*
/proc/loadavg: 6.10 6.03 5.87 7/254 184249
/proc/meminfo: memFree=75557640/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=105308 memory=62600 CPUtime=0.21 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) R 184245 184248 181591 0 -1 4194304 14134 0 0 0 17 4 0 0 20 0 1 0 238037402 107835392 15650 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 26327 15650 1184 6655 0 16562 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 105308 KiB
Current children cumulated memory: 62600 KiB
[startup+0.313223 s]*
/proc/loadavg: 6.10 6.03 5.87 7/254 184249
/proc/meminfo: memFree=75533448/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=126956 memory=84232 CPUtime=0.3 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) R 184245 184248 181591 0 -1 4194304 19551 0 0 0 25 5 0 0 20 0 1 0 238037402 130002944 21058 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 31739 21058 1184 6655 0 21974 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 126956 KiB
Current children cumulated memory: 84232 KiB
[startup+0.700338 s]
/proc/loadavg: 6.10 6.03 5.87 7/254 184249
/proc/meminfo: memFree=75478008/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=228600 memory=194096 CPUtime=0.67 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) R 184245 184248 181591 0 -1 4194304 44952 0 0 0 55 12 0 0 20 0 1 0 238037402 234086400 48492 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 57150 48492 1184 6655 0 47385 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 228600 KiB
Current children cumulated memory: 194096 KiB
[startup+1.50036 s]
/proc/loadavg: 6.10 6.03 5.87 7/254 184249
/proc/meminfo: memFree=75338388/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=430636 memory=395568 CPUtime=1.47 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) R 184245 184248 181591 0 -1 4194304 95346 0 0 0 126 21 0 0 20 0 1 0 238037402 440971264 98892 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 107659 98892 1184 6655 0 97894 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 430636 KiB
Current children cumulated memory: 395568 KiB
[startup+3.11299 s]
/proc/loadavg: 6.09 6.03 5.88 7/254 184249
/proc/meminfo: memFree=75179644/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=467244 memory=432048 CPUtime=3.08 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) R 184245 184248 181591 0 -1 4194304 104455 0 0 0 284 24 0 0 20 0 1 0 238037402 478457856 108012 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 116811 108012 1184 6655 0 107046 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 467244 KiB
Current children cumulated memory: 432048 KiB
[startup+6.30036 s]
/proc/loadavg: 6.09 6.03 5.88 7/254 184249
/proc/meminfo: memFree=75116672/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=467244 memory=432048 CPUtime=6.26 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) R 184245 184248 181591 0 -1 4194304 104465 0 0 0 602 24 0 0 20 0 1 0 238037402 478457856 108012 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 116811 108012 1184 6655 0 107046 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 467244 KiB
Current children cumulated memory: 432048 KiB
[startup+12.7004 s]
/proc/loadavg: 6.08 6.03 5.88 7/255 184250
/proc/meminfo: memFree=75116936/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=832488 memory=726720 CPUtime=12.64 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) R 184245 184248 181591 0 -1 4194304 138909 0 0 0 1229 35 0 0 20 0 2 0 238037402 852467712 181680 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 208122 181680 2624 6655 0 182005 0
[pid=184248/tid=184250] ppid=184245 vsize=832488 memory=726720 CPUtime=0 cores=4,6
/proc/184248/task/184250/stat : 184250 (LSIPExact) S 184245 184248 181591 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 238038488 852467712 181680 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 832488 KiB
Current children cumulated memory: 726720 KiB
[startup+25.5002 s]
/proc/loadavg: 6.14 6.04 5.88 8/254 184342
/proc/meminfo: memFree=100735656/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=1376688 memory=1254472 CPUtime=30.81 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) R 184245 184248 181591 0 -1 4194304 248551 0 0 0 3007 74 0 0 20 0 2 0 238037402 1409728512 313618 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 344172 313618 3424 6655 0 322298 0
[pid=184248/tid=184250] ppid=184245 vsize=1376688 memory=1061948 CPUtime=5.48 cores=4,6
/proc/184248/task/184250/stat : 184250 (LSIPExact) R 184245 184248 181591 0 -1 4194368 33352 0 0 0 538 10 0 0 20 0 2 0 238038488 1409728512 313618 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
Current children cumulated CPU time: 30.81 s
Current children cumulated vsize: 1376688 KiB
Current children cumulated memory: 1254472 KiB
[startup+51.1136 s]
/proc/loadavg: 6.43 6.12 5.92 8/255 184343
/proc/meminfo: memFree=100084796/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=1378004 memory=1290948 CPUtime=67.36 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) R 184245 184248 181591 0 -1 4194304 262629 0 0 0 6659 77 0 0 20 0 2 0 238037402 1411076096 322737 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 344501 322737 3456 6655 0 330616 0
[pid=184248/tid=184250] ppid=184245 vsize=1378004 memory=1290948 CPUtime=16.5 cores=4,6
/proc/184248/task/184250/stat : 184250 (LSIPExact) S 184245 184248 181591 0 -1 4194368 42740 0 0 0 1638 12 0 0 20 0 2 0 238038488 1411076096 322737 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
Current children cumulated CPU time: 67.36 s
Current children cumulated vsize: 1378004 KiB
Current children cumulated memory: 1290948 KiB
[startup+102.3 s]
/proc/loadavg: 6.85 6.29 5.98 8/255 184345
/proc/meminfo: memFree=100010364/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=1385792 memory=1299404 CPUtime=118.4 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) R 184245 184248 181591 0 -1 4194304 278561 0 0 0 11761 79 0 0 20 0 2 0 238037402 1419051008 324851 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 346448 324851 3456 6655 0 332563 0
[pid=184248/tid=184250] ppid=184245 vsize=1385792 memory=16368 CPUtime=16.5 cores=4,6
/proc/184248/task/184250/stat : 184250 (LSIPExact) S 184245 184248 181591 0 -1 4194368 42740 0 0 0 1638 12 0 0 20 0 2 0 238038488 1419051008 324851 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
Current children cumulated CPU time: 118.4 s
Current children cumulated vsize: 1385792 KiB
Current children cumulated memory: 1299404 KiB
[startup+162.3 s]
/proc/loadavg: 7.48 6.56 6.10 9/255 184347
/proc/meminfo: memFree=99626696/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=1665844 memory=1563892 CPUtime=218.53 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) R 184245 184248 181591 0 -1 4194304 383411 0 0 0 21749 104 0 0 20 0 2 0 238037402 1705824256 390973 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 416461 390973 3520 6655 0 402576 0
[pid=184248/tid=184250] ppid=184245 vsize=1665844 memory=1299404 CPUtime=56.86 cores=4,6
/proc/184248/task/184250/stat : 184250 (LSIPExact) R 184245 184248 181591 0 -1 4194368 55456 0 0 0 5671 15 0 0 20 0 2 0 238038488 1705824256 390973 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
Current children cumulated CPU time: 218.53 s
Current children cumulated vsize: 1665844 KiB
Current children cumulated memory: 1563892 KiB
[startup+222.3 s]
/proc/loadavg: 7.75 6.80 6.21 9/255 184395
/proc/meminfo: memFree=99723312/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=1665844 memory=1564532 CPUtime=337.54 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) R 184245 184248 181591 0 -1 4194304 410255 0 0 0 33646 108 0 0 20 0 2 0 238037402 1705824256 391133 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 416461 391133 3552 6655 0 402576 0
[pid=184248/tid=184250] ppid=184245 vsize=1665844 memory=16368 CPUtime=116.1 cores=4,6
/proc/184248/task/184250/stat : 184250 (LSIPExact) R 184245 184248 181591 0 -1 4194368 70990 0 0 0 11593 17 0 0 20 0 2 0 238038488 1705824256 391133 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
Current children cumulated CPU time: 337.54 s
Current children cumulated vsize: 1665844 KiB
Current children cumulated memory: 1564532 KiB
[startup+282.3 s]
/proc/loadavg: 7.35 6.86 6.27 8/251 184407
/proc/meminfo: memFree=102647244/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=1782008 memory=1675280 CPUtime=456.51 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) R 184245 184248 181591 0 -1 4194304 489807 0 0 0 45528 123 0 0 20 0 2 0 238037402 1824776192 418820 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 445502 418820 3552 6655 0 431617 0
[pid=184248/tid=184250] ppid=184245 vsize=1782008 memory=1741192 CPUtime=175.37 cores=4,6
/proc/184248/task/184250/stat : 184250 (LSIPExact) R 184245 184248 181591 0 -1 4194368 78443 0 0 0 17516 21 0 0 20 0 2 0 238038488 1824776192 418820 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
Current children cumulated CPU time: 456.51 s
Current children cumulated vsize: 1782008 KiB
Current children cumulated memory: 1675280 KiB
[startup+342.3 s]
/proc/loadavg: 7.54 7.00 6.36 8/257 184447
/proc/meminfo: memFree=101861348/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=1839564 memory=1717532 CPUtime=575.52 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) R 184245 184248 181591 0 -1 4194304 561983 0 0 0 57419 133 0 0 20 0 2 0 238037402 1883713536 429383 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 459891 429383 3552 6655 0 446006 0
[pid=184248/tid=184250] ppid=184245 vsize=1839564 memory=1741192 CPUtime=234.67 cores=4,6
/proc/184248/task/184250/stat : 184250 (LSIPExact) R 184245 184248 181591 0 -1 4194368 92848 0 0 0 23442 25 0 0 20 0 2 0 238038488 1883713536 429383 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
Current children cumulated CPU time: 575.52 s
Current children cumulated vsize: 1839564 KiB
Current children cumulated memory: 1717532 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/184469/statm: 166052 157602 1088 1011 0 164819 0
Current children cumulated CPU time: 3108.92 s
Current children cumulated vsize: 2354052 KiB
Current children cumulated memory: 2258680 KiB
[startup+2562.3 s]
/proc/loadavg: 2.11 3.02 4.50 3/239 184821
/proc/meminfo: memFree=101939832/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=1689844 memory=1628272 CPUtime=1339.3 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) S 184245 184248 181591 0 -1 4194304 848706 0 0 0 133749 181 0 0 20 0 1 0 238037402 1730400256 407068 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 422461 407068 3584 6655 0 408576 0
[pid=184469] ppid=184248 vsize=664208 memory=632456 CPUtime=1829.45 cores=4,6
/proc/184469/stat : 184469 (Exact) R 184248 184469 184469 0 -1 4194304 87299 0 0 0 182908 37 0 0 20 0 1 0 238110107 680148992 158114 18446744073709551615 4198400 8335837 140733776805280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 35528704 140733776812217 140733776812571 140733776812571 140733776818127 0
/proc/184469/statm: 166052 158114 1088 1011 0 164819 0
Current children cumulated CPU time: 3168.75 s
Current children cumulated vsize: 2354052 KiB
Current children cumulated memory: 2260728 KiB
[startup+2622.3 s]
/proc/loadavg: 2.11 2.85 4.35 3/240 184824
/proc/meminfo: memFree=101914500/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=1689844 memory=1628272 CPUtime=1339.3 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) S 184245 184248 181591 0 -1 4194304 848706 0 0 0 133749 181 0 0 20 0 1 0 238037402 1730400256 407068 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 422461 407068 3584 6655 0 408576 0
[pid=184469] ppid=184248 vsize=664208 memory=632456 CPUtime=1889.27 cores=4,6
/proc/184469/stat : 184469 (Exact) R 184248 184469 184469 0 -1 4194304 87379 0 0 0 188890 37 0 0 20 0 1 0 238110107 680148992 158114 18446744073709551615 4198400 8335837 140733776805280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 35528704 140733776812217 140733776812571 140733776812571 140733776818127 0
/proc/184469/statm: 166052 158114 1088 1011 0 164819 0
Current children cumulated CPU time: 3228.57 s
Current children cumulated vsize: 2354052 KiB
Current children cumulated memory: 2260728 KiB
[startup+2682.3 s]
/proc/loadavg: 2.10 2.71 4.20 3/240 184826
/proc/meminfo: memFree=101915892/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=1689844 memory=1628272 CPUtime=1339.3 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) S 184245 184248 181591 0 -1 4194304 848706 0 0 0 133749 181 0 0 20 0 1 0 238037402 1730400256 407068 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 422461 407068 3584 6655 0 408576 0
[pid=184469] ppid=184248 vsize=664208 memory=632456 CPUtime=1949.09 cores=4,6
/proc/184469/stat : 184469 (Exact) R 184248 184469 184469 0 -1 4194304 87569 0 0 0 194872 37 0 0 20 0 1 0 238110107 680148992 158114 18446744073709551615 4198400 8335837 140733776805280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 35528704 140733776812217 140733776812571 140733776812571 140733776818127 0
/proc/184469/statm: 166052 158114 1088 1011 0 164819 0
Current children cumulated CPU time: 3288.39 s
Current children cumulated vsize: 2354052 KiB
Current children cumulated memory: 2260728 KiB
[startup+2742.3 s]
/proc/loadavg: 2.08 2.59 4.07 3/240 184828
/proc/meminfo: memFree=101912632/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=1689844 memory=1628272 CPUtime=1339.3 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) S 184245 184248 181591 0 -1 4194304 848706 0 0 0 133749 181 0 0 20 0 1 0 238037402 1730400256 407068 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 422461 407068 3584 6655 0 408576 0
[pid=184469] ppid=184248 vsize=667472 memory=635784 CPUtime=2008.9 cores=4,6
/proc/184469/stat : 184469 (Exact) R 184248 184469 184469 0 -1 4194304 88461 0 0 0 200853 37 0 0 20 0 1 0 238110107 683491328 158946 18446744073709551615 4198400 8335837 140733776805280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 35528704 140733776812217 140733776812571 140733776812571 140733776818127 0
/proc/184469/statm: 166868 158946 1088 1011 0 165635 0
Current children cumulated CPU time: 3348.2 s
Current children cumulated vsize: 2357316 KiB
Current children cumulated memory: 2264056 KiB
[startup+2802.3 s]
/proc/loadavg: 2.06 2.50 3.94 3/240 184830
/proc/meminfo: memFree=101896880/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=1689844 memory=1628272 CPUtime=1339.3 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) S 184245 184248 181591 0 -1 4194304 848706 0 0 0 133749 181 0 0 20 0 1 0 238037402 1730400256 407068 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 422461 407068 3584 6655 0 408576 0
[pid=184469] ppid=184248 vsize=667472 memory=635784 CPUtime=2068.72 cores=4,6
/proc/184469/stat : 184469 (Exact) R 184248 184469 184469 0 -1 4194304 88683 0 0 0 206835 37 0 0 20 0 1 0 238110107 683491328 158946 18446744073709551615 4198400 8335837 140733776805280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 35528704 140733776812217 140733776812571 140733776812571 140733776818127 0
/proc/184469/statm: 166868 158946 1088 1011 0 165635 0
Current children cumulated CPU time: 3408.02 s
Current children cumulated vsize: 2357316 KiB
Current children cumulated memory: 2264056 KiB
[startup+2862.3 s]
/proc/loadavg: 2.07 2.42 3.82 3/241 184835
/proc/meminfo: memFree=101876380/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=1689844 memory=1628272 CPUtime=1339.3 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) S 184245 184248 181591 0 -1 4194304 848706 0 0 0 133749 181 0 0 20 0 1 0 238037402 1730400256 407068 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 422461 407068 3584 6655 0 408576 0
[pid=184469] ppid=184248 vsize=667472 memory=635784 CPUtime=2128.54 cores=4,6
/proc/184469/stat : 184469 (Exact) R 184248 184469 184469 0 -1 4194304 88862 0 0 0 212817 37 0 0 20 0 1 0 238110107 683491328 158946 18446744073709551615 4198400 8335837 140733776805280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 35528704 140733776812217 140733776812571 140733776812571 140733776818127 0
/proc/184469/statm: 166868 158946 1088 1011 0 165635 0
Current children cumulated CPU time: 3467.84 s
Current children cumulated vsize: 2357316 KiB
Current children cumulated memory: 2264056 KiB
[startup+2922.3 s]
/proc/loadavg: 2.14 2.37 3.71 3/240 184841
/proc/meminfo: memFree=101877476/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=1689844 memory=1628272 CPUtime=1339.3 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) S 184245 184248 181591 0 -1 4194304 848706 0 0 0 133749 181 0 0 20 0 1 0 238037402 1730400256 407068 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 422461 407068 3584 6655 0 408576 0
[pid=184469] ppid=184248 vsize=667472 memory=635784 CPUtime=2188.36 cores=4,6
/proc/184469/stat : 184469 (Exact) R 184248 184469 184469 0 -1 4194304 88987 0 0 0 218799 37 0 0 20 0 1 0 238110107 683491328 158946 18446744073709551615 4198400 8335837 140733776805280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 35528704 140733776812217 140733776812571 140733776812571 140733776818127 0
/proc/184469/statm: 166868 158946 1088 1011 0 165635 0
Current children cumulated CPU time: 3527.66 s
Current children cumulated vsize: 2357316 KiB
Current children cumulated memory: 2264056 KiB
[startup+2982.3 s]
/proc/loadavg: 2.11 2.32 3.61 3/240 184843
/proc/meminfo: memFree=101875944/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=1689844 memory=1628272 CPUtime=1339.3 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) S 184245 184248 181591 0 -1 4194304 848706 0 0 0 133749 181 0 0 20 0 1 0 238037402 1730400256 407068 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 422461 407068 3584 6655 0 408576 0
[pid=184469] ppid=184248 vsize=667472 memory=635784 CPUtime=2248.18 cores=4,6
/proc/184469/stat : 184469 (Exact) R 184248 184469 184469 0 -1 4194304 89096 0 0 0 224781 37 0 0 20 0 1 0 238110107 683491328 158946 18446744073709551615 4198400 8335837 140733776805280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 35528704 140733776812217 140733776812571 140733776812571 140733776818127 0
/proc/184469/statm: 166868 158946 1088 1011 0 165635 0
Current children cumulated CPU time: 3587.48 s
Current children cumulated vsize: 2357316 KiB
Current children cumulated memory: 2264056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2994.9 s]
/proc/loadavg: 2.09 2.30 3.58 3/240 184843
/proc/meminfo: memFree=101872352/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=1689844 memory=1628272 CPUtime=1339.3 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) S 184245 184248 181591 0 -1 4194304 848706 0 0 0 133749 181 0 0 20 0 1 0 238037402 1730400256 407068 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 422461 407068 3584 6655 0 408576 0
[pid=184469] ppid=184248 vsize=667472 memory=637948 CPUtime=2260.74 cores=4,6
/proc/184469/stat : 184469 (Exact) R 184248 184469 184469 0 -1 4194304 89099 0 0 0 226037 37 0 0 20 0 1 0 238110107 683491328 159487 18446744073709551615 4198400 8335837 140733776805280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 35528704 140733776812217 140733776812571 140733776812571 140733776818127 0
/proc/184469/statm: 166868 159487 1088 1011 0 165635 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2357316 KiB
Current children cumulated memory: 2266220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2995.48 s]
# the end of solver process 184248 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.26 s, system=2.27936 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2995.2 s]
/proc/loadavg: 2.09 2.30 3.58 2/240 184844
/proc/meminfo: memFree=102513528/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=1689844 memory=1628272 CPUtime=3600.24 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) R 184245 184248 181591 0 -1 4194304 887695 89246 0 0 133765 183 226039 37 20 0 1 0 238037402 1730400256 407068 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 422461 407068 3584 6655 0 408576 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 1689844 KiB
Current children cumulated memory: 1628272 KiB
[startup+2995.4 s]
/proc/loadavg: 2.09 2.30 3.58 2/240 184844
/proc/meminfo: memFree=102513528/131382116 swapFree=33005528/33010684
[pid=184248] ppid=184245 vsize=1689844 memory=1628272 CPUtime=3600.44 cores=4,6
/proc/184248/stat : 184248 (LSIPExact) R 184245 184248 181591 0 -1 4194304 923399 89246 0 0 133783 185 226039 37 20 0 1 0 238037402 1730400256 407068 18446744073709551615 94295857455104 94295884711505 140736511595328 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94295893214344 94295893645952 94295894118400 140736511596888 140736511597064 140736511597064 140736511602668 0
/proc/184248/statm: 422461 407068 3584 6655 0 408576 0
Current children cumulated CPU time: 3600.44 s
Current children cumulated vsize: 1689844 KiB
Current children cumulated memory: 1628272 KiB
Child status: 0
Real time (s): 2995.48
CPU time (s): 3600.54
CPU user time (s): 3598.26
CPU system time (s): 2.27936
CPU usage (%): 120.199
Max. virtual memory (cumulated for all children) (KiB): 2357316
Max. memory (cumulated for all children) (KiB): 2266220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.26
system time used= 2.27936
maximum resident set size= 1925852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1030678
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= 511
involuntary context switches= 26885
# summary of solver processes directly reported to runsolver:
# pid: 184248
# total CPU time (s): 3600.54
# total CPU user time (s): 3598.26
# total CPU system time (s): 2.27936
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.439 second user time and 26.0041 second system time
The end
Begin job on nodeC010 at 2025-07-23 00:33:00
IDJOB=4545106
IDBENCH=180714
IDSOLVER=3336
FILE ID=nodeC010/4545106-1753223579
RUNJOBID= nodeC010-1753219980-181602
SLURM_JOB_ID= 9687804
Free space on /tmp= 432460 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-AverageAvoiding-mini-40_c24.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545106-1753223579/watcher-4545106-1753223579 -o /tmp/evaluation-result-4545106-1753223579/solver-4545106-1753223579 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753219980-181602 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4545106-1753223579.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e60f0e926bcd6b192a3b449cde285525
RANDOM SEED=1543928585
nodeC010 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 : 3591.478
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.36
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.257
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.36
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 : 3591.412
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.36
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 : 3505.329
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.36
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 : 1496.436
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.36
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 : 3491.806
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.36
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.310
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.36
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 : 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 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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 75602004 kB
MemAvailable: 99936464 kB
Buffers: 228 kB
Cached: 25098532 kB
SwapCached: 4300 kB
Active: 30730924 kB
Inactive: 24262036 kB
Active(anon): 29867320 kB
Inactive(anon): 48712 kB
Active(file): 863604 kB
Inactive(file): 24213324 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005528 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 72704 kB
Writeback: 0 kB
AnonPages: 29887356 kB
Mapped: 143576 kB
Shmem: 21832 kB
KReclaimable: 194320 kB
Slab: 285696 kB
SReclaimable: 194320 kB
SUnreclaim: 91376 kB
KernelStack: 4096 kB
PageTables: 61956 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 32023436 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16408576 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432588 MiB
End job on nodeC010 at 2025-07-23 01:22:56