1072.23/730.32 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1072.23/730.32 c numVar: 2723840
1072.23/730.32 c numCon: 11664
1072.23/730.32 c numEqual: 0
1072.23/730.32 c intSize: 23
1072.23/730.32 c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1072.23/730.32 c ------------------- Paras list -------------------
1072.23/730.32 c Name Type Now Default Comment
1072.23/730.32 c timeout double 3600.000000 3600
1072.23/730.32 c mip_time double 0.200000 0.5
1072.23/730.32 c ls_time double 10.000000 10
1072.23/730.32 c safe_mode int 1 1 1 trust; 2 feasible
1072.23/730.32 c mip_emphasis int 5 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1072.23/730.32 c random_seed int 0 0
1072.23/730.32 c sample_size int 50 50
1072.23/730.32 c sub_score int 1 1
1072.23/730.32 c tabu_base int 3 3
1072.23/730.32 c tabu_variation int 1 1
1072.23/730.32 c sub_div int 4 4
1072.23/730.32 c nbcore int 2 1
1072.23/730.32 c memlimit int 31000 31744 memory limit in megabytes
1072.23/730.32 c print_sol int 1 1
1072.23/730.32 c tmpdir string . "."
1072.23/730.32 c home string HOME "."
1072.23/730.32 c benchname string HOME/instance-4527115-1752235167.opb ""
1072.23/730.32 c --------------------------------------------------
1072.23/730.32 c Local Search solver
1072.23/730.32 c MIP solver
1072.23/730.32 c use Exact solver
1168.55/826.90 c receive signal 15, try to interrupt solver...
1072.26/827.31 c Exact solver (PID 118320) interrupted gracefully.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (61185 MiB free)
memory of node 1: 64507 MiB (63363 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527115-1752235167/watcher-4527115-1752235167 -o /tmp/evaluation-result-4527115-1752235167/solver-4527115-1752235167 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752232205-117088 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527115-1752235167.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=118262, runsolver pid=118259
[startup+0.100065 s]*
/proc/loadavg: 5.13 4.92 5.01 6/267 118263
/proc/meminfo: memFree=127497532/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=105532 memory=39168 CPUtime=0.08 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 8766 0 0 0 7 1 0 0 20 0 1 0 139194718 108064768 9792 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 26383 9792 1184 6655 0 16618 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 105532 KiB
Current children cumulated memory: 39168 KiB
[startup+0.20568 s]*
/proc/loadavg: 5.13 4.92 5.01 6/267 118263
/proc/meminfo: memFree=127465276/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=165544 memory=73344 CPUtime=0.18 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 17299 0 0 0 15 3 0 0 20 0 1 0 139194718 169517056 18336 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 41386 18336 1184 6655 0 31621 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 165544 KiB
Current children cumulated memory: 73344 KiB
[startup+0.30559 s]*
/proc/loadavg: 5.13 4.92 5.01 6/267 118263
/proc/meminfo: memFree=127433020/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=219736 memory=106368 CPUtime=0.28 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 25599 0 0 0 23 5 0 0 20 0 1 0 139194718 225009664 26592 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 54934 26592 1184 6655 0 45169 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 219736 KiB
Current children cumulated memory: 106368 KiB
[startup+0.700201 s]
/proc/loadavg: 5.13 4.92 5.01 6/267 118263
/proc/meminfo: memFree=127352384/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=784204 memory=679072 CPUtime=0.67 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 60432 0 0 0 47 20 0 0 20 0 1 0 139194718 803024896 169768 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 196091 169768 1184 6655 0 186326 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 784204 KiB
Current children cumulated memory: 679072 KiB
[startup+1.50019 s]
/proc/loadavg: 5.13 4.92 5.01 6/267 118263
/proc/meminfo: memFree=126527864/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=1396772 memory=1291552 CPUtime=1.46 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 213566 0 0 0 105 41 0 0 20 0 1 0 139194718 1430294528 322888 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 349193 322888 1184 6655 0 339428 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1396772 KiB
Current children cumulated memory: 1291552 KiB
[startup+3.10548 s]
/proc/loadavg: 5.12 4.92 5.01 6/267 118263
/proc/meminfo: memFree=125728904/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=1942220 memory=1836944 CPUtime=3.07 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 338307 0 0 0 243 64 0 0 20 0 1 0 139194718 1988833280 459236 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 485555 459236 1184 6655 0 475790 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1942220 KiB
Current children cumulated memory: 1836944 KiB
[startup+6.30017 s]
/proc/loadavg: 5.12 4.92 5.01 6/267 118263
/proc/meminfo: memFree=125333784/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=2301200 memory=2195728 CPUtime=6.25 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 428252 0 0 0 549 76 0 0 20 0 1 0 139194718 2356428800 548932 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 575300 548932 1184 6655 0 565535 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2301200 KiB
Current children cumulated memory: 2195728 KiB
[startup+12.7002 s]
/proc/loadavg: 5.10 4.92 5.01 6/267 118263
/proc/meminfo: memFree=124285076/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=3524300 memory=3299104 CPUtime=12.64 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 559780 0 0 0 1151 113 0 0 20 0 1 0 139194718 3608883200 824776 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 881075 824776 2208 6655 0 871310 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 3524300 KiB
Current children cumulated memory: 3299104 KiB
[startup+25.5002 s]
/proc/loadavg: 5.09 4.92 5.01 6/268 118264
/proc/meminfo: memFree=123448276/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=4447748 memory=4029092 CPUtime=25.4 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 590379 0 0 0 2401 139 0 0 20 0 2 0 139194718 4554493952 1007273 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 1111937 1007273 2688 6655 0 1085820 0
[pid=118262/tid=118264] ppid=118259 vsize=4447748 memory=10496 CPUtime=0 cores=1,3
/proc/118262/task/118264/stat : 118264 (LSIPExact) S 118259 118262 117068 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 139196064 4554493952 1007273 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4447748 KiB
Current children cumulated memory: 4029092 KiB
[startup+51.1055 s]
/proc/loadavg: 5.13 4.95 5.01 6/267 118266
/proc/meminfo: memFree=123486832/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=4447748 memory=4029092 CPUtime=50.95 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 601836 0 0 0 4955 140 0 0 20 0 2 0 139194718 4554493952 1007273 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 1111937 1007273 2688 6655 0 1085820 0
[pid=118262/tid=118264] ppid=118259 vsize=4447748 memory=20224 CPUtime=0 cores=1,3
/proc/118262/task/118264/stat : 118264 (LSIPExact) S 118259 118262 117068 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 139196064 4554493952 1007273 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 4447748 KiB
Current children cumulated memory: 4029092 KiB
[startup+102.3 s]
/proc/loadavg: 5.11 4.97 5.01 6/267 118278
/proc/meminfo: memFree=121526332/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=7015572 memory=5962100 CPUtime=102.02 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 705376 0 0 0 9995 207 0 0 20 0 2 0 139194718 7183945728 1490525 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 1753893 1490525 2880 6655 0 1727776 0
[pid=118262/tid=118264] ppid=118259 vsize=7015572 memory=5962100 CPUtime=0 cores=1,3
/proc/118262/task/118264/stat : 118264 (LSIPExact) S 118259 118262 117068 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 139196064 7183945728 1490525 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 7015572 KiB
Current children cumulated memory: 5962100 KiB
[startup+162.3 s]
/proc/loadavg: 5.09 5.00 5.01 6/268 118287
/proc/meminfo: memFree=121270100/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=7355832 memory=6222272 CPUtime=161.88 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 800837 0 0 0 15923 265 0 0 20 0 2 0 139194718 7532371968 1555568 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 1838958 1555568 2912 6655 0 1812841 0
[pid=118262/tid=118264] ppid=118259 vsize=7355832 memory=6152440 CPUtime=0 cores=1,3
/proc/118262/task/118264/stat : 118264 (LSIPExact) S 118259 118262 117068 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 139196064 7532371968 1555568 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 7355832 KiB
Current children cumulated memory: 6222272 KiB
[startup+222.3 s]
/proc/loadavg: 5.14 5.03 5.02 6/268 118289
/proc/meminfo: memFree=121245776/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=7375024 memory=6241600 CPUtime=221.74 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 810861 0 0 0 21907 267 0 0 20 0 2 0 139194718 7552024576 1560400 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 1843756 1560400 2912 6655 0 1817639 0
[pid=118262/tid=118264] ppid=118259 vsize=7375024 memory=6229440 CPUtime=0 cores=1,3
/proc/118262/task/118264/stat : 118264 (LSIPExact) S 118259 118262 117068 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 139196064 7552024576 1560400 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 7375024 KiB
Current children cumulated memory: 6241600 KiB
[startup+282.3 s]
/proc/loadavg: 5.10 5.04 5.02 6/268 118291
/proc/meminfo: memFree=121229284/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=7391476 memory=6257984 CPUtime=281.61 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 820359 0 0 0 27892 269 0 0 20 0 2 0 139194718 7568871424 1564496 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 1847869 1564496 2912 6655 0 1821752 0
[pid=118262/tid=118264] ppid=118259 vsize=7391476 memory=6257216 CPUtime=0 cores=1,3
/proc/118262/task/118264/stat : 118264 (LSIPExact) S 118259 118262 117068 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 139196064 7568871424 1564496 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 7391476 KiB
Current children cumulated memory: 6257984 KiB
[startup+342.3 s]
/proc/loadavg: 5.34 5.11 5.04 6/268 118293
/proc/meminfo: memFree=118911284/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=10467496 memory=8496128 CPUtime=363.05 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 1084873 0 0 0 35921 384 0 0 20 0 2 0 139194718 10718715904 2124032 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 2616874 2124032 3488 6655 0 2564868 0
[pid=118262/tid=118264] ppid=118259 vsize=10467496 memory=16432 CPUtime=21.74 cores=1,3
/proc/118262/task/118264/stat : 118264 (LSIPExact) S 118259 118262 117068 0 -1 4194368 104664 0 0 0 2132 42 0 0 20 0 2 0 139196064 10718715904 2124032 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
Current children cumulated CPU time: 363.05 s
Current children cumulated vsize: 10467496 KiB
Current children cumulated memory: 8496128 KiB
[startup+402.3 s]
/proc/loadavg: 5.22 5.12 5.05 6/269 118297
################
# More data... #
################
Current children cumulated vsize: 13839252 KiB
Current children cumulated memory: 11456048 KiB
[startup+522.3 s]
/proc/loadavg: 6.25 5.53 5.21 7/268 118301
/proc/meminfo: memFree=115914764/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=13839252 memory=11460748 CPUtime=659.51 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 1530753 0 0 0 65444 507 0 0 20 0 2 0 139194718 14171394048 2865187 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 3459813 2865187 3488 6655 0 3407807 0
[pid=118262/tid=118264] ppid=118259 vsize=13839252 memory=5760 CPUtime=138.75 cores=1,3
/proc/118262/task/118264/stat : 118264 (LSIPExact) R 118259 118262 117068 0 -1 4194368 178071 0 0 0 13821 54 0 0 20 0 2 0 139196064 14171394048 2865187 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
Current children cumulated CPU time: 659.51 s
Current children cumulated vsize: 13839252 KiB
Current children cumulated memory: 11460748 KiB
[startup+582.3 s]
/proc/loadavg: 5.75 5.54 5.23 6/268 118304
/proc/meminfo: memFree=115870076/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=13849876 memory=11480264 CPUtime=778.65 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 1633570 0 0 0 77349 516 0 0 20 0 2 0 139194718 14182273024 2870066 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 3462469 2870066 3488 6655 0 3410463 0
[pid=118262/tid=118264] ppid=118259 vsize=13849876 memory=5760 CPUtime=198.1 cores=1,3
/proc/118262/task/118264/stat : 118264 (LSIPExact) R 118259 118262 117068 0 -1 4194368 182312 0 0 0 19755 55 0 0 20 0 2 0 139196064 14182273024 2870066 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
Current children cumulated CPU time: 778.65 s
Current children cumulated vsize: 13849876 KiB
Current children cumulated memory: 11480264 KiB
[startup+642.3 s]
/proc/loadavg: 5.40 5.47 5.23 6/268 118306
/proc/meminfo: memFree=115838376/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=13839252 memory=11493760 CPUtime=897.75 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 1711433 0 0 0 89252 523 0 0 20 0 2 0 139194718 14171394048 2873440 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 3459813 2873440 3520 6655 0 3407807 0
[pid=118262/tid=118264] ppid=118259 vsize=13839252 memory=16432 CPUtime=257.44 cores=1,3
/proc/118262/task/118264/stat : 118264 (LSIPExact) R 118259 118262 117068 0 -1 4194368 186755 0 0 0 25688 56 0 0 20 0 2 0 139196064 14171394048 2873440 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
Current children cumulated CPU time: 897.75 s
Current children cumulated vsize: 13839252 KiB
Current children cumulated memory: 11493760 KiB
[startup+702.3 s]
/proc/loadavg: 5.21 5.40 5.21 6/267 118309
/proc/meminfo: memFree=115793572/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=13839252 memory=11493760 CPUtime=1016.88 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 1769155 0 0 0 101160 528 0 0 20 0 2 0 139194718 14171394048 2873440 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 3459813 2873440 3520 6655 0 3407807 0
[pid=118262/tid=118264] ppid=118259 vsize=13839252 memory=16432 CPUtime=316.79 cores=1,3
/proc/118262/task/118264/stat : 118264 (LSIPExact) R 118259 118262 117068 0 -1 4194368 201007 0 0 0 31622 57 0 0 20 0 2 0 139196064 14171394048 2873440 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
Current children cumulated CPU time: 1016.88 s
Current children cumulated vsize: 13839252 KiB
Current children cumulated memory: 11493760 KiB
[startup+762.3 s]
/proc/loadavg: 4.68 5.23 5.16 5/270 118321
/proc/meminfo: memFree=109351940/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=11971964 memory=9856444 CPUtime=1072.26 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) S 118259 118262 117068 0 -1 4194304 1933782 0 0 0 106688 538 0 0 20 0 1 0 139194718 12259291136 2464111 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 2992991 2464111 3552 6655 0 2941148 0
[pid=118320] ppid=118262 vsize=8041512 memory=7370716 CPUtime=31.87 cores=1,3
/proc/118320/stat : 118320 (Exact) R 118262 118320 118320 0 -1 4194304 1011315 0 0 0 2910 277 0 0 20 0 1 0 139267750 8234508288 1842679 18446744073709551615 4198400 8335837 140725364093744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 31391744 140725364099257 140725364099611 140725364099611 140725364105167 0
/proc/118320/statm: 2010378 1842679 960 1011 0 2009145 0
Current children cumulated CPU time: 1104.13 s
Current children cumulated vsize: 20013476 KiB
Current children cumulated memory: 17227160 KiB
[startup+822.3 s]
/proc/loadavg: 4.37 5.03 5.10 5/270 118323
/proc/meminfo: memFree=99809260/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=11971964 memory=9856444 CPUtime=1072.26 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) S 118259 118262 117068 0 -1 4194304 1933782 0 0 0 106688 538 0 0 20 0 1 0 139194718 12259291136 2464111 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 2992991 2464111 3552 6655 0 2941148 0
[pid=118320] ppid=118262 vsize=19292244 memory=17531768 CPUtime=91.7 cores=1,3
/proc/118320/stat : 118320 (Exact) R 118262 118320 118320 0 -1 4194304 2597153 0 0 0 8461 709 0 0 20 0 1 0 139267750 19755257856 4382942 18446744073709551615 4198400 8335837 140725364093744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 31391744 140725364099257 140725364099611 140725364099611 140725364105167 0
/proc/118320/statm: 4823061 4382942 960 1011 0 4821828 0
Current children cumulated CPU time: 1163.96 s
Current children cumulated vsize: 31264208 KiB
Current children cumulated memory: 27388212 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+826.9 s]
/proc/loadavg: 4.37 5.03 5.10 5/270 118323
/proc/meminfo: memFree=99214440/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=11971964 memory=9856444 CPUtime=1072.26 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) S 118259 118262 117068 0 -1 4194304 1933782 0 0 0 106688 538 0 0 20 0 1 0 139194718 12259291136 2464111 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 2992991 2464111 3552 6655 0 2941148 0
[pid=118320] ppid=118262 vsize=19780920 memory=18228144 CPUtime=96.29 cores=1,3
/proc/118320/stat : 118320 (Exact) R 118262 118320 118320 0 -1 4194304 2715027 0 0 0 8898 731 0 0 20 0 1 0 139267750 20255662080 4557036 18446744073709551615 4198400 8335837 140725364093744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 31391744 140725364099257 140725364099611 140725364099611 140725364105167 0
/proc/118320/statm: 4945230 4557036 960 1011 0 4943997 0
Current children cumulated CPU time: 1168.55 s
Current children cumulated vsize: 31752884 KiB
Current children cumulated memory: 28084588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+829.043 s]
# the end of solver process 118262 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=1157.33 s, system=13.3587 s
Solver just ended.
Dumping a history of the last processes samples
[startup+827.2 s]
/proc/loadavg: 4.34 5.01 5.09 5/270 118324
/proc/meminfo: memFree=101138248/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=11971964 memory=9856444 CPUtime=1072.26 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) S 118259 118262 117068 0 -1 4194304 1933783 135 0 0 106688 538 0 0 20 0 1 0 139194718 12259291136 2464111 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 16384 0 16386 1 0 0 17 3 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 2992991 2464111 3552 6655 0 2941148 0
Current children cumulated CPU time: 1072.26 s
Current children cumulated vsize: 11971964 KiB
Current children cumulated memory: 9856444 KiB
[startup+828 s]*
/proc/loadavg: 4.34 5.01 5.09 5/269 118324
/proc/meminfo: memFree=116577468/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=11780432 memory=9664912 CPUtime=1169.63 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 2132094 2715286 0 0 106746 548 8899 770 20 0 1 0 139194718 12063162368 2416228 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 2945108 2416228 3552 6655 0 2893265 0
Current children cumulated CPU time: 1169.63 s
Current children cumulated vsize: 11780432 KiB
Current children cumulated memory: 9664912 KiB
[startup+828.4 s]
/proc/loadavg: 4.34 5.01 5.09 5/269 118324
/proc/meminfo: memFree=116577468/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=11695304 memory=9579780 CPUtime=1170.02 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 2138060 2715286 0 0 106785 548 8899 770 20 0 1 0 139194718 11975991296 2394945 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 2923826 2394945 3552 6655 0 2871983 0
Current children cumulated CPU time: 1170.02 s
Current children cumulated vsize: 11695304 KiB
Current children cumulated memory: 9579780 KiB
[startup+828.8 s]
/proc/loadavg: 4.34 5.01 5.09 5/269 118324
/proc/meminfo: memFree=116577468/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=11674020 memory=9558496 CPUtime=1170.43 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 2144892 2715286 0 0 106825 549 8899 770 20 0 1 0 139194718 11954196480 2389624 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 2918505 2389624 3552 6655 0 2866662 0
Current children cumulated CPU time: 1170.43 s
Current children cumulated vsize: 11674020 KiB
Current children cumulated memory: 9558496 KiB
[startup+828.9 s]
/proc/loadavg: 4.34 5.01 5.09 5/269 118324
/proc/meminfo: memFree=116577468/131250000 swapFree=33010416/33010684
[pid=118262] ppid=118259 vsize=11674020 memory=9558496 CPUtime=1170.53 cores=1,3
/proc/118262/stat : 118262 (LSIPExact) R 118259 118262 117068 0 -1 4194304 2190434 2715286 0 0 106833 551 8899 770 20 0 1 0 139194718 11954196480 2389624 18446744073709551615 94657785913344 94657813170513 140730145195344 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94657821672584 94657822104192 94657839697920 140730145204568 140730145204744 140730145204744 140730145210348 0
/proc/118262/statm: 2918505 2389624 3552 6655 0 2866662 0
Current children cumulated CPU time: 1170.53 s
Current children cumulated vsize: 11674020 KiB
Current children cumulated memory: 9558496 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 829.043
CPU time (s): 1170.69
CPU user time (s): 1157.33
CPU system time (s): 13.3587
CPU usage (%): 141.209
Max. virtual memory (cumulated for all children) (KiB): 31752884
Max. memory (cumulated for all children) (KiB): 28084588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1157.33
system time used= 13.3587
maximum resident set size= 18228400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4905760
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= 389
involuntary context switches= 7189
# summary of solver processes directly reported to runsolver:
# pid: 118262
# total CPU time (s): 1170.69
# total CPU user time (s): 1157.33
# total CPU system time (s): 13.3587
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.74121 second user time and 3.84166 second system time
The end
Begin job on nodeC018 at 2025-07-11 13:59:29
IDJOB=4527115
IDBENCH=160492
IDSOLVER=3384
FILE ID=nodeC018/4527115-1752235167
RUNJOBID= nodeC018-1752232205-117088
SLURM_JOB_ID= 9682529
Free space on /tmp= 432312 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527115-1752235167/watcher-4527115-1752235167 -o /tmp/evaluation-result-4527115-1752235167/solver-4527115-1752235167 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752232205-117088 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527115-1752235167.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0020647681361a6ff6bc771888680f52
RANDOM SEED=978182326
nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.820
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.551
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.164
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.830
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.877
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.834
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.892
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.829
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127537552 kB
MemAvailable: 128661480 kB
Buffers: 2128 kB
Cached: 1885776 kB
SwapCached: 32 kB
Active: 1630116 kB
Inactive: 1407108 kB
Active(anon): 1167076 kB
Inactive(anon): 288 kB
Active(file): 463040 kB
Inactive(file): 1406820 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 178000 kB
Writeback: 0 kB
AnonPages: 1149612 kB
Mapped: 150236 kB
Shmem: 18044 kB
KReclaimable: 186216 kB
Slab: 279380 kB
SReclaimable: 186216 kB
SUnreclaim: 93164 kB
KernelStack: 4304 kB
PageTables: 5536 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1563400 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 718848 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432268 MiB
End job on nodeC018 at 2025-07-11 14:13:18