0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
2.67/2.75 c [STEP] solving
2.67/2.75 c #variables 399113 #constraints 400980
2.67/2.76 c SMALL=int, LARGE=long long
2.67/2.77 c bounds - >= -105742757 @ 2.2231
2.67/2.77 c stratification level: 999
3601.23/3611.04 c bounds - >= -71802947 @ 21.9344
3601.23/3611.04 c bounds - >= -70352494 @ 22.2679
3601.23/3611.04 c bounds - >= -70351494 @ 22.2851
3601.23/3611.04 c bounds - >= -70350494 @ 22.3072
3601.23/3611.04 c bounds - >= -70349494 @ 22.3279
3601.23/3611.04 c bounds - >= -69973866 @ 22.3579
3601.23/3611.04 c bounds - >= -69972866 @ 22.5242
3601.23/3611.04 c #Conflicts: 1000 | #Constraints: 402323
3601.23/3611.04 c bounds - >= -69966188 @ 25.824
3601.23/3611.04 c #Conflicts: 2000 | #Constraints: 403324
3601.23/3611.04 c INPROCESSING
3601.23/3611.04 c GARBAGE COLLECT
3601.23/3611.04 c bounds - >= -69965188 @ 28.2108
3601.23/3611.04 c bounds - >= -69964188 @ 30.9798
3601.23/3611.04 c bounds - >= -69963188 @ 31.3363
3601.23/3611.04 c bounds - >= -69962188 @ 31.6113
3601.23/3611.04 c bounds - >= -69742800 @ 32.4553
3601.23/3611.04 c #Conflicts: 3000 | #Constraints: 392659
3601.23/3611.04 c #Conflicts: 4000 | #Constraints: 393659
3601.23/3611.04 c INPROCESSING
3601.23/3611.04 c GARBAGE COLLECT
3601.23/3611.04 c #Conflicts: 5000 | #Constraints: 391772
3601.23/3611.04 c #Conflicts: 6000 | #Constraints: 392772
3601.23/3611.04 c INPROCESSING
3601.23/3611.04 c GARBAGE COLLECT
3601.23/3611.04 c #Conflicts: 7000 | #Constraints: 391791
3601.23/3611.04 c #Conflicts: 8000 | #Constraints: 392791
3601.23/3611.04 c #Conflicts: 9000 | #Constraints: 393791
3601.23/3611.04 c INPROCESSING
3601.23/3611.04 c GARBAGE COLLECT
3601.23/3611.04 c #Conflicts: 10000 | #Constraints: 392520
3601.23/3611.04 c #Conflicts: 11000 | #Constraints: 393520
3601.23/3611.04 c #Conflicts: 12000 | #Constraints: 394520
3601.23/3611.04 c INPROCESSING
3601.23/3611.04 c GARBAGE COLLECT
3601.23/3611.04 c #Conflicts: 13000 | #Constraints: 392988
3601.23/3611.04 c Program interrupted by user.
3601.23/3611.04 c cpu time 3577.62 s
3601.23/3611.04 c deterministic time 124401132777 1.24e+11
3601.23/3611.04 c optimization time 377.389 s
3601.23/3611.04 c total solve time 3198.02 s
3601.23/3611.04 c core-guided solve time 3198.02 s
3601.23/3611.04 c propagation time 989.854 s
3601.23/3611.04 c conflict analysis time 2197.65 s
3601.23/3611.04 c propagations 431913292
3601.23/3611.04 c resolve steps 513079
3601.23/3611.04 c decisions 21298311
3601.23/3611.04 c conflicts 13441
3601.23/3611.04 c restarts 59
3601.23/3611.04 c inprocessing phases 5
3601.23/3611.04 c input clauses 399338
3601.23/3611.04 c input cardinalities 1977
3601.23/3611.04 c input general constraints 14
3601.23/3611.04 c input average constraint length 11.29
3601.23/3611.04 c input average constraint degree 1076.74
3601.23/3611.04 c learned clauses 2197
3601.23/3611.04 c learned cardinalities 1467
3601.23/3611.04 c learned general constraints 9777
3601.23/3611.04 c learned average constraint length 194828.08
3601.23/3611.04 c learned average constraint degree 464158386.79
3601.23/3611.04 c watched constraints 362
3601.23/3611.04 c counting constraints 9429
3601.23/3611.04 c gcd simplifications 21
3601.23/3611.04 c detected cardinalities 7
3601.23/3611.04 c weakened non-implied lits 640143443
3601.23/3611.04 c weakened non-implying lits 7940
3601.23/3611.04 c original variables 399113
3601.23/3611.04 c clausal propagations 131829205
3601.23/3611.04 c cardinality propagations 12538828
3601.23/3611.04 c watched propagations 68070
3601.23/3611.04 c counting propagations 274210243
3601.23/3611.04 c watch lookups 579355518
3601.23/3611.04 c watch backjump lookups 443024477
3601.23/3611.04 c watch checks 978753671
3601.23/3611.04 c propagation checks 116477757676
3601.23/3611.04 c constraint additions 5016202355
3601.23/3611.04 c trail pops 452827476
3601.23/3611.04 c formula constraints 400980
3601.23/3611.04 c learned constraints 13441
3601.23/3611.04 c bound constraints 13
3601.23/3611.04 c core-guided constraints 336
3601.23/3611.04 c encountered formula constraints 500158
3601.23/3611.04 c encountered learned constraints 25287
3601.23/3611.04 c encountered bound constraints 0
3601.23/3611.04 c encountered core-guided constraints 1163
3601.23/3611.04 c LP total time 0 s
3601.23/3611.04 c LP solve time 0 s
3601.23/3611.04 c LP constraints added 0
3601.23/3611.04 c LP constraints removed 0
3601.23/3611.04 c LP pivots internal 0
3601.23/3611.04 c LP pivots root 0
3601.23/3611.04 c LP calls 0
3601.23/3611.04 c LP optimalities 0
3601.23/3611.04 c LP no pivot count 0
3601.23/3611.04 c LP infeasibilities 0
3601.23/3611.04 c LP valid Farkas constraints 0
3601.23/3611.04 c LP learned Farkas constraints 0
3601.23/3611.04 c LP basis resets 0
3601.23/3611.04 c LP cycling count 0
3601.23/3611.04 c LP singular count 0
3601.23/3611.04 c LP no primal count 0
3601.23/3611.04 c LP no farkas count 0
3601.23/3611.04 c LP other issue count 0
3601.23/3611.04 c LP Gomory cuts 0
3601.23/3611.04 c LP learned cuts 0
3601.23/3611.04 c LP deleted cuts 0
3601.23/3611.04 c LP encountered Gomory constraints 0
3601.23/3611.04 c LP encountered Farkas constraints 0
3601.23/3611.04 c LP encountered learned Farkas constraints 0
3601.23/3611.04 c CG auxiliary variables introduced 248
3601.23/3611.04 c CG solutions found 0
3601.23/3611.04 c CG cores constructed 13
3601.23/3611.04 c CG core cardinality constraints returned 0
3601.23/3611.04 c CG unit cores 0
3601.23/3611.04 c CG single cores 13
3601.23/3611.04 c CG blocks removed during cardinality reduction 0
3601.23/3611.04 c CG first core best 0
3601.23/3611.04 c CG decision core best 0
3601.23/3611.04 c CG core reduction tie 0
3601.23/3611.04 c CG core degree average 1.00
3601.23/3611.04 c CG core slack average 18.08
3601.23/3611.04 c CG exhausted 0
3601.23/3611.04 c CG exhaust time 0 s
3601.23/3611.04 c CG trimmed 0
3601.23/3611.04 c CG trim time 0.045204 s
3601.23/3611.04 c CG minimized 0
3601.23/3611.04 c CG minimize time 0 s
3601.23/3611.04 c CG am1 prop time 3.89814 s
3601.23/3611.04 c CG # am1s reformulated 248
3601.23/3611.04 c CG lower bound derived from am1s 33850810
3601.23/3611.04 c CG # clausal cores 13
3601.23/3611.04 c CG # cardinality cores 0
3601.23/3611.04 c CG # pb cores 0
3601.23/3611.04 c CG # pb reforms 0
3601.23/3611.04 c CG # cores discarded because of pb reform 0
3601.23/3611.04 d LOWERBOUND -69742800
3601.23/3611.04 d NCORES 13
3601.23/3611.04 d NPBCORES 0
3601.23/3611.04 d NPBREFORM 0
3601.23/3611.04 d NTRIMMED 0
3601.23/3611.04 d NEXHAUSTED 0
3601.23/3611.04 d NAM1S 248
3601.23/3611.04 d AM1LB 33850810
3601.52/3611.34 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: 64096 MiB (61948 MiB free)
memory of node 1: 64473 MiB (60300 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454526-1721476819/watcher-4454526-1721476819 -o /tmp/evaluation-result-4454526-1721476819/solver-4454526-1721476819 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721469315-1062596 --watchdog 3760 pb-oll-rs HOME/instance-4454526-1721476819.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=1067483, runsolver pid=1067480
Current StackSize limit: 8192 KiB
[startup+0.100893 s]*
/proc/loadavg: 4.31 4.15 4.14 6/247 1067484
/proc/meminfo: memFree=125072124/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=146300 memory=106220 CPUtime=0.09 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 15473 0 0 0 6 3 0 0 20 0 1 0 199840632 149811200 26555 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 36575 26555 1136 291 0 28109 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 146300 KiB
Current children cumulated memory: 106220 KiB
[startup+0.206028 s]*
/proc/loadavg: 4.31 4.15 4.14 6/247 1067484
/proc/meminfo: memFree=125077536/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=127776 memory=92372 CPUtime=0.19 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 15522 0 0 0 15 4 0 0 20 0 1 0 199840632 130842624 23093 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 31944 23093 1152 291 0 23478 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 127776 KiB
Current children cumulated memory: 92372 KiB
[startup+0.306001 s]*
/proc/loadavg: 4.31 4.15 4.14 6/247 1067484
/proc/meminfo: memFree=125066596/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=127776 memory=95004 CPUtime=0.29 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 15625 0 0 0 23 6 0 0 20 0 1 0 199840632 130842624 23751 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 31944 23751 1168 291 0 23478 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 127776 KiB
Current children cumulated memory: 95004 KiB
[startup+0.700226 s]
/proc/loadavg: 4.31 4.15 4.14 6/247 1067486
/proc/meminfo: memFree=125043876/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=127776 memory=95264 CPUtime=0.68 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 15697 0 0 0 54 14 0 0 20 0 1 0 199840632 130842624 23816 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 31944 23816 1168 291 0 23478 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 127776 KiB
Current children cumulated memory: 95264 KiB
[startup+1.50028 s]
/proc/loadavg: 4.31 4.15 4.14 6/247 1067486
/proc/meminfo: memFree=124976264/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=146388 memory=114152 CPUtime=1.48 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 19411 0 0 0 120 28 0 0 20 0 1 0 199840632 149901312 28538 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 36597 28538 1168 291 0 28131 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 146388 KiB
Current children cumulated memory: 114152 KiB
[startup+3.11315 s]
/proc/loadavg: 4.31 4.15 4.14 5/247 1067486
/proc/meminfo: memFree=124776920/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=215892 memory=180976 CPUtime=3.09 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 26103 0 0 0 257 52 0 0 20 0 1 0 199840632 221073408 45244 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 53973 45244 1296 291 0 45507 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 215892 KiB
Current children cumulated memory: 180976 KiB
[startup+6.30031 s]
/proc/loadavg: 4.36 4.16 4.15 5/248 1067493
/proc/meminfo: memFree=125686740/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=363756 memory=328692 CPUtime=6.27 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 63125 0 0 0 566 61 0 0 20 0 1 0 199840632 372486144 82173 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 90939 82173 1296 291 0 82473 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 363756 KiB
Current children cumulated memory: 328692 KiB
[startup+12.7003 s]
/proc/loadavg: 4.33 4.16 4.15 5/248 1067494
/proc/meminfo: memFree=125485032/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=569064 memory=533940 CPUtime=12.66 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 112416 0 0 0 1193 73 0 0 20 0 1 0 199840632 582721536 133485 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 142266 133485 1296 291 0 133800 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 569064 KiB
Current children cumulated memory: 533940 KiB
[startup+25.5003 s]
/proc/loadavg: 4.26 4.15 4.15 5/247 1067496
/proc/meminfo: memFree=125154084/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=908416 memory=841516 CPUtime=25.43 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 175166 0 0 0 2449 94 0 0 20 0 1 0 199840632 930217984 210379 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 227104 210379 1375 291 0 218638 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 908416 KiB
Current children cumulated memory: 841516 KiB
[startup+51.1133 s]
/proc/loadavg: 4.23 4.15 4.15 5/247 1067511
/proc/meminfo: memFree=124699940/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=1372244 memory=1292572 CPUtime=50.98 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 243537 0 0 0 4965 133 0 0 20 0 1 0 199840632 1405177856 323143 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 343061 323143 1436 291 0 334595 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 1372244 KiB
Current children cumulated memory: 1292572 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.14 5/247 1067520
/proc/meminfo: memFree=123812660/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=2273536 memory=2172200 CPUtime=102.05 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 377711 0 0 0 9998 207 0 0 20 0 1 0 199840632 2328100864 543050 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 568384 543050 1436 291 0 559918 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 2273536 KiB
Current children cumulated memory: 2172200 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.13 4.14 5/247 1067531
/proc/meminfo: memFree=122104184/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=2859240 memory=2630672 CPUtime=161.91 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 433705 0 0 0 15971 220 0 0 20 0 1 0 199840632 2927861760 657668 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 714810 657668 1436 291 0 706344 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 2859240 KiB
Current children cumulated memory: 2630672 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.14 4.14 5/245 1067586
/proc/meminfo: memFree=120405948/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=4102272 memory=3642324 CPUtime=221.76 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 601115 0 0 0 21813 363 0 0 20 0 1 0 199840632 4200726528 910581 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 1025568 910581 1436 291 0 1017102 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 4102272 KiB
Current children cumulated memory: 3642324 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.14 4.14 5/245 1067597
/proc/meminfo: memFree=118631540/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=5477792 memory=4623396 CPUtime=281.62 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 714260 0 0 0 27703 459 0 0 20 0 1 0 199840632 5609259008 1155849 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 1369448 1155849 1436 291 0 1360982 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 5477792 KiB
Current children cumulated memory: 4623396 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/241 1067608
/proc/meminfo: memFree=116116980/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=6753160 memory=6320428 CPUtime=341.47 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 1020350 0 0 0 33613 534 0 0 20 0 1 0 199840632 6915235840 1580107 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 1688290 1580107 1436 291 0 1679824 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 6753160 KiB
Current children cumulated memory: 6320428 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/241 1067618
/proc/meminfo: memFree=115199684/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=8268280 memory=6805676 CPUtime=401.34 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 1027825 0 0 0 39538 596 0 0 20 0 1 0 199840632 8466718720 1701419 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 2067070 1701419 1436 291 0 2058604 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 8268280 KiB
Current children cumulated memory: 6805676 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.11 4.12 5/241 1067628
/proc/meminfo: memFree=113800060/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=9144120 memory=8035620 CPUtime=461.19 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 1205389 0 0 0 45420 699 0 0 20 0 1 0 199840632 9363578880 2008905 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 2286030 2008905 1436 291 0 2277564 0
################
# More data... #
################
/proc/meminfo: memFree=102041000/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=15541560 memory=14227484 CPUtime=3034.03 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 2145741 0 0 0 301546 1857 0 0 20 0 1 0 199840632 15914557440 3556871 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 3885390 3556871 1436 291 0 3876924 0
Current children cumulated CPU time: 3034.03 s
Current children cumulated vsize: 15541560 KiB
Current children cumulated memory: 14227484 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/242 1068803
/proc/meminfo: memFree=101969744/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=15541560 memory=14282932 CPUtime=3093.85 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 2148205 0 0 0 307520 1865 0 0 20 0 1 0 199840632 15914557440 3570733 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 3885390 3570733 1436 291 0 3876924 0
Current children cumulated CPU time: 3093.85 s
Current children cumulated vsize: 15541560 KiB
Current children cumulated memory: 14282932 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/242 1068814
/proc/meminfo: memFree=99205348/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=19058888 memory=16898260 CPUtime=3153.66 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 2716655 0 0 0 313330 2036 0 0 20 0 1 0 199840632 19516301312 4224565 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 4764722 4224565 1436 291 0 4756256 0
Current children cumulated CPU time: 3153.66 s
Current children cumulated vsize: 19058888 KiB
Current children cumulated memory: 16898260 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.15 4.16 5/242 1068824
/proc/meminfo: memFree=98878144/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=19061348 memory=17125136 CPUtime=3213.49 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 2737663 0 0 0 319282 2067 0 0 20 0 1 0 199840632 19518820352 4281284 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 4765337 4281284 1436 291 0 4756871 0
Current children cumulated CPU time: 3213.49 s
Current children cumulated vsize: 19061348 KiB
Current children cumulated memory: 17125136 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/242 1068835
/proc/meminfo: memFree=98696880/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=19077944 memory=17267784 CPUtime=3273.3 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 2754280 0 0 0 325251 2079 0 0 20 0 1 0 199840632 19535814656 4316946 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 4769486 4316946 1436 291 0 4761020 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 19077944 KiB
Current children cumulated memory: 17267784 KiB
[startup+3342.3 s]
/proc/loadavg: 3.94 4.09 4.14 4/238 1069263
/proc/meminfo: memFree=105345636/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=19077944 memory=17267784 CPUtime=3333.12 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 2754672 0 0 0 331214 2098 0 0 20 0 1 0 199840632 19535814656 4316946 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 4769486 4316946 1436 291 0 4761020 0
Current children cumulated CPU time: 3333.12 s
Current children cumulated vsize: 19077944 KiB
Current children cumulated memory: 17267784 KiB
[startup+3402.3 s]
/proc/loadavg: 3.01 3.81 4.04 3/231 1069304
/proc/meminfo: memFree=110049260/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=19077944 memory=17267784 CPUtime=3392.97 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 2755132 0 0 0 337140 2157 0 0 20 0 1 0 199840632 19535814656 4316946 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 4769486 4316946 1436 291 0 4761020 0
Current children cumulated CPU time: 3392.97 s
Current children cumulated vsize: 19077944 KiB
Current children cumulated memory: 17267784 KiB
[startup+3462.3 s]
/proc/loadavg: 2.42 3.49 3.91 3/231 1069314
/proc/meminfo: memFree=110048860/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=19077944 memory=17267784 CPUtime=3452.84 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 2755737 0 0 0 343030 2254 0 0 20 0 1 0 199840632 19535814656 4316946 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 4769486 4316946 1436 291 0 4761020 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 19077944 KiB
Current children cumulated memory: 17267784 KiB
[startup+3522.3 s]
/proc/loadavg: 2.32 3.27 3.80 3/231 1069493
/proc/meminfo: memFree=110045456/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=19077944 memory=17267784 CPUtime=3512.72 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 2756742 0 0 0 348978 2294 0 0 20 0 1 0 199840632 19535814656 4316946 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 4769486 4316946 1436 291 0 4761020 0
Current children cumulated CPU time: 3512.72 s
Current children cumulated vsize: 19077944 KiB
Current children cumulated memory: 17267784 KiB
[startup+3582.3 s]
/proc/loadavg: 2.11 3.03 3.69 3/231 1069503
/proc/meminfo: memFree=110039964/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=19077944 memory=17267784 CPUtime=3572.58 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 2758827 0 0 0 354931 2327 0 0 20 0 1 0 199840632 19535814656 4316946 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 4769486 4316946 1436 291 0 4761020 0
Current children cumulated CPU time: 3572.58 s
Current children cumulated vsize: 19077944 KiB
Current children cumulated memory: 17267784 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 2.15 2.96 3.65 3/234 1069512
/proc/meminfo: memFree=110039180/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=19077944 memory=17267784 CPUtime=3600.03 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 2759288 0 0 0 357638 2365 0 0 20 0 1 0 199840632 19535814656 4316946 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 4769486 4316946 1436 291 0 4761020 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19077944 KiB
Current children cumulated memory: 17267784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.6 s]
# the end of solver process 1067483 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.78 s, system=24.053 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 2.14 2.95 3.64 3/234 1069512
/proc/meminfo: memFree=110039124/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=19077944 memory=17268072 CPUtime=3600.62 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 2761194 0 0 0 357697 2365 0 0 20 0 1 0 199840632 19535814656 4317018 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 4769486 4317018 1508 291 0 4761020 0
Current children cumulated CPU time: 3600.62 s
Current children cumulated vsize: 19077944 KiB
Current children cumulated memory: 17268072 KiB
[startup+3611.2 s]
/proc/loadavg: 2.14 2.95 3.64 3/234 1069513
/proc/meminfo: memFree=110039012/131655788 swapFree=131071996/131071996
[pid=1067483] ppid=1067480 vsize=19073844 memory=17070072 CPUtime=3601.42 cores=1,3
/proc/1067483/stat : 1067483 (pb-oll-rs) R 1067480 1067483 1062548 0 -1 4194304 2762197 0 0 0 357776 2366 0 0 20 0 1 0 199840632 19531616256 4267518 134679101440 4194304 5384485 140721466768224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 37556224 140721466774549 140721466774626 140721466774626 140721466781643 0
/proc/1067483/statm: 4768461 4267518 1523 291 0 4759995 0
Current children cumulated CPU time: 3601.42 s
Current children cumulated vsize: 19073844 KiB
Current children cumulated memory: 17070072 KiB
[startup+3611.4 s]*
/proc/loadavg: 2.14 2.95 3.64 3/234 1069513
/proc/meminfo: memFree=116363088/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3611.51 s]
/proc/loadavg: 2.14 2.95 3.64 3/234 1069513
/proc/meminfo: memFree=116363088/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3611.6
CPU time (s): 3601.83
CPU user time (s): 3577.78
CPU system time (s): 24.053
CPU usage (%): 99.7296
Max. virtual memory (cumulated for all children) (KiB): 19077944
Max. memory (cumulated for all children) (KiB): 17268072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.78
system time used= 24.053
maximum resident set size= 17268072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2762217
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= 8
involuntary context switches= 2291
# summary of solver processes directly reported to runsolver:
# pid: 1067483
# total CPU time (s): 3601.83
# total CPU user time (s): 3577.78
# total CPU system time (s): 24.053
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0932 second user time and 33.9315 second system time
The end
Begin job on nodeC005 at 2024-07-20 14:00:30
IDJOB=4454526
IDBENCH=158125
IDSOLVER=3082
FILE ID=nodeC005/4454526-1721476819
RUNJOBID= nodeC005-1721469315-1062596
SLURM_JOB_ID= 7545729
Free space on /tmp= 723684 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod1.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454526-1721476819/watcher-4454526-1721476819 -o /tmp/evaluation-result-4454526-1721476819/solver-4454526-1721476819 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721469315-1062596 --watchdog 3760 pb-oll-rs HOME/instance-4454526-1721476819.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c394902a34a3ecc31aded0750ee67503
RANDOM SEED=1273106387
nodeC005.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 : 0xb00001f
cpu MHz : 3553.309
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.199
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.176
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3309.269
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.529
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3669.331
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.223
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.373
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 125185052 kB
MemAvailable: 128477628 kB
Buffers: 571380 kB
Cached: 3533656 kB
SwapCached: 0 kB
Active: 1261920 kB
Inactive: 4573192 kB
Active(anon): 3460 kB
Inactive(anon): 1772256 kB
Active(file): 1258460 kB
Inactive(file): 2800936 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 1102636 kB
Writeback: 0 kB
AnonPages: 1728772 kB
Mapped: 296436 kB
Shmem: 45900 kB
KReclaimable: 146760 kB
Slab: 260104 kB
SReclaimable: 146760 kB
SUnreclaim: 113344 kB
KernelStack: 4052 kB
PageTables: 13532 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2346852 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62880 kB
HardwareCorrupted: 0 kB
AnonHugePages: 815104 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: 310088 kB
DirectMap2M: 40488960 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723748 MiB
End job on nodeC005 at 2024-07-20 15:00:42