0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
1.87/1.91 c [STEP] solving
1.87/1.91 c #variables 399113 #constraints 400980
1.87/1.92 c SMALL=int, LARGE=long long
1.87/1.93 c bounds - >= -85145317 @ 1.55154
1.87/1.93 c stratification level: 287
264.94/265.64 c bounds - >= -773287 @ 161.488
264.94/265.64 c bounds - >= -772787 @ 162.416
264.94/265.64 c bounds - >= -772287 @ 162.438
264.94/265.64 c bounds - >= -771787 @ 162.46
264.94/265.64 c bounds - >= -771287 @ 162.482
264.94/265.64 c bounds - >= -770287 @ 162.509
264.94/265.64 c bounds - >= -769787 @ 162.531
264.94/265.64 c bounds - >= -769287 @ 162.555
264.94/265.64 c bounds - >= -768787 @ 162.579
264.94/265.64 c bounds - >= -768287 @ 162.616
264.94/265.64 c bounds - >= -767787 @ 162.646
264.94/265.64 c bounds - >= -767287 @ 162.678
264.94/265.64 c bounds - >= -766787 @ 162.723
264.94/265.64 c bounds - >= -766287 @ 162.756
264.94/265.64 c bounds - >= -765787 @ 162.788
264.94/265.64 c bounds - >= -765287 @ 162.904
264.94/265.64 c bounds - >= -764787 @ 163.01
264.94/265.64 c bounds - >= -764287 @ 163.096
264.94/265.64 c bounds - >= -763787 @ 163.163
264.94/265.64 c bounds - >= -763287 @ 163.257
264.94/265.64 c bounds - >= -762787 @ 163.511
264.94/265.64 c bounds - >= -762287 @ 163.678
264.94/265.64 c bounds - >= -761787 @ 163.89
264.94/265.64 c bounds - >= -761287 @ 164.141
264.94/265.64 c #Conflicts: 1000 | #Constraints: 404015
264.94/265.64 c bounds - >= -760787 @ 166.087
264.94/265.64 c bounds - >= -760287 @ 167.142
264.94/265.64 c #Conflicts: 2000 | #Constraints: 405017
264.94/265.64 c INPROCESSING
264.94/265.64 c GARBAGE COLLECT
264.94/265.64 c bounds - >= -759787 @ 168.637
264.94/265.64 c #Conflicts: 3000 | #Constraints: 404583
264.94/265.64 c bounds - >= -759287 @ 169.748
264.94/265.64 c bounds - >= -758787 @ 170.455
264.94/265.64 c bounds - >= -758287 @ 170.534
264.94/265.64 c bounds - >= -757787 @ 170.588
264.94/265.64 c bounds - >= -757287 @ 170.683
264.94/265.64 c bounds - >= -756787 @ 171.034
264.94/265.64 c bounds - >= -756287 @ 172.091
264.94/265.64 c bounds - >= -755787 @ 172.341
264.94/265.64 c bounds - >= -755287 @ 172.408
264.94/265.64 c bounds - >= -754787 @ 172.576
264.94/265.64 c #Conflicts: 4000 | #Constraints: 405593
264.94/265.64 c INPROCESSING
264.94/265.64 c GARBAGE COLLECT
264.94/265.64 c bounds - >= -754287 @ 174.518
264.94/265.64 c bounds - >= -753787 @ 174.666
264.94/265.64 c #Conflicts: 5000 | #Constraints: 405032
264.94/265.64 c bounds - >= -753287 @ 175.835
264.94/265.64 c #Conflicts: 6000 | #Constraints: 406033
264.94/265.64 c INPROCESSING
264.94/265.64 c GARBAGE COLLECT
264.94/265.64 c #Conflicts: 7000 | #Constraints: 405079
264.94/265.64 c bounds - >= -752787 @ 180.085
264.94/265.64 c bounds - >= -752287 @ 181.596
264.94/265.64 c #Conflicts: 8000 | #Constraints: 406081
264.94/265.64 c bounds - >= -751787 @ 183.068
264.94/265.64 c #Conflicts: 9000 | #Constraints: 407082
264.94/265.64 c INPROCESSING
264.94/265.64 c GARBAGE COLLECT
264.94/265.64 c bounds - >= -751287 @ 186.927
264.94/265.64 c #Conflicts: 10000 | #Constraints: 405839
264.94/265.64 c #Conflicts: 11000 | #Constraints: 406839
264.94/265.64 c #Conflicts: 12000 | #Constraints: 407839
264.94/265.64 c INPROCESSING
264.94/265.64 c #Conflicts: 13000 | #Constraints: 406336
264.94/265.64 c bounds - >= -750787 @ 197.235
264.94/265.64 c #Conflicts: 14000 | #Constraints: 407337
264.94/265.64 c #Conflicts: 15000 | #Constraints: 408337
264.94/265.64 c INPROCESSING
264.94/265.64 c GARBAGE COLLECT
264.94/265.64 c bounds - >= -750287 @ 202.946
264.94/265.64 c #Conflicts: 16000 | #Constraints: 406591
264.94/265.64 c bounds - >= -749787 @ 204.799
264.94/265.64 c #Conflicts: 17000 | #Constraints: 407592
264.94/265.64 c #Conflicts: 18000 | #Constraints: 408592
264.94/265.64 c INPROCESSING
264.94/265.64 c GARBAGE COLLECT
264.94/265.64 c bounds - >= -749287 @ 211.254
264.94/265.64 c #Conflicts: 19000 | #Constraints: 406613
264.94/265.64 c bounds - >= -748787 @ 212.971
264.94/265.64 c #Conflicts: 20000 | #Constraints: 407614
264.94/265.64 c bounds - >= -748287 @ 215.331
264.94/265.64 c #Conflicts: 21000 | #Constraints: 408615
264.94/265.64 c bounds - >= -747787 @ 216.885
264.94/265.64 c INPROCESSING
264.94/265.64 c GARBAGE COLLECT
264.94/265.64 c #Conflicts: 22000 | #Constraints: 406432
264.94/265.64 c bounds - >= -747287 @ 218.934
264.94/265.64 c bounds - >= -746787 @ 220.012
264.94/265.64 c #Conflicts: 23000 | #Constraints: 407434
264.94/265.64 c bounds - >= -746287 @ 220.574
264.94/265.64 c #Conflicts: 24000 | #Constraints: 408435
264.94/265.64 c #Conflicts: 25000 | #Constraints: 409435
264.94/265.64 c INPROCESSING
264.94/265.64 c GARBAGE COLLECT
264.94/265.64 c bounds - >= -745787 @ 225.552
264.94/265.64 c #Conflicts: 26000 | #Constraints: 407089
264.94/265.64 c #Conflicts: 27000 | #Constraints: 408089
264.94/265.64 c #Conflicts: 28000 | #Constraints: 409089
264.94/265.64 c #Conflicts: 29000 | #Constraints: 410089
264.94/265.64 c INPROCESSING
264.94/265.64 c GARBAGE COLLECT
264.94/265.64 c #Conflicts: 30000 | #Constraints: 399285
264.94/265.64 c #Conflicts: 31000 | #Constraints: 400285
264.94/265.64 c bounds - >= -745287 @ 241.63
264.94/265.64 c #Conflicts: 32000 | #Constraints: 401286
264.94/265.64 c #Conflicts: 33000 | #Constraints: 402286
264.94/265.64 c INPROCESSING
264.94/265.64 c GARBAGE COLLECT
264.94/265.64 c #Conflicts: 34000 | #Constraints: 399512
264.94/265.64 c #Conflicts: 35000 | #Constraints: 400512
264.94/265.64 c #Conflicts: 36000 | #Constraints: 401512
264.94/265.64 c #Conflicts: 37000 | #Constraints: 402512
264.94/265.64 c INPROCESSING
264.94/265.64 c GARBAGE COLLECT
264.94/265.64 c #Conterminate called after throwing an instance of 'rs::OutOfMemoryException'
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: 63708 MiB (51505 MiB free)
memory of node 1: 64465 MiB (53903 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505810-1751483162/watcher-4505810-1751483162 -o /tmp/evaluation-result-4505810-1751483162/solver-4505810-1751483162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751474636-66599 --watchdog 3760 pb-oll-rs HOME/instance-4505810-1751483162.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=67813, runsolver pid=67810
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.00 4.07 4.08 5/264 67814
/proc/meminfo: memFree=107854964/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=127412 memory=106296 CPUtime=0.09 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 15578 0 0 0 6 3 0 0 20 0 1 0 63994852 130469888 26574 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 31853 26574 1152 243 0 28102 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 127412 KiB
Current children cumulated memory: 106296 KiB
[startup+0.205592 s]*
/proc/loadavg: 4.00 4.07 4.08 5/264 67814
/proc/meminfo: memFree=107850868/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=108916 memory=95740 CPUtime=0.2 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 16036 0 0 0 15 5 0 0 20 0 1 0 63994852 111529984 23935 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 27229 23935 1184 243 0 23478 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 108916 KiB
Current children cumulated memory: 95740 KiB
[startup+0.305449 s]*
/proc/loadavg: 4.00 4.07 4.08 5/264 67814
/proc/meminfo: memFree=107851120/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=108916 memory=95868 CPUtime=0.3 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 16067 0 0 0 22 8 0 0 20 0 1 0 63994852 111529984 23967 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 27229 23967 1184 243 0 23478 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 108916 KiB
Current children cumulated memory: 95868 KiB
[startup+0.700119 s]
/proc/loadavg: 4.00 4.07 4.08 5/264 67814
/proc/meminfo: memFree=107835244/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=127252 memory=111840 CPUtime=0.68 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 19728 0 0 0 55 13 0 0 20 0 1 0 63994852 130306048 27960 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 31813 27960 1184 243 0 28062 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 127252 KiB
Current children cumulated memory: 111840 KiB
[startup+1.50016 s]
/proc/loadavg: 4.00 4.07 4.08 5/264 67814
/proc/meminfo: memFree=107822328/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=149028 memory=126928 CPUtime=1.48 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 22828 0 0 0 117 31 0 0 20 0 1 0 63994852 152604672 31732 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 37257 31732 1184 243 0 33506 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 149028 KiB
Current children cumulated memory: 126928 KiB
[startup+3.10539 s]
/proc/loadavg: 4.00 4.07 4.08 5/264 67814
/proc/meminfo: memFree=107592048/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=347396 memory=331488 CPUtime=3.08 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 66745 0 0 0 266 42 0 0 20 0 1 0 63994852 355733504 82872 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 86849 82872 1312 243 0 83098 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 347396 KiB
Current children cumulated memory: 331488 KiB
[startup+6.30015 s]
/proc/loadavg: 4.00 4.06 4.08 5/264 67814
/proc/meminfo: memFree=107233260/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=702304 memory=686304 CPUtime=6.27 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 155477 0 0 0 570 57 0 0 20 0 1 0 63994852 719159296 171576 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 175576 171576 1312 243 0 171825 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 702304 KiB
Current children cumulated memory: 686304 KiB
[startup+12.7002 s]
/proc/loadavg: 4.00 4.06 4.08 5/264 67814
/proc/meminfo: memFree=106624232/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=1297296 memory=1281248 CPUtime=12.65 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 304254 0 0 0 1181 84 0 0 20 0 1 0 63994852 1328431104 320312 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 324324 320312 1312 243 0 320573 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1297296 KiB
Current children cumulated memory: 1281248 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 67815
/proc/meminfo: memFree=105099884/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=2515540 memory=2499552 CPUtime=25.42 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 608816 0 0 0 2402 140 0 0 20 0 1 0 63994852 2575912960 624888 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 628885 624888 1312 243 0 625134 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2515540 KiB
Current children cumulated memory: 2499552 KiB
[startup+51.1054 s]
/proc/loadavg: 4.05 4.07 4.08 5/264 67816
/proc/meminfo: memFree=103197376/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=4077560 memory=4061632 CPUtime=50.96 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 997310 0 0 0 4883 213 0 0 20 0 1 0 63994852 4175421440 1015408 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 1019390 1015408 1312 243 0 1015639 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 4077560 KiB
Current children cumulated memory: 4061632 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.07 4.08 5/264 67818
/proc/meminfo: memFree=100525548/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=6511244 memory=6495204 CPUtime=102.03 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 1583750 0 0 0 9880 323 0 0 20 0 1 0 63994852 6667513856 1623801 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 1627811 1623801 1312 243 0 1624060 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 6511244 KiB
Current children cumulated memory: 6495204 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.07 4.08 5/264 67820
/proc/meminfo: memFree=96875096/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=10191228 memory=10153980 CPUtime=161.89 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 2475164 0 0 0 15707 482 0 0 20 0 1 0 63994852 10435817472 2538495 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 2547807 2538495 1312 243 0 2544056 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 10191228 KiB
Current children cumulated memory: 10153980 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.07 4.08 5/264 67822
/proc/meminfo: memFree=96714504/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=10349600 memory=10301848 CPUtime=221.75 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 2493222 0 0 0 21647 528 0 0 20 0 1 0 63994852 10597990400 2575462 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 2587400 2575462 1376 243 0 2583649 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 10349600 KiB
Current children cumulated memory: 10301848 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.07 4.08 5/263 67826
/proc/meminfo: memFree=96625612/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=10381324 memory=10333592 CPUtime=281.6 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 2497088 0 0 0 27600 560 0 0 20 0 1 0 63994852 10630475776 2583398 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 2595331 2583398 1376 243 0 2591580 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 10381324 KiB
Current children cumulated memory: 10333592 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.08 4.09 5/263 67828
/proc/meminfo: memFree=96260272/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=10740004 memory=10701200 CPUtime=341.46 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 2572664 0 0 0 33564 582 0 0 20 0 1 0 63994852 10997764096 2675300 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 2685001 2675300 1376 243 0 2681250 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 10740004 KiB
Current children cumulated memory: 10701200 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/263 67831
/proc/meminfo: memFree=95609668/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=11554980 memory=11314720 CPUtime=401.33 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 2669422 0 0 0 39509 624 0 0 20 0 1 0 63994852 11832299520 2828680 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 2888745 2828680 1376 243 0 2884994 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 11554980 KiB
Current children cumulated memory: 11314720 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.08 4.09 5/263 67833
/proc/meminfo: memFree=94692344/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=12624752 memory=12249056 CPUtime=461.18 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 2848548 0 0 0 45458 660 0 0 20 0 1 0 63994852 12927746048 3062264 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 3156188 3062264 1376 243 0 3152437 0
Current children cumulated CPU time: 461.18 s
################
# More data... #
################
Current children cumulated vsize: 28937100 KiB
Current children cumulated memory: 24780128 KiB
[startup+2502.3 s]
/proc/loadavg: 1.50 2.52 3.32 2/249 68033
/proc/meminfo: memFree=89104032/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=28988840 memory=25263984 CPUtime=2496.57 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 5110160 0 0 0 241830 7827 0 0 20 0 1 0 63994852 29684572160 6315996 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 7247210 6315996 1376 243 0 7243459 0
Current children cumulated CPU time: 2496.57 s
Current children cumulated vsize: 28988840 KiB
Current children cumulated memory: 25263984 KiB
[startup+2562.3 s]
/proc/loadavg: 1.23 2.25 3.18 2/249 68035
/proc/meminfo: memFree=88657724/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=29025148 memory=25708424 CPUtime=2556.45 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 5171954 0 0 0 247538 8107 0 0 20 0 1 0 63994852 29721751552 6427106 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 7256287 6427106 1376 243 0 7252536 0
Current children cumulated CPU time: 2556.45 s
Current children cumulated vsize: 29025148 KiB
Current children cumulated memory: 25708424 KiB
[startup+2622.3 s]
/proc/loadavg: 1.14 2.04 3.05 2/249 68037
/proc/meminfo: memFree=88292276/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=29052676 memory=26070528 CPUtime=2616.34 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 5218927 0 0 0 253324 8310 0 0 20 0 1 0 63994852 29749940224 6517632 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 7263169 6517632 1376 243 0 7259418 0
Current children cumulated CPU time: 2616.34 s
Current children cumulated vsize: 29052676 KiB
Current children cumulated memory: 26070528 KiB
[startup+2682.3 s]
/proc/loadavg: 1.10 1.86 2.92 2/247 68041
/proc/meminfo: memFree=87935208/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=29061952 memory=26427832 CPUtime=2676.22 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 5260859 0 0 0 259175 8447 0 0 20 0 1 0 63994852 29759438848 6606958 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 7265488 6606958 1376 243 0 7261737 0
Current children cumulated CPU time: 2676.22 s
Current children cumulated vsize: 29061952 KiB
Current children cumulated memory: 26427832 KiB
[startup+2742.3 s]
/proc/loadavg: 1.15 1.73 2.81 2/245 68045
/proc/meminfo: memFree=87391180/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=29072392 memory=26971340 CPUtime=2736.1 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 5325768 0 0 0 264788 8822 0 0 20 0 1 0 63994852 29770129408 6742835 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 7268098 6742835 1376 243 0 7264347 0
Current children cumulated CPU time: 2736.1 s
Current children cumulated vsize: 29072392 KiB
Current children cumulated memory: 26971340 KiB
[startup+2802.3 s]
/proc/loadavg: 1.05 1.60 2.69 2/245 68047
/proc/meminfo: memFree=86955492/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=29074828 memory=27406148 CPUtime=2795.98 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 5378202 0 0 0 270441 9157 0 0 20 0 1 0 63994852 29772623872 6851537 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 7268707 6851537 1376 243 0 7264956 0
Current children cumulated CPU time: 2795.98 s
Current children cumulated vsize: 29074828 KiB
Current children cumulated memory: 27406148 KiB
[startup+2862.3 s]
/proc/loadavg: 1.06 1.50 2.59 2/245 68048
/proc/meminfo: memFree=86432780/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=29074828 memory=27932192 CPUtime=2855.86 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 5444287 0 0 0 276025 9561 0 0 20 0 1 0 63994852 29772623872 6983048 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 7268707 6983048 1376 243 0 7264956 0
Current children cumulated CPU time: 2855.86 s
Current children cumulated vsize: 29074828 KiB
Current children cumulated memory: 27932192 KiB
[startup+2922.3 s]
/proc/loadavg: 1.12 1.44 2.50 2/245 68050
/proc/meminfo: memFree=85981404/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=29074828 memory=28382184 CPUtime=2915.74 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 5501046 0 0 0 281774 9800 0 0 20 0 1 0 63994852 29772623872 7095546 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 7268707 7095546 1376 243 0 7264956 0
Current children cumulated CPU time: 2915.74 s
Current children cumulated vsize: 29074828 KiB
Current children cumulated memory: 28382184 KiB
[startup+2966.85 s]
# the end of solver process 67813 was just reported to runsolver
# Child ended because it received signal 6 (SIGABRT)
Child dumped core
# cumulated CPU time of all completed processes: user=2850.91 s, system=101.678 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2944 s]*
/proc/loadavg: 1.08 1.41 2.46 2/245 68051
/proc/meminfo: memFree=85904172/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=29074828 memory=28465136 CPUtime=2937.4 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 5514065 0 0 0 283843 9897 0 0 20 0 1 0 63994852 29772623872 7116284 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 7268707 7116284 1376 243 0 7264956 0
Current children cumulated CPU time: 2937.4 s
Current children cumulated vsize: 29074828 KiB
Current children cumulated memory: 28465136 KiB
[startup+2956.8 s]
/proc/loadavg: 1.15 1.41 2.44 2/245 68051
/proc/meminfo: memFree=85824420/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=29074828 memory=28538352 CPUtime=2950.18 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) R 67810 67813 66587 0 -1 4194304 5523682 0 0 0 285018 10000 0 0 20 0 1 0 63994852 29772623872 7134588 18446744073709551615 4218880 5211445 140730120183440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 0
/proc/67813/statm: 7268707 7134588 1376 243 0 7264956 0
Current children cumulated CPU time: 2950.18 s
Current children cumulated vsize: 29074828 KiB
Current children cumulated memory: 28538352 KiB
[startup+2963.2 s]
/proc/loadavg: 1.13 1.40 2.44 1/247 68055
/proc/meminfo: memFree=84582864/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=29074828 memory=28540656 CPUtime=2951.62 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) S 67810 67813 66587 0 -1 4195840 5524264 0 0 0 285091 10071 0 0 20 0 1 0 63994852 29772623872 7135164 18446744073709551615 4218880 5211445 140730120183440 140730120179248 140067809573484 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 6
/proc/67813/statm: 7268707 7135164 1440 243 0 7264956 0
Current children cumulated CPU time: 2951.62 s
Current children cumulated vsize: 29074828 KiB
Current children cumulated memory: 28540656 KiB
[startup+2964.8 s]
/proc/loadavg: 1.13 1.40 2.44 1/247 68055
/proc/meminfo: memFree=84583060/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=29074828 memory=28540656 CPUtime=2951.62 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) S 67810 67813 66587 0 -1 4195840 5524264 0 0 0 285091 10071 0 0 20 0 1 0 63994852 29772623872 7135164 18446744073709551615 4218880 5211445 140730120183440 140730120179248 140067809573484 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 6
/proc/67813/statm: 7268707 7135164 1440 243 0 7264956 0
Current children cumulated CPU time: 2951.62 s
Current children cumulated vsize: 29074828 KiB
Current children cumulated memory: 28540656 KiB
[startup+2965.6 s]
/proc/loadavg: 1.13 1.40 2.44 1/246 68055
/proc/meminfo: memFree=84567136/131249996 swapFree=33010160/33010684
[pid=67813] ppid=67810 vsize=29074828 memory=28540656 CPUtime=2951.62 cores=1,3
/proc/67813/stat : 67813 (pb-oll-rs) S 67810 67813 66587 0 -1 4195840 5524264 0 0 0 285091 10071 0 0 20 0 1 0 63994852 29772623872 7135164 18446744073709551615 4218880 5211445 140730120183440 140730120179248 140067809573484 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 5494472 5498400 14360576 140730120186268 140730120186345 140730120186345 140730120191947 6
/proc/67813/statm: 7268707 7135164 1440 243 0 7264956 0
Current children cumulated CPU time: 2951.62 s
Current children cumulated vsize: 29074828 KiB
Current children cumulated memory: 28540656 KiB
[startup+2966.4 s]
/proc/loadavg: 1.12 1.39 2.43 2/248 68062
/proc/meminfo: memFree=88718056/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2966.8 s]
/proc/loadavg: 1.12 1.39 2.43 2/248 68062
/proc/meminfo: memFree=88718056/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 2966.85
CPU time (s): 2952.59
CPU user time (s): 2850.91
CPU system time (s): 101.678
CPU usage (%): 99.5193
Max. virtual memory (cumulated for all children) (KiB): 29074828
Max. memory (cumulated for all children) (KiB): 28540656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2850.91
system time used= 101.678
maximum resident set size= 28540656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5524264
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= 132
involuntary context switches= 2799
# summary of solver processes directly reported to runsolver:
# pid: 67813
# total CPU time (s): 2952.59
# total CPU user time (s): 2850.91
# total CPU system time (s): 101.678
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.31131 second user time and 12.6043 second system time
The end
Begin job on nodeC032 at 2025-07-02 21:06:02
IDJOB=4505810
IDBENCH=157280
IDSOLVER=3345
FILE ID=nodeC032/4505810-1751483162
RUNJOBID= nodeC032-1751474636-66599
SLURM_JOB_ID= 9598505
Free space on /tmp= 431532 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod1.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505810-1751483162/watcher-4505810-1751483162 -o /tmp/evaluation-result-4505810-1751483162/solver-4505810-1751483162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751474636-66599 --watchdog 3760 pb-oll-rs HOME/instance-4505810-1751483162.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 66a4099c9f952e1d32ed00e151115e68
RANDOM SEED=918122103
nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.869
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.855
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3552.496
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3528.664
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.800
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.768
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3587.065
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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.801
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 107939564 kB
MemAvailable: 123150036 kB
Buffers: 2728 kB
Cached: 15890192 kB
SwapCached: 20 kB
Active: 6914692 kB
Inactive: 15522280 kB
Active(anon): 6558972 kB
Inactive(anon): 3128 kB
Active(file): 355720 kB
Inactive(file): 15519152 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31232 kB
Writeback: 0 kB
AnonPages: 6547460 kB
Mapped: 107672 kB
Shmem: 18048 kB
KReclaimable: 349676 kB
Slab: 443116 kB
SReclaimable: 349676 kB
SUnreclaim: 93440 kB
KernelStack: 4272 kB
PageTables: 16752 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 8268204 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1101824 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431348 MiB
End job on nodeC032 at 2025-07-02 21:55:29