3600.17/1858.01 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.17/1858.01 c numVar: 1000400
3600.17/1858.01 c numCon: 2000307
3600.17/1858.01 c numEqual: 29707
3600.17/1858.01 c intSize: 38
3600.17/1858.01 c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.17/1858.01 c ------------------- Paras list -------------------
3600.17/1858.01 c Name Type Now Default Comment
3600.17/1858.01 c timeout double 3600.000000 3600
3600.17/1858.01 c mip_time double 0.600000 0.5
3600.17/1858.01 c ls_time double 10.000000 10
3600.17/1858.01 c safe_mode int 1 1 1 trust; 2 feasible
3600.17/1858.01 c mip_emphasis int 2 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.17/1858.01 c random_seed int 0 0
3600.17/1858.01 c sample_size int 50 50
3600.17/1858.01 c sub_score int 1 1
3600.17/1858.01 c tabu_base int 3 3
3600.17/1858.01 c tabu_variation int 1 1
3600.17/1858.01 c sub_div int 4 4
3600.17/1858.01 c nbcore int 2 1
3600.17/1858.01 c memlimit int 31000 31744 memory limit in megabytes
3600.17/1858.01 c print_sol int 1 1
3600.17/1858.01 c tmpdir string . "."
3600.17/1858.01 c home string HOME "."
3600.17/1858.01 c benchname string HOME/instance-4505341-1751445912.opb ""
3600.17/1858.01 c --------------------------------------------------
3600.17/1858.01 c Local Search solver
3600.17/1858.01 c MIP solver
3600.17/1858.01 c receive signal 15, try to interrupt solver...
3601.82/1859.04 c use Exact solver
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 (40992 MiB free)
memory of node 1: 64507 MiB (52851 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505341-1751445912/watcher-4505341-1751445912 -o /tmp/evaluation-result-4505341-1751445912/solver-4505341-1751445912 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751440305-68010 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4505341-1751445912.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=68956, runsolver pid=68953
[startup+0.100059 s]*
/proc/loadavg: 8.01 8.07 7.89 8/267 68957
/proc/meminfo: memFree=95939288/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=310268 memory=189624 CPUtime=0.09 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 34682 0 0 0 4 5 0 0 20 0 1 0 60271555 317714432 47406 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 77600 47406 1152 6655 0 67835 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 310268 KiB
Current children cumulated memory: 189624 KiB
[startup+0.206112 s]*
/proc/loadavg: 8.01 8.07 7.89 9/267 68957
/proc/meminfo: memFree=95794388/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=460880 memory=389304 CPUtime=0.19 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 72345 0 0 0 7 12 0 0 20 0 1 0 60271555 471941120 97326 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 115220 97326 1152 6655 0 105455 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 460880 KiB
Current children cumulated memory: 389304 KiB
[startup+0.305876 s]*
/proc/loadavg: 8.01 8.07 7.89 8/267 68957
/proc/meminfo: memFree=95685404/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=550168 memory=507164 CPUtime=0.29 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 95248 0 0 0 13 16 0 0 20 0 1 0 60271555 563372032 126791 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 137542 126791 1152 6655 0 127777 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 550168 KiB
Current children cumulated memory: 507164 KiB
[startup+0.700202 s]
/proc/loadavg: 8.01 8.07 7.89 8/267 68957
/proc/meminfo: memFree=95685404/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=594784 memory=551964 CPUtime=0.68 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 106432 0 0 0 48 20 0 0 20 0 1 0 60271555 609058816 137991 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 148729 137991 1152 6655 0 138964 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 594784 KiB
Current children cumulated memory: 551964 KiB
[startup+1.5002 s]
/proc/loadavg: 8.01 8.07 7.89 9/267 68957
/proc/meminfo: memFree=95299220/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=1064036 memory=1029420 CPUtime=1.48 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 167153 0 0 0 112 36 0 0 20 0 1 0 60271555 1089572864 257355 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 266009 257355 1152 6655 0 256244 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1064036 KiB
Current children cumulated memory: 1029420 KiB
[startup+3.10578 s]
/proc/loadavg: 8.01 8.07 7.89 9/267 68957
/proc/meminfo: memFree=94872152/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=1392412 memory=1357740 CPUtime=3.08 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 249287 0 0 0 259 49 0 0 20 0 1 0 60271555 1425829888 339435 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 348103 339435 1152 6655 0 338338 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1392412 KiB
Current children cumulated memory: 1357740 KiB
[startup+6.30021 s]
/proc/loadavg: 7.93 8.06 7.89 9/267 68957
/proc/meminfo: memFree=94450380/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=1827636 memory=1792932 CPUtime=6.26 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 354798 0 0 0 559 67 0 0 20 0 1 0 60271555 1871499264 448233 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 456909 448233 1152 6655 0 447144 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1827636 KiB
Current children cumulated memory: 1792932 KiB
[startup+12.7002 s]
/proc/loadavg: 7.86 8.04 7.88 9/266 68957
/proc/meminfo: memFree=93150396/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=3189056 memory=3132448 CPUtime=12.63 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 543023 0 0 0 1149 114 0 0 20 0 1 0 60271555 3265593344 783112 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 797264 783112 2240 6655 0 787499 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 3189056 KiB
Current children cumulated memory: 3132448 KiB
[startup+25.5002 s]
/proc/loadavg: 7.80 8.02 7.88 9/266 68958
/proc/meminfo: memFree=92322392/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=4212952 memory=3853668 CPUtime=25.37 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 590644 0 0 0 2393 144 0 0 20 0 2 0 60271555 4314062848 963417 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 1053238 963417 2752 6655 0 1027121 0
[pid=68956/tid=68958] ppid=68953 vsize=4212952 memory=280865494790432 CPUtime=0 cores=1,3
/proc/68956/task/68958/stat : 68958 (LSIPExact) S 68953 68956 67998 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 60272942 4314062848 963417 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 4212952 KiB
Current children cumulated memory: 3853668 KiB
[startup+51.1057 s]
/proc/loadavg: 7.40 7.90 7.85 7/266 69010
/proc/meminfo: memFree=99565888/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=6548664 memory=5943216 CPUtime=51.92 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 768536 0 0 0 4958 234 0 0 20 0 2 0 60271555 6705831936 1485804 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 1637166 1485804 3072 6655 0 1624953 0
[pid=68956/tid=68958] ppid=68953 vsize=6548664 memory=5840640 CPUtime=1.08 cores=1,3
/proc/68956/task/68958/stat : 68958 (LSIPExact) S 68953 68956 67998 0 -1 4194368 13130 0 0 0 102 6 0 0 20 0 2 0 60272942 6705831936 1485804 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
Current children cumulated CPU time: 51.92 s
Current children cumulated vsize: 6548664 KiB
Current children cumulated memory: 5943216 KiB
[startup+102.3 s]
/proc/loadavg: 6.46 7.56 7.73 7/268 69060
/proc/meminfo: memFree=94065636/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=8617764 memory=7218240 CPUtime=117.84 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 938951 0 0 0 11461 323 0 0 20 0 2 0 60271555 8824590336 1804560 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 2154441 1804560 3168 6655 0 2123699 0
[pid=68956/tid=68958] ppid=68953 vsize=8617764 memory=6418268 CPUtime=16.17 cores=1,3
/proc/68956/task/68958/stat : 68958 (LSIPExact) R 68953 68956 67998 0 -1 4194368 62646 0 0 0 1589 28 0 0 20 0 2 0 60272942 8824590336 1804560 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
Current children cumulated CPU time: 117.84 s
Current children cumulated vsize: 8617764 KiB
Current children cumulated memory: 7218240 KiB
[startup+162.3 s]
/proc/loadavg: 6.22 7.29 7.62 7/268 69062
/proc/meminfo: memFree=87592504/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=8871364 memory=7489768 CPUtime=236.77 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 963636 0 0 0 23337 340 0 0 20 0 2 0 60271555 9084276736 1872442 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 2217841 1872442 3264 6655 0 2188372 0
[pid=68956/tid=68958] ppid=68953 vsize=8871364 memory=7553832 CPUtime=75.41 cores=1,3
/proc/68956/task/68958/stat : 68958 (LSIPExact) R 68953 68956 67998 0 -1 4194368 68980 0 0 0 7511 30 0 0 20 0 2 0 60272942 9084276736 1872442 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
Current children cumulated CPU time: 236.77 s
Current children cumulated vsize: 8871364 KiB
Current children cumulated memory: 7489768 KiB
[startup+222.3 s]
/proc/loadavg: 6.12 7.07 7.52 7/268 69064
/proc/meminfo: memFree=87245292/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=8871364 memory=7489840 CPUtime=355.77 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 985121 0 0 0 35232 345 0 0 20 0 2 0 60271555 9084276736 1872460 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 2217841 1872460 3264 6655 0 2188372 0
[pid=68956/tid=68958] ppid=68953 vsize=8871364 memory=14720 CPUtime=134.68 cores=1,3
/proc/68956/task/68958/stat : 68958 (LSIPExact) R 68953 68956 67998 0 -1 4194368 68983 0 0 0 13438 30 0 0 20 0 2 0 60272942 9084276736 1872460 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
Current children cumulated CPU time: 355.77 s
Current children cumulated vsize: 8871364 KiB
Current children cumulated memory: 7489840 KiB
[startup+282.3 s]
/proc/loadavg: 6.65 7.02 7.47 9/268 69065
/proc/meminfo: memFree=78762220/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=9490520 memory=8161528 CPUtime=474.61 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 1140739 0 0 0 47077 384 0 0 20 0 2 0 60271555 9718292480 2040382 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 2372630 2040382 3360 6655 0 2328520 0
[pid=68956/tid=68958] ppid=68953 vsize=9490520 memory=8070364 CPUtime=193.87 cores=1,3
/proc/68956/task/68958/stat : 68958 (LSIPExact) R 68953 68956 67998 0 -1 4194368 214896 0 0 0 19318 69 0 0 20 0 2 0 60272942 9718292480 2040382 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
Current children cumulated CPU time: 474.61 s
Current children cumulated vsize: 9490520 KiB
Current children cumulated memory: 8161528 KiB
[startup+342.3 s]
/proc/loadavg: 7.11 7.10 7.47 8/267 69069
/proc/meminfo: memFree=79540668/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=9490520 memory=8163104 CPUtime=593.52 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 1205195 0 0 0 58954 398 0 0 20 0 2 0 60271555 9718292480 2040776 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 2372630 2040776 3360 6655 0 2326582 0
[pid=68956/tid=68958] ppid=68953 vsize=9490520 memory=8174672 CPUtime=253.09 cores=1,3
/proc/68956/task/68958/stat : 68958 (LSIPExact) R 68953 68956 67998 0 -1 4194368 273617 0 0 0 25227 82 0 0 20 0 2 0 60272942 9718292480 2040776 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
Current children cumulated CPU time: 593.52 s
Current children cumulated vsize: 9490520 KiB
Current children cumulated memory: 8163104 KiB
[startup+402.3 s]
/proc/loadavg: 5.99 6.79 7.34 6/268 69075
/proc/meminfo: memFree=84260000/131250000 swapFree=33010684/33010684
################
# More data... #
################
Current children cumulated CPU time: 2735.93 s
Current children cumulated vsize: 12324120 KiB
Current children cumulated memory: 10795504 KiB
[startup+1482.3 s]
/proc/loadavg: 7.13 6.99 6.91 8/265 69136
/proc/meminfo: memFree=67897860/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=12324456 memory=10801080 CPUtime=2854.96 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 2214493 0 0 0 284794 702 0 0 20 0 2 0 60271555 12620242944 2700270 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 3081114 2700270 3360 6655 0 3044753 0
[pid=68956/tid=68958] ppid=68953 vsize=12324456 memory=10795504 CPUtime=1379.06 cores=1,3
/proc/68956/task/68958/stat : 68958 (LSIPExact) R 68953 68956 67998 0 -1 4194368 719931 0 0 0 137698 208 0 0 20 0 2 0 60272942 12620242944 2700270 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
Current children cumulated CPU time: 2854.96 s
Current children cumulated vsize: 12324456 KiB
Current children cumulated memory: 10801080 KiB
[startup+1542.3 s]
/proc/loadavg: 7.10 7.01 6.92 8/265 69139
/proc/meminfo: memFree=67904668/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=12324456 memory=10801080 CPUtime=2973.97 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 2230304 0 0 0 296693 704 0 0 20 0 2 0 60271555 12620242944 2700270 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 3081114 2700270 3360 6655 0 3044753 0
[pid=68956/tid=68958] ppid=68953 vsize=12324456 memory=14720 CPUtime=1438.34 cores=1,3
/proc/68956/task/68958/stat : 68958 (LSIPExact) R 68953 68956 67998 0 -1 4194368 726075 0 0 0 143625 209 0 0 20 0 2 0 60272942 12620242944 2700270 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
Current children cumulated CPU time: 2973.97 s
Current children cumulated vsize: 12324456 KiB
Current children cumulated memory: 10801080 KiB
[startup+1602.3 s]
/proc/loadavg: 7.08 7.02 6.94 8/265 69144
/proc/meminfo: memFree=67892640/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=12325468 memory=10804152 CPUtime=3092.99 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 2264085 0 0 0 308588 711 0 0 20 0 2 0 60271555 12621279232 2701038 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 3081367 2701038 3360 6655 0 3045006 0
[pid=68956/tid=68958] ppid=68953 vsize=12325468 memory=10804148 CPUtime=1497.63 cores=1,3
/proc/68956/task/68958/stat : 68958 (LSIPExact) R 68953 68956 67998 0 -1 4194368 739715 0 0 0 149550 213 0 0 20 0 2 0 60272942 12621279232 2701038 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
Current children cumulated CPU time: 3092.99 s
Current children cumulated vsize: 12325468 KiB
Current children cumulated memory: 10804152 KiB
[startup+1662.3 s]
/proc/loadavg: 7.09 7.03 6.95 8/266 69147
/proc/meminfo: memFree=67855344/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=12326824 memory=10806020 CPUtime=3211.99 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 2288771 0 0 0 320484 715 0 0 20 0 2 0 60271555 12622667776 2701505 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 3081706 2701505 3360 6655 0 3045345 0
[pid=68956/tid=68958] ppid=68953 vsize=12326824 memory=10804148 CPUtime=1556.91 cores=1,3
/proc/68956/task/68958/stat : 68958 (LSIPExact) R 68953 68956 67998 0 -1 4194368 756172 0 0 0 155474 217 0 0 20 0 2 0 60272942 12622667776 2701505 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
Current children cumulated CPU time: 3211.99 s
Current children cumulated vsize: 12326824 KiB
Current children cumulated memory: 10806020 KiB
[startup+1722.3 s]
/proc/loadavg: 7.14 7.05 6.96 8/268 69194
/proc/meminfo: memFree=63765320/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=12326824 memory=10808068 CPUtime=3331.01 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 2320789 0 0 0 332381 720 0 0 20 0 2 0 60271555 12622667776 2702017 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 3081706 2702017 3360 6655 0 3045345 0
[pid=68956/tid=68958] ppid=68953 vsize=12326824 memory=10804148 CPUtime=1616.22 cores=1,3
/proc/68956/task/68958/stat : 68958 (LSIPExact) R 68953 68956 67998 0 -1 4194368 760451 0 0 0 161404 218 0 0 20 0 2 0 60272942 12622667776 2702017 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
Current children cumulated CPU time: 3331.01 s
Current children cumulated vsize: 12326824 KiB
Current children cumulated memory: 10808068 KiB
[startup+1782.3 s]
/proc/loadavg: 7.17 7.07 6.98 8/269 69197
/proc/meminfo: memFree=59508548/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=12329108 memory=10870144 CPUtime=3450.02 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 2360684 0 0 0 344272 730 0 0 20 0 2 0 60271555 12625006592 2717536 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 3082277 2717536 3360 6655 0 3045916 0
[pid=68956/tid=68958] ppid=68953 vsize=12329108 memory=14720 CPUtime=1675.52 cores=1,3
/proc/68956/task/68958/stat : 68958 (LSIPExact) R 68953 68956 67998 0 -1 4194368 790771 0 0 0 167325 227 0 0 20 0 2 0 60272942 12625006592 2717536 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
Current children cumulated CPU time: 3450.02 s
Current children cumulated vsize: 12329108 KiB
Current children cumulated memory: 10870144 KiB
[startup+1842.3 s]
/proc/loadavg: 7.06 7.06 6.99 8/269 69199
/proc/meminfo: memFree=60222000/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=12571836 memory=10998188 CPUtime=3569 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 2420987 0 0 0 356159 741 0 0 20 0 2 0 60271555 12873560064 2749547 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 3142959 2749547 3360 6655 0 3106598 0
[pid=68956/tid=68958] ppid=68953 vsize=12571836 memory=10870144 CPUtime=1734.8 cores=1,3
/proc/68956/task/68958/stat : 68958 (LSIPExact) R 68953 68956 67998 0 -1 4194368 793687 0 0 0 173253 227 0 0 20 0 2 0 60272942 12873560064 2749547 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
Current children cumulated CPU time: 3569 s
Current children cumulated vsize: 12571836 KiB
Current children cumulated memory: 10998188 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1858 s]*
/proc/loadavg: 7.05 7.05 6.99 8/269 69200
/proc/meminfo: memFree=59923840/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=12573008 memory=10999360 CPUtime=3600.17 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) R 68953 68956 67998 0 -1 4194304 2432130 0 0 0 359272 745 0 0 20 0 2 0 60271555 12874760192 2749840 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 3143252 2749840 3360 6655 0 3106891 0
[pid=68956/tid=68958] ppid=68953 vsize=12573008 memory=-6154559666328277343 CPUtime=1750.34 cores=1,3
/proc/68956/task/68958/stat : 68958 (LSIPExact) R 68953 68956 67998 0 -1 4194368 804826 0 0 0 174803 231 0 0 20 0 2 0 60272942 12874760192 2749840 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 12573008 KiB
Current children cumulated memory: 10999360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1860.14 s]
# the end of solver process 68956 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3594.29 s, system=7.71533 s
[startup+1860.14 s]
# the end of solver process 69201 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3595.06 s, system=7.87545 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+1859.2 s]
/proc/loadavg: 7.05 7.05 6.99 7/268 69200
/proc/meminfo: memFree=62612580/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=8971160 memory=8280636 CPUtime=3601.87 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) S 68953 68956 67998 0 -1 4194304 2629664 0 0 0 359428 759 0 0 20 0 1 0 60271555 9186467840 2070159 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 2242790 2070159 3360 6655 0 2207409 0
Current children cumulated CPU time: 3601.87 s
Current children cumulated vsize: 8971160 KiB
Current children cumulated memory: 8280636 KiB
[startup+1859.6 s]
/proc/loadavg: 7.05 7.05 6.99 7/268 69200
/proc/meminfo: memFree=62612580/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=8971160 memory=8280636 CPUtime=3601.87 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) S 68953 68956 67998 0 -1 4194304 2629664 0 0 0 359428 759 0 0 20 0 1 0 60271555 9186467840 2070159 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 2242790 2070159 3360 6655 0 2207409 0
Current children cumulated CPU time: 3601.87 s
Current children cumulated vsize: 8971160 KiB
Current children cumulated memory: 8280636 KiB
[startup+1860 s]*
/proc/loadavg: 7.05 7.05 6.99 7/269 69201
/proc/meminfo: memFree=62003464/131250000 swapFree=33010684/33010684
[pid=68956] ppid=68953 vsize=8971160 memory=8280636 CPUtime=3601.87 cores=1,3
/proc/68956/stat : 68956 (LSIPExact) S 68953 68956 67998 0 -1 4194304 2629664 0 0 0 359428 759 0 0 20 0 1 0 60271555 9186467840 2070159 18446744073709551615 93952297193472 93952324449873 140724208368672 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 93952332952712 93952333384320 93952355016704 140724208376154 140724208376330 140724208376330 140724208381932 0
/proc/68956/statm: 2242790 2070159 3360 6655 0 2207409 0
[pid=69201] ppid=68956 vsize=637716 memory=631072 CPUtime=0.92 cores=1,3
/proc/69201/stat : 69201 (Exact) R 68956 69201 69201 0 -1 4194304 36592 0 0 0 77 15 0 0 20 0 1 0 60457460 653021184 157768 18446744073709551615 4198400 8335837 140721494633360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 20324352 140721494636731 140721494637085 140721494637085 140721494642639 0
/proc/69201/statm: 159429 157768 960 1011 0 158196 0
Current children cumulated CPU time: 3602.79 s
Current children cumulated vsize: 9608876 KiB
Current children cumulated memory: 8911708 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1860.14
CPU time (s): 3602.94
CPU user time (s): 3595.06
CPU system time (s): 7.87545
CPU usage (%): 193.692
Max. virtual memory (cumulated for all children) (KiB): 13440888
Max. memory (cumulated for all children) (KiB): 11382120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.06
system time used= 7.87545
maximum resident set size= 11390684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2666259
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= 359
involuntary context switches= 27724
# summary of solver processes directly reported to runsolver:
# pid: 68956,69201
# total CPU time (s): 3602.94
# total CPU user time (s): 3595.06
# total CPU system time (s): 7.87545
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.81111 second user time and 9.25849 second system time
The end
Begin job on nodeC013 at 2025-07-02 10:45:13
IDJOB=4505341
IDBENCH=155755
IDSOLVER=3336
FILE ID=nodeC013/4505341-1751445912
RUNJOBID= nodeC013-1751440305-68010
SLURM_JOB_ID= 9598399
Free space on /tmp= 432176 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_1_ic.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505341-1751445912/watcher-4505341-1751445912 -o /tmp/evaluation-result-4505341-1751445912/solver-4505341-1751445912 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751440305-68010 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4505341-1751445912.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ccba1baa4116ac35f164630a81450a8f
RANDOM SEED=1697725882
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.657
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3629.892
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.991
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.851
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.393
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.856
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.040
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.845
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 96096812 kB
MemAvailable: 97431196 kB
Buffers: 3280 kB
Cached: 2133332 kB
SwapCached: 0 kB
Active: 32464968 kB
Inactive: 1888412 kB
Active(anon): 32230052 kB
Inactive(anon): 0 kB
Active(file): 234916 kB
Inactive(file): 1888412 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 144460 kB
Writeback: 4 kB
AnonPages: 32209292 kB
Mapped: 135848 kB
Shmem: 13284 kB
KReclaimable: 100192 kB
Slab: 189036 kB
SReclaimable: 100192 kB
SUnreclaim: 88844 kB
KernelStack: 4304 kB
PageTables: 67572 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 36389836 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 21553152 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431772 MiB
End job on nodeC013 at 2025-07-02 11:16:13