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
0.00/0.05 c [STEP] preprocessing with Papilo
0.00/0.09 c [STEP] solving with SCIP
299.47/300.24 c [STEP] preprocessing done, loading into solver
299.47/300.27 c [STEP] solving
299.47/300.27 c #variables 7133 #constraints 593
299.47/300.27 c SMALL=long long, LARGE=int128
299.47/300.27 c bounds - >= 0 @ 299.274
299.47/300.27 c stratification level: 0
3600.06/3609.30 c bounds - >= 1073741825 @ 299.28
3600.06/3609.30 c bounds - >= 1073807360 @ 299.283
3600.06/3609.30 c bounds - >= 1073823744 @ 299.288
3600.06/3609.30 c bounds - >= 1073825792 @ 299.293
3600.06/3609.30 c bounds - >= 1073826816 @ 299.298
3600.06/3609.30 c bounds - >= 1073826944 @ 299.302
3600.06/3609.30 c bounds - >= 1073827008 @ 299.307
3600.06/3609.30 c bounds - >= 1073827016 @ 299.311
3600.06/3609.30 c bounds - >= 1073827018 @ 299.315
3600.06/3609.30 c bounds - >= 1073840128 @ 299.322
3600.06/3609.30 c bounds - >= 1073872896 @ 299.328
3600.06/3609.30 c bounds - >= 1073872898 @ 299.356
3600.06/3609.30 c bounds - >= 1073873718 @ 299.361
3600.06/3609.30 c bounds - >= 1073877814 @ 299.363
3600.06/3609.30 c bounds - >= 1074003968 @ 299.366
3600.06/3609.30 c bounds - >= 1074003972 @ 299.631
3600.06/3609.30 c bounds - >= 1074003988 @ 299.7
3600.06/3609.30 c bounds - >= 1074004020 @ 299.999
3600.06/3609.30 c bounds - >= 1074004276 @ 300.2
3600.06/3609.30 c bounds - >= 1074266112 @ 300.445
3600.06/3609.30 c #Conflicts: 1000 | #Constraints: 1614
3600.06/3609.30 c bounds - >= 1074790400 @ 313.47
3600.06/3609.30 c #Conflicts: 2000 | #Constraints: 2615
3600.06/3609.30 c INPROCESSING
3600.06/3609.30 c #Conflicts: 3000 | #Constraints: 3484
3600.06/3609.30 c #Conflicts: 4000 | #Constraints: 4484
3600.06/3609.30 c #Conflicts: 5000 | #Constraints: 5484
3600.06/3609.30 c #Conflicts: 6000 | #Constraints: 6484
3600.06/3609.30 c INPROCESSING
3600.06/3609.30 c #Conflicts: 7000 | #Constraints: 7337
3600.06/3609.30 c #Conflicts: 8000 | #Constraints: 8337
3600.06/3609.30 c #Conflicts: 9000 | #Constraints: 9337
3600.06/3609.30 c #Conflicts: 10000 | #Constraints: 10337
3600.06/3609.30 c #Conflicts: 11000 | #Constraints: 11337
3600.06/3609.30 c #Conflicts: 12000 | #Constraints: 12337
3600.06/3609.30 c INPROCESSING
3600.06/3609.30 c #Conflicts: 13000 | #Constraints: 13245
3600.06/3609.30 c #Conflicts: 14000 | #Constraints: 14245
3600.06/3609.30 c #Conflicts: 15000 | #Constraints: 15245
3600.06/3609.30 c #Conflicts: 16000 | #Constraints: 16245
3600.06/3609.30 c #Conflicts: 17000 | #Constraints: 17245
3600.06/3609.30 c #Conflicts: 18000 | #Constraints: 18245
3600.06/3609.30 c #Conflicts: 19000 | #Constraints: 19245
3600.06/3609.30 c #Conflicts: 20000 | #Constraints: 20245
3600.06/3609.30 c INPROCESSING
3600.06/3609.30 c #Conflicts: 21000 | #Constraints: 21142
3600.06/3609.30 c #Conflicts: 22000 | #Constraints: 22142
3600.06/3609.30 c #Conflicts: 23000 | #Constraints: 23142
3600.06/3609.30 c #Conflicts: 24000 | #Constraints: 24142
3600.06/3609.30 c #Conflicts: 25000 | #Constraints: 25142
3600.06/3609.30 c #Conflicts: 26000 | #Constraints: 26142
3600.06/3609.30 c Program interrupted by user.
3600.06/3609.30 c cpu time 3507.39 s
3600.06/3609.30 c deterministic time 565861056836 5.66e+11
3600.06/3609.30 c optimization time 1509.8 s
3600.06/3609.30 c total solve time 1698.32 s
3600.06/3609.30 c core-guided solve time 1698.32 s
3600.06/3609.30 c propagation time 3072.8 s
3600.06/3609.30 c conflict analysis time 58.8819 s
3600.06/3609.30 c propagations 42748064
3600.06/3609.30 c resolve steps 76515
3600.06/3609.30 c decisions 119122533
3600.06/3609.30 c conflicts 26099
3600.06/3609.30 c restarts 93
3600.06/3609.30 c inprocessing phases 4
3600.06/3609.30 c input clauses 2
3600.06/3609.30 c input cardinalities 420
3600.06/3609.30 c input general constraints 193
3600.06/3609.30 c input average constraint length 252.91
3600.06/3609.30 c input average constraint degree 514962818939.92
3600.06/3609.30 c learned clauses 49
3600.06/3609.30 c learned cardinalities 9
3600.06/3609.30 c learned general constraints 26041
3600.06/3609.30 c learned average constraint length 5778.41
3600.06/3609.30 c learned average constraint degree 487831650.58
3600.06/3609.30 c watched constraints 20153
3600.06/3609.30 c counting constraints 6081
3600.06/3609.30 c gcd simplifications 254
3600.06/3609.30 c detected cardinalities 9
3600.06/3609.30 c weakened non-implied lits 95320
3600.06/3609.30 c weakened non-implying lits 234
3600.06/3609.30 c original variables 7287
3600.06/3609.30 c clausal propagations 11636
3600.06/3609.30 c cardinality propagations 3133000
3600.06/3609.30 c watched propagations 17387218
3600.06/3609.30 c counting propagations 22045702
3600.06/3609.30 c watch lookups 36227171111
3600.06/3609.30 c watch backjump lookups 36214875008
3600.06/3609.30 c watch checks 362385586038
3600.06/3609.30 c propagation checks 130280669326
3600.06/3609.30 c constraint additions 428994434
3600.06/3609.30 c trail pops 161890321
3600.06/3609.30 c formula constraints 593
3600.06/3609.30 c learned constraints 26099
3600.06/3609.30 c bound constraints 21
3600.06/3609.30 c core-guided constraints 1
3600.06/3609.30 c encountered formula constraints 32251
3600.06/3609.30 c encountered learned constraints 70364
3600.06/3609.30 c encountered bound constraints 0
3600.06/3609.30 c encountered core-guided constraints 0
3600.06/3609.30 c LP total time 0 s
3600.06/3609.30 c LP solve time 0 s
3600.06/3609.30 c LP constraints added 0
3600.06/3609.30 c LP constraints removed 0
3600.06/3609.30 c LP pivots internal 0
3600.06/3609.30 c LP pivots root 0
3600.06/3609.30 c LP calls 0
3600.06/3609.30 c LP optimalities 0
3600.06/3609.30 c LP no pivot count 0
3600.06/3609.30 c LP infeasibilities 0
3600.06/3609.30 c LP valid Farkas constraints 0
3600.06/3609.30 c LP learned Farkas constraints 0
3600.06/3609.30 c LP basis resets 0
3600.06/3609.30 c LP cycling count 0
3600.06/3609.30 c LP singular count 0
3600.06/3609.30 c LP no primal count 0
3600.06/3609.30 c LP no farkas count 0
3600.06/3609.30 c LP other issue count 0
3600.06/3609.30 c LP Gomory cuts 0
3600.06/3609.30 c LP learned cuts 0
3600.06/3609.30 c LP deleted cuts 0
3600.06/3609.30 c LP encountered Gomory constraints 0
3600.06/3609.30 c LP encountered Farkas constraints 0
3600.06/3609.30 c LP encountered learned Farkas constraints 0
3600.06/3609.30 c CG auxiliary variables introduced 0
3600.06/3609.30 c CG solutions found 0
3600.06/3609.30 c CG cores constructed 21
3600.06/3609.30 c CG core cardinality constraints returned 0
3600.06/3609.30 c CG unit cores 0
3600.06/3609.30 c CG single cores 20
3600.06/3609.30 c CG blocks removed during cardinality reduction 14
3600.06/3609.30 c CG first core best 0
3600.06/3609.30 c CG decision core best 0
3600.06/3609.30 c CG core reduction tie 1
3600.06/3609.30 c CG core degree average 1.00
3600.06/3609.30 c CG core slack average 14.19
3600.06/3609.30 c CG exhausted 0
3600.06/3609.30 c CG exhaust time 0 s
3600.06/3609.30 c CG trimmed 0
3600.06/3609.30 c CG trim time 0.031774 s
3600.06/3609.30 c CG minimized 0
3600.06/3609.30 c CG minimize time 0 s
3600.06/3609.30 c CG am1 prop time 0.000429 s
3600.06/3609.30 c CG # am1s reformulated 0
3600.06/3609.30 c CG lower bound derived from am1s 0
3600.06/3609.30 c CG # clausal cores 19
3600.06/3609.30 c CG # cardinality cores 0
3600.06/3609.30 c CG # pb cores 3
3600.06/3609.30 c CG # pb reforms 0
3600.06/3609.30 c CG # cores discarded because of pb reform 0
3600.06/3609.30 d LOWERBOUND 1074790400
3600.06/3609.30 d NCORES 21
3600.06/3609.30 d NPBCORES 3
3600.06/3609.30 d NPBREFORM 0
3600.06/3609.30 d NTRIMMED 0
3600.06/3609.30 d NEXHAUSTED 0
3600.06/3609.30 d NAM1S 0
3600.06/3609.30 d AM1LB 0
3600.06/3609.30 c [Papilo Statistics]
3600.06/3609.30 c prepro time 0.0419587s
3600.06/3609.30 c # tsx applied 590
3600.06/3609.30 c # tsx conflicts 4
3600.06/3609.30 c # bound changes 132
3600.06/3609.30 c # side changes 66
3600.06/3609.30 c # coef changes 72
3600.06/3609.30 c # rounds 3
3600.06/3609.30 c # deted vars 155
3600.06/3609.30 c # deted constrs 2
3600.06/3609.30 c # consecutive rounds of only bound changes 0
3600.06/3609.33 s UNKNOWN
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: 63968 MiB (61474 MiB free)
memory of node 1: 64473 MiB (62176 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435391-1721066341/watcher-4435391-1721066341 -o /tmp/evaluation-result-4435391-1721066341/solver-4435391-1721066341 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721058927-809295 --watchdog 3760 mixed-bag HOME/instance-4435391-1721066341.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=813637, runsolver pid=813634
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.38 4.28 4.20 5/257 813638
/proc/meminfo: memFree=126601248/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=103476 memory=34412 CPUtime=0.09 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 6293 0 0 0 9 0 0 0 20 0 1 0 158799059 105959424 8603 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 25869 8603 3314 3002 0 9620 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 103476 KiB
Current children cumulated memory: 34412 KiB
[startup+0.205614 s]*
/proc/loadavg: 4.38 4.28 4.20 5/257 813638
/proc/meminfo: memFree=126560256/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=141760 memory=70596 CPUtime=0.2 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 15517 0 0 0 18 2 0 0 20 0 1 0 158799059 145162240 17649 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 35440 17649 3762 3002 0 19191 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 141760 KiB
Current children cumulated memory: 70596 KiB
[startup+0.305519 s]*
/proc/loadavg: 4.38 4.28 4.20 5/257 813638
/proc/meminfo: memFree=126561180/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=141416 memory=70272 CPUtime=0.29 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 16794 0 0 0 27 2 0 0 20 0 1 0 158799059 144809984 17568 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 35354 17568 3794 3002 0 19105 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 141416 KiB
Current children cumulated memory: 70272 KiB
[startup+0.700224 s]
/proc/loadavg: 4.38 4.28 4.20 6/257 813638
/proc/meminfo: memFree=126560368/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=154980 memory=81932 CPUtime=0.69 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 19812 0 0 0 66 3 0 0 20 0 1 0 158799059 158699520 20483 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 38745 20483 3794 3002 0 22496 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 154980 KiB
Current children cumulated memory: 81932 KiB
[startup+1.50023 s]
/proc/loadavg: 4.38 4.28 4.20 5/257 813638
/proc/meminfo: memFree=126486668/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=246608 memory=153056 CPUtime=1.48 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 38232 0 0 0 143 5 0 0 20 0 1 0 158799059 252526592 38264 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 61652 38264 4000 3002 0 45403 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 246608 KiB
Current children cumulated memory: 153056 KiB
[startup+3.10535 s]
/proc/loadavg: 4.35 4.27 4.20 5/257 813639
/proc/meminfo: memFree=126409236/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=312432 memory=215484 CPUtime=3.09 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 54330 0 0 0 302 7 0 0 20 0 1 0 158799059 319930368 53871 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 78108 53871 4011 3002 0 61859 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 312432 KiB
Current children cumulated memory: 215484 KiB
[startup+6.30021 s]
/proc/loadavg: 4.35 4.27 4.20 5/257 813639
/proc/meminfo: memFree=126406956/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=312432 memory=217596 CPUtime=6.28 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 54874 0 0 0 621 7 0 0 20 0 1 0 158799059 319930368 54399 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 78108 54399 4011 3002 0 61859 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 312432 KiB
Current children cumulated memory: 217596 KiB
[startup+12.7002 s]
/proc/loadavg: 4.38 4.28 4.20 5/257 813641
/proc/meminfo: memFree=126396684/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=321572 memory=227796 CPUtime=12.66 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 56905 0 0 0 1259 7 0 0 20 0 1 0 158799059 329289728 56949 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 80393 56949 4011 3002 0 64144 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 321572 KiB
Current children cumulated memory: 227796 KiB
[startup+25.5002 s]
/proc/loadavg: 4.32 4.27 4.20 5/258 813643
/proc/meminfo: memFree=126376232/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=340844 memory=248036 CPUtime=25.43 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 62840 0 0 0 2535 8 0 0 20 0 1 0 158799059 349024256 62009 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 85211 62009 4011 3002 0 68962 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 340844 KiB
Current children cumulated memory: 248036 KiB
[startup+51.1054 s]
/proc/loadavg: 4.21 4.25 4.19 5/258 813646
/proc/meminfo: memFree=126298288/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=421460 memory=325460 CPUtime=50.98 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 85638 0 0 0 5086 12 0 0 20 0 1 0 158799059 431575040 81365 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 105365 81365 4011 3002 0 89116 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 421460 KiB
Current children cumulated memory: 325460 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.22 4.18 5/259 813663
/proc/meminfo: memFree=126064484/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=638756 memory=544320 CPUtime=102.06 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 140633 0 0 0 10185 21 0 0 20 0 1 0 158799059 654086144 136080 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 159689 136080 4011 3002 0 143440 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 638756 KiB
Current children cumulated memory: 544320 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.19 4.17 5/259 813684
/proc/meminfo: memFree=126030276/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=658688 memory=563544 CPUtime=161.91 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 145491 0 0 0 16168 23 0 0 20 0 1 0 158799059 674496512 140886 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 164672 140886 4011 3002 0 148423 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 658688 KiB
Current children cumulated memory: 563544 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/259 813739
/proc/meminfo: memFree=126441852/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=661860 memory=569296 CPUtime=221.77 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 147018 0 0 0 22153 24 0 0 20 0 1 0 158799059 677744640 142324 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 165465 142324 4011 3002 0 149216 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 661860 KiB
Current children cumulated memory: 569296 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/257 813750
/proc/meminfo: memFree=126437816/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=661760 memory=569740 CPUtime=281.61 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 151511 0 0 0 28136 25 0 0 20 0 1 0 158799059 677642240 142435 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 165440 142435 4011 3002 0 149191 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 661760 KiB
Current children cumulated memory: 569740 KiB
[startup+342.3 s]
/proc/loadavg: 4.26 4.22 4.19 5/257 813761
/proc/meminfo: memFree=126245972/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=848448 memory=692868 CPUtime=341.47 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 160405 0 0 0 33374 773 0 0 20 0 1 0 158799059 868810752 173217 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 212112 173217 4186 3002 0 195863 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 848448 KiB
Current children cumulated memory: 692868 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 4.21 4.18 5/255 813772
/proc/meminfo: memFree=126051220/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=980708 memory=783660 CPUtime=401.34 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 161790 0 0 0 38714 1420 0 0 20 0 1 0 158799059 1004244992 195915 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 245177 195915 4186 3002 0 228928 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 980708 KiB
Current children cumulated memory: 783660 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/255 813782
/proc/meminfo: memFree=125919732/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=980708 memory=844112 CPUtime=461.21 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 162369 0 0 0 44273 1848 0 0 20 0 1 0 158799059 1004244992 211028 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 245177 211028 4186 3002 0 228928 0
################
# More data... #
################
Current children cumulated memory: 2528228 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/255 814884
/proc/meminfo: memFree=121819092/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=3267320 memory=2546788 CPUtime=2915.11 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 398257 0 0 0 283252 8259 0 0 20 0 1 0 158799059 3345735680 636697 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 816830 636697 4186 3002 0 800581 0
Current children cumulated CPU time: 2915.11 s
Current children cumulated vsize: 3267320 KiB
Current children cumulated memory: 2546788 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/255 814894
/proc/meminfo: memFree=121787504/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=3268344 memory=2563680 CPUtime=2974.94 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 400574 0 0 0 289137 8357 0 0 20 0 1 0 158799059 3346784256 640920 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 817086 640920 4186 3002 0 800837 0
Current children cumulated CPU time: 2974.94 s
Current children cumulated vsize: 3268344 KiB
Current children cumulated memory: 2563680 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/255 814904
/proc/meminfo: memFree=121722884/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=3268856 memory=2579652 CPUtime=3034.77 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 402795 0 0 0 295022 8455 0 0 20 0 1 0 158799059 3347308544 644913 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 817214 644913 4186 3002 0 800965 0
Current children cumulated CPU time: 3034.77 s
Current children cumulated vsize: 3268856 KiB
Current children cumulated memory: 2579652 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.16 4.16 5/257 814920
/proc/meminfo: memFree=121612652/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=3269368 memory=2595904 CPUtime=3094.59 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 404920 0 0 0 300915 8544 0 0 20 0 1 0 158799059 3347832832 648976 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 817342 648976 4186 3002 0 801093 0
Current children cumulated CPU time: 3094.59 s
Current children cumulated vsize: 3269368 KiB
Current children cumulated memory: 2595904 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/257 814930
/proc/meminfo: memFree=121576124/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=3270648 memory=2612540 CPUtime=3154.42 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 407415 0 0 0 306808 8634 0 0 20 0 1 0 158799059 3349143552 653135 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 817662 653135 4186 3002 0 801413 0
Current children cumulated CPU time: 3154.42 s
Current children cumulated vsize: 3270648 KiB
Current children cumulated memory: 2612540 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/257 814940
/proc/meminfo: memFree=121502944/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=3271416 memory=2630812 CPUtime=3214.24 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 409645 0 0 0 312704 8720 0 0 20 0 1 0 158799059 3349929984 657703 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 817854 657703 4186 3002 0 801605 0
Current children cumulated CPU time: 3214.24 s
Current children cumulated vsize: 3271416 KiB
Current children cumulated memory: 2630812 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/256 814951
/proc/meminfo: memFree=121486988/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=3272184 memory=2647400 CPUtime=3274.07 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 411832 0 0 0 318596 8811 0 0 20 0 1 0 158799059 3350716416 661850 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 818046 661850 4186 3002 0 801797 0
Current children cumulated CPU time: 3274.07 s
Current children cumulated vsize: 3272184 KiB
Current children cumulated memory: 2647400 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/257 814963
/proc/meminfo: memFree=121410612/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=3272696 memory=2663280 CPUtime=3333.89 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 414187 0 0 0 324492 8897 0 0 20 0 1 0 158799059 3351240704 665820 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 818174 665820 4186 3002 0 801925 0
Current children cumulated CPU time: 3333.89 s
Current children cumulated vsize: 3272696 KiB
Current children cumulated memory: 2663280 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/256 815357
/proc/meminfo: memFree=121394008/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=3273208 memory=2678820 CPUtime=3393.72 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 416318 0 0 0 330392 8980 0 0 20 0 1 0 158799059 3351764992 669705 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 818302 669705 4186 3002 0 802053 0
Current children cumulated CPU time: 3393.72 s
Current children cumulated vsize: 3273208 KiB
Current children cumulated memory: 2678820 KiB
[startup+3462.3 s]
/proc/loadavg: 3.54 3.96 4.08 4/249 815397
/proc/meminfo: memFree=123394204/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=3274488 memory=2692792 CPUtime=3453.53 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 418691 0 0 0 336284 9069 0 0 20 0 1 0 158799059 3353075712 673198 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 818622 673198 4186 3002 0 802373 0
Current children cumulated CPU time: 3453.53 s
Current children cumulated vsize: 3274488 KiB
Current children cumulated memory: 2692792 KiB
[startup+3522.3 s]
/proc/loadavg: 3.25 3.80 4.02 4/249 815408
/proc/meminfo: memFree=123332708/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=3275768 memory=2709340 CPUtime=3513.34 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 421082 0 0 0 342181 9153 0 0 20 0 1 0 158799059 3354386432 677335 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 818942 677335 4186 3002 0 802693 0
Current children cumulated CPU time: 3513.34 s
Current children cumulated vsize: 3275768 KiB
Current children cumulated memory: 2709340 KiB
[startup+3582.3 s]
/proc/loadavg: 3.14 3.66 3.96 4/251 815588
/proc/meminfo: memFree=123317292/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=3276280 memory=2722396 CPUtime=3573.15 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 423605 0 0 0 348083 9232 0 0 20 0 1 0 158799059 3354910720 680599 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 819070 680599 4186 3002 0 802821 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 3276280 KiB
Current children cumulated memory: 2722396 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 3.08 3.60 3.93 4/251 815592
/proc/meminfo: memFree=123303392/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=3276280 memory=2728736 CPUtime=3600.06 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 424587 0 0 0 350739 9267 0 0 20 0 1 0 158799059 3354910720 682184 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 819070 682184 4186 3002 0 802821 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3276280 KiB
Current children cumulated memory: 2728736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.36 s]
# the end of solver process 813637 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3507.4 s, system=92.7285 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 3.08 3.60 3.93 4/251 815592
/proc/meminfo: memFree=123303392/131524600 swapFree=131071996/131071996
[pid=813637] ppid=813634 vsize=3276280 memory=2728736 CPUtime=3600.06 cores=4,6
/proc/813637/stat : 813637 (mixed-bag) R 813634 813637 809284 0 -1 4194304 424587 0 0 0 350739 9267 0 0 20 0 1 0 158799059 3354910720 682184 134679101440 4194304 16487941 140722345192448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26820608 140722345194519 140722345194596 140722345194596 140722345201611 0
/proc/813637/statm: 819070 682184 4186 3002 0 802821 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3276280 KiB
Current children cumulated memory: 2728736 KiB
Child status: 0
Real time (s): 3609.36
CPU time (s): 3600.12
CPU user time (s): 3507.4
CPU system time (s): 92.7285
CPU usage (%): 99.7442
Max. virtual memory (cumulated for all children) (KiB): 3276280
Max. memory (cumulated for all children) (KiB): 2728736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3507.4
system time used= 92.7285
maximum resident set size= 2728736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 424630
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= 255
involuntary context switches= 4813
# summary of solver processes directly reported to runsolver:
# pid: 813637
# total CPU time (s): 3600.12
# total CPU user time (s): 3507.4
# total CPU system time (s): 92.7285
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.08621 second user time and 16.2962 second system time
The end
Begin job on nodeC023 at 2024-07-15 19:59:14
IDJOB=4435391
IDBENCH=146775
IDSOLVER=3066
FILE ID=nodeC023/4435391-1721066341
RUNJOBID= nodeC023-1721058927-809295
SLURM_JOB_ID= 7505494
Free space on /tmp= 890028 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435391-1721066341/watcher-4435391-1721066341 -o /tmp/evaluation-result-4435391-1721066341/solver-4435391-1721066341 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721058927-809295 --watchdog 3760 mixed-bag HOME/instance-4435391-1721066341.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1ab00a09bce4fe90071f9bd51d0e1c65
RANDOM SEED=509106522
nodeC023.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 : 3664.033
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.61
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 : 3670.562
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 : 7005.48
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.155
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.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.831
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 : 7005.48
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 : 3652.443
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.61
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 : 3670.576
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 : 7005.48
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 : 3665.814
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.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.823
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 : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126618192 kB
MemAvailable: 128005340 kB
Buffers: 377728 kB
Cached: 1837428 kB
SwapCached: 0 kB
Active: 713028 kB
Inactive: 3580124 kB
Active(anon): 1596 kB
Inactive(anon): 2113788 kB
Active(file): 711432 kB
Inactive(file): 1466336 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17448 kB
Writeback: 0 kB
AnonPages: 2076576 kB
Mapped: 130212 kB
Shmem: 37720 kB
KReclaimable: 98408 kB
Slab: 204356 kB
SReclaimable: 98408 kB
SUnreclaim: 105948 kB
KernelStack: 4224 kB
PageTables: 13528 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2857072 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1329152 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: 203476 kB
DirectMap2M: 18444288 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890032 MiB
End job on nodeC023 at 2024-07-15 20:59:23