0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
2.18/2.20 c [STEP] preprocessing with Papilo
16.84/16.92 c [STEP] solving with SCIP
318.07/319.39 c [STEP] preprocessing done, loading into solver
318.97/320.29 c [STEP] solving
318.97/320.29 c #variables 364933 #constraints 366803
319.07/320.30 c SMALL=int, LARGE=long long
319.07/320.34 c bounds - >= -1985662740 @ 317.33
319.07/320.34 c stratification level: 6765
506.62/508.41 terminate called after throwing an instance of 'std::bad_alloc'
506.62/508.41 what(): std::bad_alloc
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: 63931 MiB (61486 MiB free)
memory of node 1: 64510 MiB (58849 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435675-1721148868/watcher-4435675-1721148868 -o /tmp/evaluation-result-4435675-1721148868/solver-4435675-1721148868 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721141632-886874 --watchdog 3760 mixed-bag HOME/instance-4435675-1721148868.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=891019, runsolver pid=891016
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.08 4.12 4.15 5/260 891020
/proc/meminfo: memFree=123119496/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=201248 memory=104656 CPUtime=0.09 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4194304 15246 0 0 0 6 3 0 0 20 0 1 0 167048641 206077952 26164 134679101440 4194304 16487941 140722137617632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 50312 26164 1654 3002 0 34602 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 201248 KiB
Current children cumulated memory: 104656 KiB
[startup+0.205852 s]*
/proc/loadavg: 4.08 4.12 4.15 5/260 891020
/proc/meminfo: memFree=123125608/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=182388 memory=96228 CPUtime=0.19 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4194304 18938 0 0 0 16 3 0 0 20 0 1 0 167048641 186765312 24057 134679101440 4194304 16487941 140722137617632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 45597 24057 1701 3002 0 29887 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 182388 KiB
Current children cumulated memory: 96228 KiB
[startup+0.305765 s]*
/proc/loadavg: 4.08 4.12 4.15 5/260 891020
/proc/meminfo: memFree=123104040/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=190580 memory=109876 CPUtime=0.3 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4194304 19779 0 0 0 26 4 0 0 20 0 1 0 167048641 195153920 27469 134679101440 4194304 16487941 140722137617632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 47645 27469 1701 3002 0 31935 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 190580 KiB
Current children cumulated memory: 109876 KiB
[startup+0.700239 s]
/proc/loadavg: 4.08 4.12 4.15 5/260 891020
/proc/meminfo: memFree=122939320/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=207008 memory=124736 CPUtime=0.68 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4194304 20899 0 0 0 63 5 0 0 20 0 1 0 167048641 211976192 31184 134679101440 4194304 16487941 140722137617632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 51752 31184 1701 3002 0 36042 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 207008 KiB
Current children cumulated memory: 124736 KiB
[startup+1.50022 s]
/proc/loadavg: 4.08 4.12 4.15 5/260 891020
/proc/meminfo: memFree=122741048/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=244796 memory=174972 CPUtime=1.48 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4194304 23764 0 0 0 140 8 0 0 20 0 1 0 167048641 250671104 43743 134679101440 4194304 16487941 140722137617632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 61199 43743 1701 3002 0 45489 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 244796 KiB
Current children cumulated memory: 174972 KiB
[startup+3.10568 s]
/proc/loadavg: 4.08 4.12 4.15 5/260 891022
/proc/meminfo: memFree=122282052/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=643048 memory=512564 CPUtime=3.09 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4194304 43882 0 0 0 287 22 0 0 20 0 1 0 167048641 658481152 128141 134679101440 4194304 16487941 140722137617632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 160762 128141 1919 3002 0 144513 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 643048 KiB
Current children cumulated memory: 512564 KiB
[startup+6.30022 s]
/proc/loadavg: 4.08 4.12 4.15 5/260 891022
/proc/meminfo: memFree=122157752/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=643048 memory=512564 CPUtime=6.28 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4194304 43885 0 0 0 606 22 0 0 20 0 1 0 167048641 658481152 128141 134679101440 4194304 16487941 140722137617632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 160762 128141 1919 3002 0 144513 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 643048 KiB
Current children cumulated memory: 512564 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.12 4.15 5/260 891023
/proc/meminfo: memFree=122004116/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=643048 memory=512564 CPUtime=12.66 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4194304 43894 0 0 0 1244 22 0 0 20 0 1 0 167048641 658481152 128141 134679101440 4194304 16487941 140722137617632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 160762 128141 1919 3002 0 144513 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 643048 KiB
Current children cumulated memory: 512564 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.13 4.15 5/260 891025
/proc/meminfo: memFree=118805740/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=2270288 memory=2127224 CPUtime=25.42 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4194304 385667 0 0 0 2462 80 0 0 20 0 1 0 167048641 2324774912 531806 134679101440 4194304 16487941 140722137617632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 567572 531806 3854 3002 0 551323 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2270288 KiB
Current children cumulated memory: 2127224 KiB
[startup+51.1058 s]
/proc/loadavg: 4.08 4.12 4.15 5/260 891411
/proc/meminfo: memFree=118001692/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=2293584 memory=2137380 CPUtime=50.95 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4194304 387226 0 0 0 5015 80 0 0 20 0 1 0 167048641 2348630016 534345 134679101440 4194304 16487941 140722137617632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 573396 534345 3854 3002 0 557147 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2293584 KiB
Current children cumulated memory: 2137380 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/258 891421
/proc/meminfo: memFree=116574872/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=2804060 memory=2657328 CPUtime=101.97 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4194304 553862 0 0 0 10091 106 0 0 20 0 1 0 167048641 2871357440 664332 134679101440 4194304 16487941 140722137617632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 701015 664332 3886 3002 0 684766 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2804060 KiB
Current children cumulated memory: 2657328 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.10 4.14 5/258 891477
/proc/meminfo: memFree=115868888/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=2804060 memory=2657456 CPUtime=161.76 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4194304 553956 0 0 0 16070 106 0 0 20 0 1 0 167048641 2871357440 664364 134679101440 4194304 16487941 140722137617632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 701015 664364 3886 3002 0 684766 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 2804060 KiB
Current children cumulated memory: 2657456 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.13 5/260 891658
/proc/meminfo: memFree=111530780/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=4264772 memory=3942536 CPUtime=221.55 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4194304 720845 0 0 0 22008 147 0 0 20 0 1 0 167048641 4367126528 985634 134679101440 4194304 16487941 140722137617632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 1066193 985634 4062 3002 0 1049944 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 4264772 KiB
Current children cumulated memory: 3942536 KiB
[startup+282.3 s]
/proc/loadavg: 4.48 4.22 4.17 5/260 891668
/proc/meminfo: memFree=111498812/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=4264772 memory=3942536 CPUtime=281.22 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4194304 720846 0 0 0 27975 147 0 0 20 0 1 0 167048641 4367126528 985634 134679101440 4194304 16487941 140722137617632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 1066193 985634 4062 3002 0 1049944 0
Current children cumulated CPU time: 281.22 s
Current children cumulated vsize: 4264772 KiB
Current children cumulated memory: 3942536 KiB
[startup+342.3 s]
/proc/loadavg: 4.43 4.25 4.19 5/257 891681
/proc/meminfo: memFree=109899076/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=4885836 memory=4818456 CPUtime=341 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4194304 982018 0 0 0 33886 214 0 0 20 0 1 0 167048641 5003096064 1204614 134679101440 4194304 16487941 140722137617632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 1221459 1204614 4141 3002 0 1205210 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 4885836 KiB
Current children cumulated memory: 4818456 KiB
[startup+402.3 s]
/proc/loadavg: 4.24 4.22 4.18 5/257 891703
/proc/meminfo: memFree=98846096/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=15145572 memory=15078260 CPUtime=400.82 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4194304 3402541 0 0 0 39505 577 0 0 20 0 1 0 167048641 15509065728 3769565 134679101440 4194304 16487941 140722137617632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 3786393 3769565 4141 3002 0 3770144 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 15145572 KiB
Current children cumulated memory: 15078260 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.19 4.17 5/257 891713
/proc/meminfo: memFree=88697752/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=24894128 memory=24826876 CPUtime=460.64 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4194304 5717695 0 0 0 45133 931 0 0 20 0 1 0 167048641 25491587072 6206719 134679101440 4194304 16487941 140722137617632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 6223532 6206719 4141 3002 0 6207283 0
Current children cumulated CPU time: 460.64 s
Current children cumulated vsize: 24894128 KiB
Current children cumulated memory: 24826876 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+508.106 s]
/proc/loadavg: 4.12 4.18 4.17 5/257 891719
/proc/meminfo: memFree=82168100/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=31753664 memory=31686256 CPUtime=506.32 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4194304 7328905 0 0 0 49462 1170 0 0 20 0 1 0 167048641 32515751936 7921564 134679101440 4194304 16487941 140722137617632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 7938416 7921564 4141 3002 0 7922167 0
Current children cumulated CPU time: 506.32 s
Current children cumulated vsize: 31753664 KiB
Current children cumulated memory: 31686256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+510.94 s]
# the end of solver process 891019 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=494.926 s, system=14.0594 s
Solver just ended.
Dumping a history of the last processes samples
[startup+508.801 s]
/proc/loadavg: 4.12 4.18 4.17 5/257 891719
/proc/meminfo: memFree=82168100/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=31795112 memory=31728200 CPUtime=506.89 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4195840 7338777 0 0 0 49492 1197 0 0 20 0 1 0 167048641 32558194688 7932050 134679101440 4194304 16487941 140722137617632 140722137612752 140166701065087 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 7948778 7932050 4222 3002 0 7932529 0
Current children cumulated CPU time: 506.89 s
Current children cumulated vsize: 31795112 KiB
Current children cumulated memory: 31728200 KiB
[startup+509.601 s]
/proc/loadavg: 4.12 4.18 4.17 5/258 891721
/proc/meminfo: memFree=81581032/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=31795112 memory=31728200 CPUtime=507.65 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4195840 7338777 0 0 0 49492 1273 0 0 20 0 1 0 167048641 32558194688 7932050 134679101440 4194304 16487941 140722137617632 140722137612752 140166701065087 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 7948778 7932050 4222 3002 0 7932529 0
Current children cumulated CPU time: 507.65 s
Current children cumulated vsize: 31795112 KiB
Current children cumulated memory: 31728200 KiB
[startup+510.001 s]*
/proc/loadavg: 4.12 4.18 4.17 5/258 891721
/proc/meminfo: memFree=80490648/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=31795112 memory=31728200 CPUtime=508.05 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4195840 7338777 0 0 0 49492 1313 0 0 20 0 1 0 167048641 32558194688 7932050 134679101440 4194304 16487941 140722137617632 140722137612752 140166701065087 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 7948778 7932050 4222 3002 0 7932529 0
Current children cumulated CPU time: 508.05 s
Current children cumulated vsize: 31795112 KiB
Current children cumulated memory: 31728200 KiB
[startup+510.106 s]
/proc/loadavg: 4.12 4.18 4.17 5/258 891721
/proc/meminfo: memFree=80490648/131524600 swapFree=131071996/131071996
[pid=891019] ppid=891016 vsize=31795112 memory=31728200 CPUtime=508.15 cores=1,3
/proc/891019/stat : 891019 (mixed-bag) R 891016 891019 886862 0 -1 4195840 7338777 0 0 0 49492 1323 0 0 20 0 1 0 167048641 32558194688 7932050 134679101440 4194304 16487941 140722137617632 140722137612752 140166701065087 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 26730496 140722137621527 140722137621604 140722137621604 140722137628619 0
/proc/891019/statm: 7948778 7932050 4222 3002 0 7932529 0
Current children cumulated CPU time: 508.15 s
Current children cumulated vsize: 31795112 KiB
Current children cumulated memory: 31728200 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 510.94
CPU time (s): 508.985
CPU user time (s): 494.926
CPU system time (s): 14.0594
CPU usage (%): 99.6173
Max. virtual memory (cumulated for all children) (KiB): 31795112
Max. memory (cumulated for all children) (KiB): 31728200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 494.926
system time used= 14.0594
maximum resident set size= 31728448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7338777
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= 22
involuntary context switches= 460
# summary of solver processes directly reported to runsolver:
# pid: 891019
# total CPU time (s): 508.985
# total CPU user time (s): 494.926
# total CPU system time (s): 14.0594
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.03588 second user time and 2.4956 second system time
The end
Begin job on nodeC017 at 2024-07-16 18:54:40
IDJOB=4435675
IDBENCH=157434
IDSOLVER=3066
FILE ID=nodeC017/4435675-1721148868
RUNJOBID= nodeC017-1721141632-886874
SLURM_JOB_ID= 7505725
Free space on /tmp= 889944 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null50mast_rapportOE2.0_TMAX15_K192_cod1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435675-1721148868/watcher-4435675-1721148868 -o /tmp/evaluation-result-4435675-1721148868/solver-4435675-1721148868 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721141632-886874 --watchdog 3760 mixed-bag HOME/instance-4435675-1721148868.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 19fb62140527f06bc9ecc93817abb881
RANDOM SEED=590586356
nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3684.511
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
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 : 3658.251
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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.798
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
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 : 3682.476
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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 : 3684.505
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
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 : 3681.798
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
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.769
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
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 : 3666.532
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123224580 kB
MemAvailable: 127608412 kB
Buffers: 425696 kB
Cached: 4751156 kB
SwapCached: 0 kB
Active: 1031384 kB
Inactive: 6574256 kB
Active(anon): 1544 kB
Inactive(anon): 2464964 kB
Active(file): 1029840 kB
Inactive(file): 4109292 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 156480 kB
Writeback: 128 kB
AnonPages: 2427584 kB
Mapped: 127756 kB
Shmem: 37720 kB
KReclaimable: 168692 kB
Slab: 283136 kB
SReclaimable: 168692 kB
SUnreclaim: 114444 kB
KernelStack: 4160 kB
PageTables: 14544 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2878708 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62208 kB
HardwareCorrupted: 0 kB
AnonHugePages: 649216 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 215764 kB
DirectMap2M: 24723456 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 889900 MiB
End job on nodeC017 at 2024-07-16 19:03:11