1428.72/727.37 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1428.72/727.37 c numVar: 3750
1428.72/727.37 c numCon: 467625
1428.72/727.37 c numEqual: 750
1428.72/727.37 c intSize: 3
1428.72/727.37 c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1428.72/727.37 c ------------------- Paras list -------------------
1428.72/727.37 c Name Type Now Default Comment
1428.72/727.37 c timeout double 3600.000000 3600
1428.72/727.37 c mip_time double 0.200000 0.5
1428.72/727.37 c ls_time double 10.000000 10
1428.72/727.37 c safe_mode int 1 1 1 trust; 2 feasible
1428.72/727.37 c mip_emphasis int 5 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1428.72/727.37 c random_seed int 0 0
1428.72/727.37 c sample_size int 50 50
1428.72/727.37 c sub_score int 1 1
1428.72/727.37 c tabu_base int 3 3
1428.72/727.37 c tabu_variation int 1 1
1428.72/727.37 c sub_div int 4 4
1428.72/727.37 c nbcore int 2 1
1428.72/727.37 c memlimit int 31000 31744 memory limit in megabytes
1428.72/727.37 c print_sol int 1 1
1428.72/727.37 c tmpdir string . "."
1428.72/727.37 c home string HOME "."
1428.72/727.37 c benchname string HOME/instance-4494479-1751133686.opb ""
1428.72/727.37 c --------------------------------------------------
1428.72/727.37 c Local Search solver
1428.72/727.37 c MIP solver
1428.72/727.37 c use Exact solver
3600.09/2905.60 c receive signal 15, try to interrupt solver...
3600.09/2905.61 c Exact solver (PID 11665) interrupted gracefully.
3600.49/2906.06 s UNKNOWN
3600.49/2906.06 c Total time: 2906
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62898 MiB free)
memory of node 1: 64465 MiB (63888 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494479-1751133686/watcher-4494479-1751133686 -o /tmp/evaluation-result-4494479-1751133686/solver-4494479-1751133686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751133631-11272 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4494479-1751133686.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=11590, runsolver pid=11587
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 2.44 0.76 0.32 4/242 11591
/proc/meminfo: memFree=129828804/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=88152 memory=20680 CPUtime=0.02 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) R 11587 11590 11256 0 -1 4194304 3180 0 0 0 0 2 0 0 20 0 1 0 29048024 90267648 5170 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 22038 5170 1120 6655 0 12273 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 88152 KiB
Current children cumulated memory: 20680 KiB
[startup+0.212969 s]*
/proc/loadavg: 2.44 0.76 0.32 4/242 11591
/proc/meminfo: memFree=129745956/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=153492 memory=108616 CPUtime=0.13 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) R 11587 11590 11256 0 -1 4194304 19530 0 0 0 6 7 0 0 20 0 1 0 29048024 157175808 27122 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 38373 27154 1120 6655 0 28608 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 153492 KiB
Current children cumulated memory: 108616 KiB
[startup+0.313068 s]*
/proc/loadavg: 2.44 0.76 0.32 4/242 11591
/proc/meminfo: memFree=129725480/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=164712 memory=121800 CPUtime=0.23 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) R 11587 11590 11256 0 -1 4194304 22855 0 0 0 14 9 0 0 20 0 1 0 29048024 168665088 30450 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 41178 30450 1120 6655 0 31413 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 164712 KiB
Current children cumulated memory: 121800 KiB
[startup+0.70035 s]
/proc/loadavg: 2.44 0.76 0.32 4/242 11591
/proc/meminfo: memFree=129714076/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=205760 memory=171168 CPUtime=0.6 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) R 11587 11590 11256 0 -1 4194304 31583 0 0 0 47 13 0 0 20 0 1 0 29048024 210698240 42792 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 51440 42792 1152 6655 0 41675 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 205760 KiB
Current children cumulated memory: 171168 KiB
[startup+1.50034 s]
/proc/loadavg: 2.44 0.76 0.32 4/242 11591
/proc/meminfo: memFree=129641156/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=299916 memory=265248 CPUtime=1.4 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) R 11587 11590 11256 0 -1 4194304 55109 0 0 0 120 20 0 0 20 0 1 0 29048024 307113984 66312 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 74979 66312 1152 6655 0 65214 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 299916 KiB
Current children cumulated memory: 265248 KiB
[startup+3.11268 s]
/proc/loadavg: 2.57 0.82 0.34 5/246 11600
/proc/meminfo: memFree=129467996/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=388776 memory=354208 CPUtime=3.01 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) R 11587 11590 11256 0 -1 4194304 77360 0 0 0 276 25 0 0 20 0 1 0 29048024 398106624 88552 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 97194 88552 1152 6655 0 87429 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 388776 KiB
Current children cumulated memory: 354208 KiB
[startup+6.30032 s]
/proc/loadavg: 2.57 0.82 0.34 5/246 11600
/proc/meminfo: memFree=129484344/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=388776 memory=354208 CPUtime=6.19 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) R 11587 11590 11256 0 -1 4194304 77380 0 0 0 594 25 0 0 20 0 1 0 29048024 398106624 88552 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 97194 88552 1152 6655 0 87429 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 388776 KiB
Current children cumulated memory: 354208 KiB
[startup+12.7004 s]
/proc/loadavg: 2.76 0.89 0.37 5/248 11632
/proc/meminfo: memFree=129185264/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=936084 memory=818000 CPUtime=12.56 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) R 11587 11590 11256 0 -1 4194304 139168 0 0 0 1219 37 0 0 20 0 2 0 29048024 958550016 204500 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 234021 204500 2816 6655 0 207904 0
[pid=11590/tid=11632] ppid=11587 vsize=936084 memory=715444 CPUtime=0 cores=4,6
/proc/11590/task/11632/stat : 11632 (LSIPExact) S 11587 11590 11256 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29049135 958550016 204500 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 936084 KiB
Current children cumulated memory: 818000 KiB
[startup+25.5002 s]
/proc/loadavg: 3.27 1.09 0.44 7/249 11633
/proc/meminfo: memFree=128653396/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=1523104 memory=1352032 CPUtime=33.51 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) R 11587 11590 11256 0 -1 4194304 206061 0 0 0 3290 61 0 0 20 0 2 0 29048024 1559658496 338008 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 380776 338008 3264 6655 0 360844 0
[pid=11590/tid=11632] ppid=11587 vsize=1523104 memory=1349472 CPUtime=8.21 cores=4,6
/proc/11590/task/11632/stat : 11632 (LSIPExact) R 11587 11590 11256 0 -1 4194368 24895 0 0 0 814 7 0 0 20 0 2 0 29049135 1559658496 338008 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
Current children cumulated CPU time: 33.51 s
Current children cumulated vsize: 1523104 KiB
Current children cumulated memory: 1352032 KiB
[startup+51.1051 s]
/proc/loadavg: 4.20 1.48 0.59 7/249 11634
/proc/meminfo: memFree=128250200/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=1962728 memory=1768480 CPUtime=84.29 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) R 11587 11590 11256 0 -1 4194304 280121 0 0 0 8354 75 0 0 20 0 2 0 29048024 2009833472 442120 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 490682 442120 3296 6655 0 473863 0
[pid=11590/tid=11632] ppid=11587 vsize=1962728 memory=11264 CPUtime=33.47 cores=4,6
/proc/11590/task/11632/stat : 11632 (LSIPExact) R 11587 11590 11256 0 -1 4194368 34136 0 0 0 3334 13 0 0 20 0 2 0 29049135 2009833472 442120 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
Current children cumulated CPU time: 84.29 s
Current children cumulated vsize: 1962728 KiB
Current children cumulated memory: 1768480 KiB
[startup+102.3 s]
/proc/loadavg: 5.27 2.20 0.88 7/249 11636
/proc/meminfo: memFree=128256320/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=1960900 memory=1755496 CPUtime=186.05 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) R 11587 11590 11256 0 -1 4194304 354360 0 0 0 18516 89 0 0 20 0 2 0 29048024 2007961600 438874 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 490225 438874 3296 6655 0 473576 0
[pid=11590/tid=11632] ppid=11587 vsize=1960900 memory=14340 CPUtime=84.21 cores=4,6
/proc/11590/task/11632/stat : 11632 (LSIPExact) R 11587 11590 11256 0 -1 4194368 43954 0 0 0 8407 14 0 0 20 0 2 0 29049135 2007961600 438874 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
Current children cumulated CPU time: 186.05 s
Current children cumulated vsize: 1960900 KiB
Current children cumulated memory: 1755496 KiB
[startup+162.3 s]
/proc/loadavg: 5.74 2.89 1.21 7/249 11638
/proc/meminfo: memFree=128238984/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=1960900 memory=1770404 CPUtime=305.3 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) R 11587 11590 11256 0 -1 4194304 394103 0 0 0 30438 92 0 0 20 0 2 0 29048024 2007961600 442601 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 490225 442601 3296 6655 0 473582 0
[pid=11590/tid=11632] ppid=11587 vsize=1960900 memory=1770404 CPUtime=143.67 cores=4,6
/proc/11590/task/11632/stat : 11632 (LSIPExact) R 11587 11590 11256 0 -1 4194368 48719 0 0 0 14352 15 0 0 20 0 2 0 29049135 2007961600 442601 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
Current children cumulated CPU time: 305.3 s
Current children cumulated vsize: 1960900 KiB
Current children cumulated memory: 1770404 KiB
[startup+222.3 s]
/proc/loadavg: 5.91 3.46 1.51 7/249 11640
/proc/meminfo: memFree=127973660/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=2201344 memory=1988744 CPUtime=424.57 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) R 11587 11590 11256 0 -1 4194304 446474 0 0 0 42353 104 0 0 20 0 2 0 29048024 2254176256 497186 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 550336 497186 3296 6655 0 533693 0
[pid=11590/tid=11632] ppid=11587 vsize=2201344 memory=1984648 CPUtime=203.14 cores=4,6
/proc/11590/task/11632/stat : 11632 (LSIPExact) R 11587 11590 11256 0 -1 4194368 54644 0 0 0 20298 16 0 0 20 0 2 0 29049135 2254176256 497186 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
Current children cumulated CPU time: 424.57 s
Current children cumulated vsize: 2201344 KiB
Current children cumulated memory: 1988744 KiB
[startup+282.3 s]
/proc/loadavg: 6.07 3.95 1.80 7/247 11642
/proc/meminfo: memFree=127731784/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=2437336 memory=2223092 CPUtime=543.83 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) R 11587 11590 11256 0 -1 4194304 486119 0 0 0 54264 119 0 0 20 0 2 0 29048024 2495832064 555773 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 609334 555773 3328 6655 0 592691 0
[pid=11590/tid=11632] ppid=11587 vsize=2437336 memory=2162532 CPUtime=262.59 cores=4,6
/proc/11590/task/11632/stat : 11632 (LSIPExact) R 11587 11590 11256 0 -1 4194368 57599 0 0 0 26243 16 0 0 20 0 2 0 29049135 2495832064 555773 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
Current children cumulated CPU time: 543.83 s
Current children cumulated vsize: 2437336 KiB
Current children cumulated memory: 2223092 KiB
[startup+342.3 s]
/proc/loadavg: 6.08 4.35 2.07 7/246 11644
/proc/meminfo: memFree=127719180/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=2439192 memory=2223220 CPUtime=663.08 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) R 11587 11590 11256 0 -1 4194304 497403 0 0 0 66188 120 0 0 20 0 2 0 29048024 2497732608 555805 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 609798 555805 3328 6655 0 593155 0
[pid=11590/tid=11632] ppid=11587 vsize=2439192 memory=2162532 CPUtime=322.05 cores=4,6
/proc/11590/task/11632/stat : 11632 (LSIPExact) R 11587 11590 11256 0 -1 4194368 64197 0 0 0 32188 17 0 0 20 0 2 0 29049135 2497732608 555805 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
Current children cumulated CPU time: 663.08 s
Current children cumulated vsize: 2439192 KiB
Current children cumulated memory: 2223220 KiB
[startup+402.3 s]
################
# More data... #
################
Current children cumulated memory: 2074128 KiB
[startup+2382.3 s]
/proc/loadavg: 4.07 3.90 3.57 5/247 11875
/proc/meminfo: memFree=127277920/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=1611328 memory=1560184 CPUtime=1428.81 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) S 11587 11590 11256 0 -1 4194304 596706 0 0 0 142750 131 0 0 20 0 1 0 29048024 1649999872 390046 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 402832 390046 3360 6655 0 391814 0
[pid=11665] ppid=11590 vsize=592424 memory=556952 CPUtime=1649.51 cores=4,6
/proc/11665/stat : 11665 (Exact) R 11590 11665 11665 0 -1 4194304 44833 0 0 0 164905 46 0 0 20 0 1 0 29120762 606642176 139238 18446744073709551615 4198400 8335837 140730695400352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 29208576 140730695407803 140730695408157 140730695408157 140730695413711 0
/proc/11665/statm: 148106 139238 1120 1011 0 146873 0
Current children cumulated CPU time: 3078.32 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2117136 KiB
[startup+2442.3 s]
/proc/loadavg: 4.16 3.96 3.61 5/248 11882
/proc/meminfo: memFree=127289036/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=1611328 memory=1560184 CPUtime=1428.81 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) S 11587 11590 11256 0 -1 4194304 596706 0 0 0 142750 131 0 0 20 0 1 0 29048024 1649999872 390046 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 402832 390046 3360 6655 0 391814 0
[pid=11665] ppid=11590 vsize=592424 memory=556952 CPUtime=1709.34 cores=4,6
/proc/11665/stat : 11665 (Exact) R 11590 11665 11665 0 -1 4194304 44872 0 0 0 170885 49 0 0 20 0 1 0 29120762 606642176 139238 18446744073709551615 4198400 8335837 140730695400352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 29208576 140730695407803 140730695408157 140730695408157 140730695413711 0
/proc/11665/statm: 148106 139238 1120 1011 0 146873 0
Current children cumulated CPU time: 3138.15 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2117136 KiB
[startup+2502.3 s]
/proc/loadavg: 4.10 3.98 3.64 5/248 11886
/proc/meminfo: memFree=127289744/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=1611328 memory=1560184 CPUtime=1428.81 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) S 11587 11590 11256 0 -1 4194304 596706 0 0 0 142750 131 0 0 20 0 1 0 29048024 1649999872 390046 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 402832 390046 3360 6655 0 391814 0
[pid=11665] ppid=11590 vsize=592424 memory=556952 CPUtime=1769.17 cores=4,6
/proc/11665/stat : 11665 (Exact) R 11590 11665 11665 0 -1 4194304 44919 0 0 0 176868 49 0 0 20 0 1 0 29120762 606642176 139238 18446744073709551615 4198400 8335837 140730695400352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 29208576 140730695407803 140730695408157 140730695408157 140730695413711 0
/proc/11665/statm: 148106 139238 1120 1011 0 146873 0
Current children cumulated CPU time: 3197.98 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2117136 KiB
[startup+2562.3 s]
/proc/loadavg: 4.22 4.03 3.68 5/247 11888
/proc/meminfo: memFree=127295016/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=1611328 memory=1560184 CPUtime=1428.81 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) S 11587 11590 11256 0 -1 4194304 596706 0 0 0 142750 131 0 0 20 0 1 0 29048024 1649999872 390046 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 402832 390046 3360 6655 0 391814 0
[pid=11665] ppid=11590 vsize=592424 memory=556952 CPUtime=1828.99 cores=4,6
/proc/11665/stat : 11665 (Exact) R 11590 11665 11665 0 -1 4194304 44966 0 0 0 182850 49 0 0 20 0 1 0 29120762 606642176 139238 18446744073709551615 4198400 8335837 140730695400352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 29208576 140730695407803 140730695408157 140730695408157 140730695413711 0
/proc/11665/statm: 148106 139238 1120 1011 0 146873 0
Current children cumulated CPU time: 3257.8 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2117136 KiB
[startup+2622.3 s]
/proc/loadavg: 4.08 4.02 3.70 5/247 11890
/proc/meminfo: memFree=127296024/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=1611328 memory=1560184 CPUtime=1428.81 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) S 11587 11590 11256 0 -1 4194304 596706 0 0 0 142750 131 0 0 20 0 1 0 29048024 1649999872 390046 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 402832 390046 3360 6655 0 391814 0
[pid=11665] ppid=11590 vsize=592424 memory=556952 CPUtime=1888.82 cores=4,6
/proc/11665/stat : 11665 (Exact) R 11590 11665 11665 0 -1 4194304 45013 0 0 0 188833 49 0 0 20 0 1 0 29120762 606642176 139238 18446744073709551615 4198400 8335837 140730695400352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 29208576 140730695407803 140730695408157 140730695408157 140730695413711 0
/proc/11665/statm: 148106 139238 1120 1011 0 146873 0
Current children cumulated CPU time: 3317.63 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2117136 KiB
[startup+2682.3 s]
/proc/loadavg: 4.15 4.05 3.74 5/247 11892
/proc/meminfo: memFree=127294736/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=1611328 memory=1562104 CPUtime=1428.81 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) S 11587 11590 11256 0 -1 4194304 596706 0 0 0 142750 131 0 0 20 0 1 0 29048024 1649999872 390526 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 402832 390526 3360 6655 0 391814 0
[pid=11665] ppid=11590 vsize=592424 memory=556952 CPUtime=1948.64 cores=4,6
/proc/11665/stat : 11665 (Exact) R 11590 11665 11665 0 -1 4194304 45060 0 0 0 194815 49 0 0 20 0 1 0 29120762 606642176 139238 18446744073709551615 4198400 8335837 140730695400352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 29208576 140730695407803 140730695408157 140730695408157 140730695413711 0
/proc/11665/statm: 148106 139238 1120 1011 0 146873 0
Current children cumulated CPU time: 3377.45 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2119056 KiB
[startup+2742.3 s]
/proc/loadavg: 4.11 4.05 3.76 5/247 11894
/proc/meminfo: memFree=127303572/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=1611328 memory=1562104 CPUtime=1428.81 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) S 11587 11590 11256 0 -1 4194304 596706 0 0 0 142750 131 0 0 20 0 1 0 29048024 1649999872 390526 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 402832 390526 3360 6655 0 391814 0
[pid=11665] ppid=11590 vsize=592424 memory=556952 CPUtime=2008.46 cores=4,6
/proc/11665/stat : 11665 (Exact) R 11590 11665 11665 0 -1 4194304 45062 0 0 0 200797 49 0 0 20 0 1 0 29120762 606642176 139238 18446744073709551615 4198400 8335837 140730695400352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 29208576 140730695407803 140730695408157 140730695408157 140730695413711 0
/proc/11665/statm: 148106 139238 1120 1011 0 146873 0
Current children cumulated CPU time: 3437.27 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2119056 KiB
[startup+2802.3 s]
/proc/loadavg: 4.09 4.06 3.78 5/247 11896
/proc/meminfo: memFree=127303584/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=1611328 memory=1562104 CPUtime=1428.81 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) S 11587 11590 11256 0 -1 4194304 596706 0 0 0 142750 131 0 0 20 0 1 0 29048024 1649999872 390526 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 402832 390526 3360 6655 0 391814 0
[pid=11665] ppid=11590 vsize=592424 memory=556952 CPUtime=2068.28 cores=4,6
/proc/11665/stat : 11665 (Exact) R 11590 11665 11665 0 -1 4194304 45155 0 0 0 206779 49 0 0 20 0 1 0 29120762 606642176 139238 18446744073709551615 4198400 8335837 140730695400352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 29208576 140730695407803 140730695408157 140730695408157 140730695413711 0
/proc/11665/statm: 148106 139238 1120 1011 0 146873 0
Current children cumulated CPU time: 3497.09 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2119056 KiB
[startup+2862.3 s]
/proc/loadavg: 3.61 3.94 3.76 4/247 11899
/proc/meminfo: memFree=127210144/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=1611328 memory=1562104 CPUtime=1428.81 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) S 11587 11590 11256 0 -1 4194304 596706 0 0 0 142750 131 0 0 20 0 1 0 29048024 1649999872 390526 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 402832 390526 3360 6655 0 391814 0
[pid=11665] ppid=11590 vsize=592424 memory=556952 CPUtime=2128.11 cores=4,6
/proc/11665/stat : 11665 (Exact) R 11590 11665 11665 0 -1 4194304 45158 0 0 0 212762 49 0 0 20 0 1 0 29120762 606642176 139238 18446744073709551615 4198400 8335837 140730695400352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 29208576 140730695407803 140730695408157 140730695408157 140730695413711 0
/proc/11665/statm: 148106 139238 1120 1011 0 146873 0
Current children cumulated CPU time: 3556.92 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2119056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2905.6 s]
/proc/loadavg: 3.50 3.85 3.74 5/247 11992
/proc/meminfo: memFree=127934364/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=1611328 memory=1562104 CPUtime=1428.81 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) S 11587 11590 11256 0 -1 4194304 596706 0 0 0 142750 131 0 0 20 0 1 0 29048024 1649999872 390526 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 402832 390526 3360 6655 0 391814 0
[pid=11665] ppid=11590 vsize=592424 memory=556952 CPUtime=2171.28 cores=4,6
/proc/11665/stat : 11665 (Exact) R 11590 11665 11665 0 -1 4194304 45253 0 0 0 217079 49 0 0 20 0 1 0 29120762 606642176 139238 18446744073709551615 4198400 8335837 140730695400352 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 29208576 140730695407803 140730695408157 140730695408157 140730695413711 0
/proc/11665/statm: 148106 139238 1120 1011 0 146873 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2203752 KiB
Current children cumulated memory: 2119056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2906.08 s]
# the end of solver process 11590 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.71 s, system=1.87007 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2906 s]*
/proc/loadavg: 3.50 3.85 3.74 5/246 11993
/proc/meminfo: memFree=128504528/131382112 swapFree=33010684/33010684
[pid=11590] ppid=11587 vsize=1600368 memory=1551140 CPUtime=3600.49 cores=4,6
/proc/11590/stat : 11590 (LSIPExact) R 11587 11590 11256 0 -1 4194304 644069 45415 0 0 142787 134 217079 49 20 0 1 0 29048024 1638776832 387785 18446744073709551615 94893403131904 94893430388305 140736671487072 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94893438891144 94893439322752 94893466595328 140736671488346 140736671488522 140736671488522 140736671494124 0
/proc/11590/statm: 400092 387785 3360 6655 0 389074 0
Current children cumulated CPU time: 3600.49 s
Current children cumulated vsize: 1600368 KiB
Current children cumulated memory: 1551140 KiB
Child status: 0
Real time (s): 2906.08
CPU time (s): 3600.58
CPU user time (s): 3598.71
CPU system time (s): 1.87007
CPU usage (%): 123.898
Max. virtual memory (cumulated for all children) (KiB): 2483560
Max. memory (cumulated for all children) (KiB): 2251160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.71
system time used= 1.87007
maximum resident set size= 2255256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 712078
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= 385
involuntary context switches= 17382
# summary of solver processes directly reported to runsolver:
# pid: 11590
# total CPU time (s): 3600.58
# total CPU user time (s): 3598.71
# total CPU system time (s): 1.87007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.485 second user time and 24.1027 second system time
The end
Begin job on nodeC007 at 2025-06-28 20:01:28
IDJOB=4494479
IDBENCH=147892
IDSOLVER=3336
FILE ID=nodeC007/4494479-1751133686
RUNJOBID= nodeC007-1751133631-11272
SLURM_JOB_ID= 9587407
Free space on /tmp= 432876 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k5_l4_n750.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494479-1751133686/watcher-4494479-1751133686 -o /tmp/evaluation-result-4494479-1751133686/solver-4494479-1751133686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751133631-11272 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4494479-1751133686.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d1359993160bf2f1506844981afa3acf
RANDOM SEED=1054116676
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.062
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.375
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.406
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.389
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.201
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.587
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129822652 kB
MemAvailable: 129585340 kB
Buffers: 3280 kB
Cached: 575760 kB
SwapCached: 0 kB
Active: 382860 kB
Inactive: 377772 kB
Active(anon): 199572 kB
Inactive(anon): 0 kB
Active(file): 183288 kB
Inactive(file): 377772 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 188916 kB
Writeback: 0 kB
AnonPages: 184808 kB
Mapped: 113860 kB
Shmem: 17960 kB
KReclaimable: 82512 kB
Slab: 156976 kB
SReclaimable: 82512 kB
SUnreclaim: 74464 kB
KernelStack: 3936 kB
PageTables: 3160 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 486804 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149304 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432864 MiB
End job on nodeC007 at 2025-06-28 20:49:55