934.02/730.40 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
934.02/730.40 c numVar: 2771456
934.02/730.40 c numCon: 11850
934.02/730.40 c numEqual: 0
934.02/730.40 c intSize: 23
934.02/730.40 c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
934.02/730.40 c ------------------- Paras list -------------------
934.02/730.40 c Name Type Now Default Comment
934.02/730.40 c timeout double 3600.000000 3600
934.02/730.40 c mip_time double 0.200000 0.5
934.02/730.40 c ls_time double 10.000000 10
934.02/730.40 c safe_mode int 1 1 1 trust; 2 feasible
934.02/730.40 c mip_emphasis int 5 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
934.02/730.40 c random_seed int 0 0
934.02/730.40 c sample_size int 50 50
934.02/730.40 c sub_score int 1 1
934.02/730.40 c tabu_base int 3 3
934.02/730.40 c tabu_variation int 1 1
934.02/730.46 c sub_div int 4 4
934.02/730.46 c nbcore int 2 1
934.02/730.46 c memlimit int 31000 31744 memory limit in megabytes
934.02/730.46 c print_sol int 1 1
934.02/730.46 c tmpdir string . "."
934.02/730.46 c home string HOME "."
934.02/730.46 c benchname string HOME/instance-4512047-1751138205.opb ""
934.02/730.46 c --------------------------------------------------
934.02/730.46 c Local Search solver
934.02/730.46 c MIP solver
934.02/730.46 c use Exact solver
1006.22/802.80 c receive signal 15, try to interrupt solver...
934.02/803.11 c Exact solver (PID 13458) 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 (62955 MiB free)
memory of node 1: 64507 MiB (63841 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512047-1751138205/watcher-4512047-1751138205 -o /tmp/evaluation-result-4512047-1751138205/solver-4512047-1751138205 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751133631-11505 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4512047-1751138205.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=13284, runsolver pid=13281
[startup+0.100063 s]*
/proc/loadavg: 5.59 5.12 4.68 6/262 13285
/proc/meminfo: memFree=129808472/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=107036 memory=40576 CPUtime=0.09 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 9183 0 0 0 7 2 0 0 20 0 1 0 29498449 109604864 10144 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 26759 10144 1152 6655 0 16994 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 107036 KiB
Current children cumulated memory: 40576 KiB
[startup+0.20565 s]*
/proc/loadavg: 5.59 5.12 4.68 6/262 13285
/proc/meminfo: memFree=129768404/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=170408 memory=77184 CPUtime=0.19 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 18333 0 0 0 15 4 0 0 20 0 1 0 29498449 174497792 19296 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 42602 19296 1152 6655 0 32837 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 170408 KiB
Current children cumulated memory: 77184 KiB
[startup+0.305582 s]*
/proc/loadavg: 5.59 5.12 4.68 6/262 13285
/proc/meminfo: memFree=129728084/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=224968 memory=113024 CPUtime=0.29 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 27279 0 0 0 23 6 0 0 20 0 1 0 29498449 230367232 28256 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 56242 28256 1152 6655 0 46477 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 224968 KiB
Current children cumulated memory: 113024 KiB
[startup+0.700189 s]
/proc/loadavg: 5.59 5.12 4.68 6/262 13285
/proc/meminfo: memFree=129647476/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=802348 memory=698508 CPUtime=0.67 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 63800 0 0 0 47 20 0 0 20 0 1 0 29498449 821604352 174627 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 200587 174627 1152 6655 0 190822 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 802348 KiB
Current children cumulated memory: 698508 KiB
[startup+1.50018 s]
/proc/loadavg: 5.59 5.12 4.68 6/262 13285
/proc/meminfo: memFree=128827364/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=1419876 memory=1316108 CPUtime=1.48 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 218186 0 0 0 103 45 0 0 20 0 1 0 29498449 1453953024 329027 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 354969 329027 1152 6655 0 345204 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1419876 KiB
Current children cumulated memory: 1316108 KiB
[startup+3.10543 s]
/proc/loadavg: 5.59 5.12 4.68 6/262 13285
/proc/meminfo: memFree=128016940/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=1985788 memory=1882024 CPUtime=3.07 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 348080 0 0 0 239 68 0 0 20 0 1 0 29498449 2033446912 470506 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 496447 470506 1152 6655 0 486682 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1985788 KiB
Current children cumulated memory: 1882024 KiB
[startup+6.30017 s]
/proc/loadavg: 5.54 5.12 4.68 6/262 13285
/proc/meminfo: memFree=127622056/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=2337880 memory=2233896 CPUtime=6.27 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 436277 0 0 0 543 84 0 0 20 0 1 0 29498449 2393989120 558474 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 584470 558474 1152 6655 0 574705 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2337880 KiB
Current children cumulated memory: 2233896 KiB
[startup+12.7002 s]
/proc/loadavg: 5.50 5.12 4.68 6/262 13285
/proc/meminfo: memFree=126549424/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=3574836 memory=3337532 CPUtime=12.65 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 571057 0 0 0 1144 121 0 0 20 0 1 0 29498449 3660632064 834383 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 893709 834383 2208 6655 0 883944 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3574836 KiB
Current children cumulated memory: 3337532 KiB
[startup+25.5002 s]
/proc/loadavg: 5.46 5.13 4.69 6/263 13286
/proc/meminfo: memFree=125681352/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=4517644 memory=4105404 CPUtime=25.42 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 600117 0 0 0 2393 149 0 0 20 0 2 0 29498449 4626067456 1026351 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 1129411 1026351 2848 6655 0 1103294 0
[pid=13284/tid=13286] ppid=13281 vsize=4517644 memory=3985596 CPUtime=0 cores=1,3
/proc/13284/task/13286/stat : 13286 (LSIPExact) S 13281 13284 11488 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29499801 4626067456 1026351 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4517644 KiB
Current children cumulated memory: 4105404 KiB
[startup+51.1055 s]
/proc/loadavg: 5.30 5.12 4.70 6/263 13286
/proc/meminfo: memFree=125731136/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=4517644 memory=4105404 CPUtime=50.96 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 611905 0 0 0 4946 150 0 0 20 0 2 0 29498449 4626067456 1026351 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 1129411 1026351 2848 6655 0 1103294 0
[pid=13284/tid=13286] ppid=13281 vsize=4517644 memory=4105404 CPUtime=0 cores=1,3
/proc/13284/task/13286/stat : 13286 (LSIPExact) S 13281 13284 11488 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29499801 4626067456 1026351 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 4517644 KiB
Current children cumulated memory: 4105404 KiB
[startup+102.3 s]
/proc/loadavg: 4.94 5.05 4.70 6/263 13379
/proc/meminfo: memFree=123679244/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=7124364 memory=6067028 CPUtime=102.03 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 707589 0 0 0 9981 222 0 0 20 0 2 0 29498449 7295348736 1516757 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 1781091 1516757 2976 6655 0 1754974 0
[pid=13284/tid=13286] ppid=13281 vsize=7124364 memory=6067028 CPUtime=0 cores=1,3
/proc/13284/task/13286/stat : 13286 (LSIPExact) S 13281 13284 11488 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29499801 7295348736 1516757 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 7124364 KiB
Current children cumulated memory: 6067028 KiB
[startup+162.3 s]
/proc/loadavg: 5.08 5.07 4.74 6/263 13381
/proc/meminfo: memFree=124037692/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=6666564 memory=5753640 CPUtime=161.89 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 775641 0 0 0 15939 250 0 0 20 0 2 0 29498449 6826561536 1438410 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 1666641 1438410 2976 6655 0 1640524 0
[pid=13284/tid=13286] ppid=13281 vsize=6666564 memory=5753640 CPUtime=0 cores=1,3
/proc/13284/task/13286/stat : 13286 (LSIPExact) S 13281 13284 11488 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29499801 6826561536 1438410 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 6666564 KiB
Current children cumulated memory: 5753640 KiB
[startup+222.3 s]
/proc/loadavg: 5.03 5.05 4.76 6/261 13383
/proc/meminfo: memFree=123446252/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=7478760 memory=6339064 CPUtime=221.73 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 821728 0 0 0 21893 280 0 0 20 0 2 0 29498449 7658250240 1584766 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 1869690 1584766 2976 6655 0 1843573 0
[pid=13284/tid=13286] ppid=13281 vsize=7478760 memory=17280 CPUtime=0 cores=1,3
/proc/13284/task/13286/stat : 13286 (LSIPExact) S 13281 13284 11488 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29499801 7658250240 1584766 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 7478760 KiB
Current children cumulated memory: 6339064 KiB
[startup+282.3 s]
/proc/loadavg: 5.12 5.07 4.78 6/261 13385
/proc/meminfo: memFree=123418156/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=7499300 memory=6359544 CPUtime=281.59 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 831102 0 0 0 27877 282 0 0 20 0 2 0 29498449 7679283200 1589886 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 1874825 1589886 2976 6655 0 1848708 0
[pid=13284/tid=13286] ppid=13281 vsize=7499300 memory=6358776 CPUtime=0 cores=1,3
/proc/13284/task/13286/stat : 13286 (LSIPExact) S 13281 13284 11488 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29499801 7679283200 1589886 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 7499300 KiB
Current children cumulated memory: 6359544 KiB
[startup+342.3 s]
/proc/loadavg: 5.10 5.07 4.81 6/261 13388
/proc/meminfo: memFree=123368192/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=7559656 memory=6420088 CPUtime=341.43 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 860233 0 0 0 33853 290 0 0 20 0 2 0 29498449 7741087744 1605022 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 1889914 1605022 2976 6655 0 1863797 0
[pid=13284/tid=13286] ppid=13281 vsize=7559656 memory=6368248 CPUtime=0 cores=1,3
/proc/13284/task/13286/stat : 13286 (LSIPExact) S 13281 13284 11488 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29499801 7741087744 1605022 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 7559656 KiB
Current children cumulated memory: 6420088 KiB
[startup+402.3 s]
/proc/loadavg: 5.24 5.13 4.85 6/261 13390
/proc/meminfo: memFree=121037272/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=10642196 memory=8732148 CPUtime=422.58 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 1167274 0 0 0 41837 421 0 0 20 0 2 0 29498449 10897608704 2183037 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 2660549 2183037 3360 6655 0 2616065 0
[pid=13284/tid=13286] ppid=13281 vsize=10642196 memory=8732504 CPUtime=21.49 cores=1,3
/proc/13284/task/13286/stat : 13286 (LSIPExact) S 13281 13284 11488 0 -1 4194368 115997 0 0 0 2105 44 0 0 20 0 2 0 29499801 10897608704 2183037 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
Current children cumulated CPU time: 422.58 s
Current children cumulated vsize: 10642196 KiB
Current children cumulated memory: 8732148 KiB
[startup+462.3 s]
/proc/loadavg: 5.15 5.12 4.86 6/262 13398
/proc/meminfo: memFree=121024644/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=10654952 memory=8746068 CPUtime=482.37 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 1205914 0 0 0 47809 428 0 0 20 0 2 0 29498449 10910670848 2186517 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 2663738 2186517 3360 6655 0 2619254 0
[pid=13284/tid=13286] ppid=13281 vsize=10654952 memory=14824 CPUtime=21.49 cores=1,3
/proc/13284/task/13286/stat : 13286 (LSIPExact) S 13281 13284 11488 0 -1 4194368 115997 0 0 0 2105 44 0 0 20 0 2 0 29499801 10910670848 2186517 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
Current children cumulated CPU time: 482.37 s
Current children cumulated vsize: 10654952 KiB
Current children cumulated memory: 8746068 KiB
[startup+522.3 s]
/proc/loadavg: 5.10 5.11 4.88 6/262 13402
/proc/meminfo: memFree=120991308/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=10683380 memory=8774172 CPUtime=542.17 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 1246031 0 0 0 53783 434 0 0 20 0 2 0 29498449 10939781120 2193543 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 2670845 2193543 3360 6655 0 2626361 0
[pid=13284/tid=13286] ppid=13281 vsize=10683380 memory=8759880 CPUtime=21.49 cores=1,3
/proc/13284/task/13286/stat : 13286 (LSIPExact) S 13281 13284 11488 0 -1 4194368 115997 0 0 0 2105 44 0 0 20 0 2 0 29499801 10939781120 2193543 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
Current children cumulated CPU time: 542.17 s
Current children cumulated vsize: 10683380 KiB
Current children cumulated memory: 8774172 KiB
[startup+582.3 s]
/proc/loadavg: 5.64 5.25 4.94 7/262 13404
/proc/meminfo: memFree=117866572/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=14220972 memory=11873628 CPUtime=640.22 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 1530806 0 0 0 63498 524 0 0 20 0 2 0 29498449 14562275328 2968407 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 3555243 2968407 3392 6655 0 3510759 0
[pid=13284/tid=13286] ppid=13281 vsize=14220972 memory=-6226060928957387107 CPUtime=59.72 cores=1,3
/proc/13284/task/13286/stat : 13286 (LSIPExact) R 13281 13284 11488 0 -1 4194368 159733 0 0 0 5919 53 0 0 20 0 2 0 29499801 14562275328 2968407 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
Current children cumulated CPU time: 640.22 s
Current children cumulated vsize: 14220972 KiB
Current children cumulated memory: 11873628 KiB
[startup+642.3 s]
/proc/loadavg: 5.75 5.36 5.00 7/261 13453
/proc/meminfo: memFree=117854572/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=14220972 memory=11914816 CPUtime=759.38 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 1572984 0 0 0 75411 527 0 0 20 0 2 0 29498449 14562275328 2978704 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 3555243 2978704 3392 6655 0 3510759 0
[pid=13284/tid=13286] ppid=13281 vsize=14220972 memory=14824 CPUtime=119.1 cores=1,3
/proc/13284/task/13286/stat : 13286 (LSIPExact) R 13281 13284 11488 0 -1 4194368 171857 0 0 0 11855 55 0 0 20 0 2 0 29499801 14562275328 2978704 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
Current children cumulated CPU time: 759.38 s
Current children cumulated vsize: 14220972 KiB
Current children cumulated memory: 11914816 KiB
[startup+702.3 s]
/proc/loadavg: 5.95 5.49 5.07 7/262 13457
/proc/meminfo: memFree=117805096/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=14220972 memory=11928344 CPUtime=878.51 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 1651993 0 0 0 87318 533 0 0 20 0 2 0 29498449 14562275328 2982086 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 3555243 2982086 3392 6655 0 3510759 0
[pid=13284/tid=13286] ppid=13281 vsize=14220972 memory=11927960 CPUtime=178.46 cores=1,3
/proc/13284/task/13286/stat : 13286 (LSIPExact) R 13281 13284 11488 0 -1 4194368 180032 0 0 0 17790 56 0 0 20 0 2 0 29499801 14562275328 2982086 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
Current children cumulated CPU time: 878.51 s
Current children cumulated vsize: 14220972 KiB
Current children cumulated memory: 11928344 KiB
[startup+762.3 s]
/proc/loadavg: 5.69 5.52 5.11 6/260 13460
/proc/meminfo: memFree=111282648/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=12426084 memory=10291156 CPUtime=934.02 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) S 13281 13284 11488 0 -1 4194304 1808573 0 0 0 92860 542 0 0 20 0 1 0 29498449 12724310016 2572789 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 3106521 2572789 3424 6655 0 3062174 0
[pid=13458] ppid=13284 vsize=8119744 memory=7464804 CPUtime=31.81 cores=1,3
/proc/13458/stat : 13458 (Exact) R 13284 13458 13458 0 -1 4194304 1019722 0 0 0 2911 270 0 0 20 0 1 0 29571489 8314617856 1866201 18446744073709551615 4198400 8335837 140725047423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 18997248 140725047425211 140725047425565 140725047425565 140725047431119 0
/proc/13458/statm: 2029936 1866201 960 1011 0 2028703 0
Current children cumulated CPU time: 965.83 s
Current children cumulated vsize: 20545828 KiB
Current children cumulated memory: 17755960 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+802.8 s]
/proc/loadavg: 5.31 5.44 5.10 5/260 13508
/proc/meminfo: memFree=104642728/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=12426084 memory=10291156 CPUtime=934.02 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) S 13281 13284 11488 0 -1 4194304 1808573 0 0 0 92860 542 0 0 20 0 1 0 29498449 12724310016 2572789 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 3106521 2572789 3424 6655 0 3062174 0
[pid=13458] ppid=13284 vsize=19417556 memory=14638492 CPUtime=72.2 cores=1,3
/proc/13458/stat : 13458 (Exact) R 13284 13458 13458 0 -1 4194304 2032060 0 0 0 6667 553 0 0 20 0 1 0 29571489 19883577344 3659623 18446744073709551615 4198400 8335837 140725047423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 18997248 140725047425211 140725047425565 140725047425565 140725047431119 0
/proc/13458/statm: 4854389 3659623 960 1011 0 4853156 0
Current children cumulated CPU time: 1006.22 s
Current children cumulated vsize: 31843640 KiB
Current children cumulated memory: 24929648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+804.935 s]
# the end of solver process 13284 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=996.825 s, system=11.527 s
Solver just ended.
Dumping a history of the last processes samples
[startup+803.2 s]
/proc/loadavg: 5.31 5.44 5.10 5/260 13509
/proc/meminfo: memFree=109997084/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=12382772 memory=10247848 CPUtime=1006.61 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 1853431 2032232 0 0 92867 544 6668 582 20 0 1 0 29498449 12679958528 2561962 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 3095693 2561962 3424 6655 0 3051346 0
Current children cumulated CPU time: 1006.61 s
Current children cumulated vsize: 12382772 KiB
Current children cumulated memory: 10247848 KiB
[startup+804 s]*
/proc/loadavg: 5.31 5.44 5.10 5/259 13509
/proc/meminfo: memFree=119121128/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=12144588 memory=10009664 CPUtime=1007.42 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 2016292 2032232 0 0 92939 553 6668 582 20 0 1 0 29498449 12436058112 2502416 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 3036147 2502416 3424 6655 0 2991800 0
Current children cumulated CPU time: 1007.42 s
Current children cumulated vsize: 12144588 KiB
Current children cumulated memory: 10009664 KiB
[startup+804.4 s]
/proc/loadavg: 5.31 5.44 5.10 5/259 13509
/proc/meminfo: memFree=119121128/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=12144588 memory=10009664 CPUtime=1007.81 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 2016292 2032232 0 0 92978 553 6668 582 20 0 1 0 29498449 12436058112 2502416 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 3036147 2502416 3424 6655 0 2991800 0
Current children cumulated CPU time: 1007.81 s
Current children cumulated vsize: 12144588 KiB
Current children cumulated memory: 10009664 KiB
[startup+804.8 s]
/proc/loadavg: 5.31 5.44 5.10 5/259 13509
/proc/meminfo: memFree=119121128/131249996 swapFree=33010684/33010684
[pid=13284] ppid=13281 vsize=12122932 memory=9988004 CPUtime=1008.21 cores=1,3
/proc/13284/stat : 13284 (LSIPExact) R 13281 13284 11488 0 -1 4194304 2093289 2032232 0 0 93014 557 6668 582 20 0 1 0 29498449 12413882368 2497001 18446744073709551615 94242508378112 94242535634513 140729715755328 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94242544137352 94242544568960 94242550198272 140729715759450 140729715759626 140729715759626 140729715765228 0
/proc/13284/statm: 3030733 2497001 3424 6655 0 2986386 0
Current children cumulated CPU time: 1008.21 s
Current children cumulated vsize: 12122932 KiB
Current children cumulated memory: 9988004 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 804.935
CPU time (s): 1008.35
CPU user time (s): 996.825
CPU system time (s): 11.527
CPU usage (%): 125.271
Max. virtual memory (cumulated for all children) (KiB): 31843640
Max. memory (cumulated for all children) (KiB): 24929648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 996.825
system time used= 11.527
maximum resident set size= 14677404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4125563
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= 375
involuntary context switches= 4277
# summary of solver processes directly reported to runsolver:
# pid: 13284
# total CPU time (s): 1008.35
# total CPU user time (s): 996.825
# total CPU system time (s): 11.527
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39657 second user time and 3.99102 second system time
The end
Begin job on nodeC017 at 2025-06-28 21:16:47
IDJOB=4512047
IDBENCH=160491
IDSOLVER=3336
FILE ID=nodeC017/4512047-1751138205
RUNJOBID= nodeC017-1751133631-11505
SLURM_JOB_ID= 9587417
Free space on /tmp= 432796 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm100p-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-4512047-1751138205/watcher-4512047-1751138205 -o /tmp/evaluation-result-4512047-1751138205/solver-4512047-1751138205 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751133631-11505 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4512047-1751138205.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 87dcb6b5c21e845aafa503750cb7c14f
RANDOM SEED=1408545748
nodeC017 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 : 3600.063
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 : 7000.12
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 : 3598.274
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 : 7000.12
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 : 3600.068
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 : 7000.12
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 : 3600.053
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 : 7000.12
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 : 3600.078
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 : 7000.12
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 : 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 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 : 7000.12
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 : 3600.075
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 : 7000.12
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 : 3611.750
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 : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129840192 kB
MemAvailable: 129694092 kB
Buffers: 3280 kB
Cached: 676872 kB
SwapCached: 0 kB
Active: 324804 kB
Inactive: 470312 kB
Active(anon): 133044 kB
Inactive(anon): 0 kB
Active(file): 191760 kB
Inactive(file): 470312 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 180140 kB
Writeback: 0 kB
AnonPages: 118092 kB
Mapped: 126940 kB
Shmem: 18080 kB
KReclaimable: 61732 kB
Slab: 143508 kB
SReclaimable: 61732 kB
SUnreclaim: 81776 kB
KernelStack: 4256 kB
PageTables: 3112 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 435256 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 53248 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432752 MiB
End job on nodeC017 at 2025-06-28 21:30:12