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
14.05/14.18 c [STEP] solving
14.05/14.18 c #variables 2000400 #constraints 4940611
14.14/14.21 c SMALL=int, LARGE=long long
14.14/14.28 c bounds - >= -100 @ 10.7142
14.14/14.28 c stratification level: 136590875
15.84/15.91 c bounds 1099268065 >= -100 @ 11.6275
15.84/15.91 c stratification level: 125000000
17.33/17.49 c bounds 1099214815 >= -100 @ 13.1707
17.33/17.49 c stratification level: 122023936
21.61/21.75 c bounds 1099196615 >= -100 @ 17.184
21.61/21.75 c stratification level: 119823157
23.41/23.54 c bounds 1099190335 >= -100 @ 18.8749
23.41/23.54 c stratification level: 119095488
36.56/36.74 c bounds 1098989092 >= -100 @ 31.6692
36.56/36.74 c stratification level: 116214272
43.24/43.42 c bounds 1098948001 >= -100 @ 38.2219
43.24/43.42 c stratification level: 111980168
47.03/47.20 c bounds 1098877986 >= -100 @ 41.8764
47.03/47.20 c stratification level: 109215352
53.31/53.58 c bounds 1098799851 >= -100 @ 48.0099
53.31/53.58 c stratification level: 108531333
54.60/54.85 c bounds 1098795709 >= -100 @ 49.2405
54.60/54.85 c stratification level: 107171875
56.49/56.70 c bounds 1098758582 >= -100 @ 51.0297
56.49/56.70 c stratification level: 106496424
58.79/59.08 c bounds 1098754262 >= -100 @ 53.3644
58.79/59.08 c stratification level: 105154048
60.88/61.11 c bounds 1098750964 >= -100 @ 55.3552
60.88/61.11 c stratification level: 100544625
62.77/63.02 c bounds 1098745946 >= -100 @ 57.2247
62.77/63.02 c stratification level: 97336000
66.76/67.07 c bounds 1098730954 >= -100 @ 61.2014
66.76/67.07 c stratification level: 95443993
78.41/78.77 c bounds 1098721018 >= -100 @ 72.747
78.41/78.77 c stratification level: 94818816
84.29/84.60 c bounds 1098701596 >= -100 @ 78.487
84.29/84.60 c stratification level: 94196375
132.32/132.83 c bounds 1098678868 >= -100 @ 125.888
132.32/132.83 c stratification level: 93576664
133.71/134.25 c bounds 1098676084 >= -100 @ 127.273
133.71/134.25 c stratification level: 92959677
137.90/138.47 c bounds 1098664102 >= -100 @ 131.397
137.90/138.47 c stratification level: 92345408
142.49/143.02 c bounds 1098663534 >= -100 @ 135.849
142.49/143.02 c stratification level: 91733851
150.15/150.71 c bounds 1098661618 >= -100 @ 143.407
150.15/150.71 c stratification level: 91125000
154.84/155.44 c bounds 1098659249 >= -100 @ 148.068
154.84/155.44 c stratification level: 88716536
182.74/183.48 c bounds 1098639139 >= -100 @ 175.418
182.74/183.48 c stratification level: 87528384
184.73/185.45 c bounds 1037314939 >= -100 @ 177.336
184.73/185.45 c stratification level: 86938307
186.62/187.31 c bounds 1016676321 >= -100 @ 179.159
186.62/187.31 c stratification level: 86350888
188.62/189.39 c bounds 998898043 >= -100 @ 181.178
188.62/189.39 c stratification level: 85766121
192.31/193.07 c bounds 976266525 >= -100 @ 184.809
192.31/193.07 c stratification level: 85184000
194.79/195.52 c bounds 976218685 >= -100 @ 187.225
194.79/195.52 c stratification level: 84027672
196.99/197.79 c bounds 976207323 >= -100 @ 189.471
196.99/197.79 c stratification level: 83453453
226.38/227.27 c bounds 975770095 >= -100 @ 218.6
226.38/227.27 c stratification level: 82881856
230.77/231.66 c bounds 974754447 >= -100 @ 222.923
230.77/231.66 c stratification level: 82312875
234.35/235.24 c bounds 974718484 >= -100 @ 226.448
234.35/235.24 c stratification level: 81746504
236.34/237.29 c bounds 974709199 >= -100 @ 228.466
236.34/237.29 c stratification level: 81182737
252.78/253.73 c bounds 974661754 >= -100 @ 244.79
252.78/253.73 c stratification level: 80062991
255.58/256.52 c bounds 974651264 >= -100 @ 247.547
255.58/256.52 c stratification level: 79507000
263.35/264.37 c bounds 974526833 >= -100 @ 255.305
263.35/264.37 c stratification level: 78953589
264.55/265.58 c bounds 974516444 >= -100 @ 256.488
264.55/265.58 c stratification level: 78402752
266.24/267.25 c bounds 974514870 >= -100 @ 258.137
266.24/267.25 c stratification level: 77854483
273.12/274.11 c #Conflicts: 1000 | #Constraints: 4941648
273.12/274.11 c bounds 974492399 >= -100 @ 264.929
273.12/274.11 c stratification level: 77308776
284.97/286.10 c bounds 972361018 >= -100 @ 276.807
284.97/286.10 c stratification level: 76765625
287.97/289.04 c bounds 972360143 >= -100 @ 279.715
287.97/289.04 c stratification level: 76225024
295.04/296.14 c bounds 972356905 >= -100 @ 286.747
295.04/296.14 c stratification level: 75686967
299.12/300.20 c bounds 972340124 >= -100 @ 290.766
299.12/300.20 c stratification level: 75151448
304.70/305.84 c bounds 972324893 >= -100 @ 296.362
304.70/305.84 c stratification level: 74618461
307.19/308.34 c bounds 972321655 >= -100 @ 298.838
307.19/308.34 c stratification level: 74088000
320.14/321.36 c bounds 971738355 >= -100 @ 311.751
320.14/321.36 c stratification level: 73560059
321.44/322.68 c bounds 971735157 >= -100 @ 313.049
321.44/322.68 c stratification level: 73034632
331.20/332.42 c bounds 971580180 >= -100 @ 322.317
331.20/332.42 c stratification level: 72511713
334.20/335.42 c bounds 971249034 >= -100 @ 325.137
334.20/335.42 c stratification level: 71991296
335.39/336.69 c bounds 971236324 >= -100 @ 326.367
335.39/336.69 c stratification level: 71473375
337.89/339.17 c bounds 971208434 >= -100 @ 328.781
337.89/339.17 c stratification level: 70957944
342.96/344.26 c bounds 967395422 >= -100 @ 333.672
342.96/344.26 c stratification level: 70444997
344.36/345.60 c bounds 967382712 >= -100 @ 334.977
344.36/345.60 c stratification level: 69934528
378.74/380.17 c bounds 963242620 >= -100 @ 368.991
378.74/380.17 c stratification level: 68921000
379.83/381.23 c bounds 747525676 >= -100 @ 370.002
379.83/381.23 c stratification level: 68417929
382.23/383.69 c bounds 747466427 >= -100 @ 372.41
382.23/383.69 c stratification level: 67917312
386.40/387.86 c bounds 747343654 >= -100 @ 376.514
386.40/387.86 c stratification level: 67419143
387.80/389.21 c bounds 747335042 >= -100 @ 377.839
387.80/389.21 c stratification level: 66430125
405.24/406.71 c bounds 747309737 >= -100 @ 395.048
405.24/406.71 c stratification level: 65939264
407.92/409.47 c bounds 747308532 >= -100 @ 397.773
407.92/409.47 c stratification level: 65450827
409.42/410.90 c bounds 747306618 >= -100 @ 399.175
409.42/410.90 c stratification level: 64964808
411.02/412.54 c bounds 747306499 >= -100 @ 400.776
411.02/412.54 c stratification level: 64481201
414.31/415.83 c bounds 747302539 >= -100 @ 404.005
414.31/415.83 c stratification level: 64000000
417.89/419.43 c bounds 747300013 >= -100 @ 407.535
417.89/419.43 c stratification level: 63521199
419.29/420.83 c bounds 747298099 >= -100 @ 408.914
419.29/420.83 c stratification level: 63044792
420.28/421.85 c bounds 227872191 >= -100 @ 409.898
420.28/421.85 c stratification level: 62570773
425.57/427.16 c bounds 216429017 >= -100 @ 415.143
425.57/427.16 c stratification level: 62099136
427.16/428.73 c bounds 216427103 >= -100 @ 416.686
427.16/428.73 c stratification level: 61629875
430.65/432.26 c bounds 216423984 >= -100 @ 420.172
430.65/432.26 c stratification level: 61162984
434.23/435.80 c bounds 216423865 >= -100 @ 423.691
434.23/435.80 c stratification level: 60698457
440.71/442.32 c bounds 216254626 >= -100 @ 430.148
440.71/442.32 c stratification level: 60236288
442.01/443.65 c bounds 216252712 >= -100 @ 431.454
442.01/443.65 c stratification level: 59776471
447.29/448.98 c bounds 216064547 >= -100 @ 436.719
447.29/448.98 c stratification level: 59319000
451.97/453.65 c bounds 216059669 >= -100 @ 441.315
451.97/453.65 c stratification level: 58863869
454.37/456.07 c bounds 216059550 >= -100 @ 443.693
454.37/456.07 c stratification level: 58411072
467.02/468.75 c bounds 211924672 >= -100 @ 456.195
467.02/468.75 c stratification level: 57960603
470.51/472.22 c bounds 211912535 >= -100 @ 459.63
470.51/472.22 c stratification level: 57512456
473.40/475.14 c bounds 211890093 >= -100 @ 462.51
473.40/475.14 c stratification level: 57066625
521.62/523.53 c bounds 210457444 >= -100 @ 510.452
521.62/523.53 c stratification level: 56623104
2373.25/2381.87 terminate 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: 63931 MiB (60456 MiB free)
memory of node 1: 64510 MiB (60278 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436109-1721148757/watcher-4436109-1721148757 -o /tmp/evaluation-result-4436109-1721148757/solver-4436109-1721148757 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721145156-863341 --watchdog 3760 pb-oll-rs HOME/instance-4436109-1721148757.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=865421, runsolver pid=865418
[startup+0.100088 s]*
/proc/loadavg: 4.20 4.15 4.16 5/254 865422
/proc/meminfo: memFree=123383940/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=276940 memory=231064 CPUtime=0.09 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 12885 0 0 0 5 4 0 0 20 0 1 0 167045535 283586560 57766 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 69235 57766 1124 291 0 60769 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 276940 KiB
Current children cumulated memory: 231064 KiB
[startup+0.205708 s]*
/proc/loadavg: 4.20 4.15 4.16 5/254 865422
/proc/meminfo: memFree=123222200/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=446748 memory=362736 CPUtime=0.2 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 33545 0 0 0 12 8 0 0 20 0 1 0 167045535 457469952 90684 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 111687 90684 1124 291 0 103221 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 446748 KiB
Current children cumulated memory: 362736 KiB
[startup+0.30558 s]*
/proc/loadavg: 4.20 4.15 4.16 5/254 865422
/proc/meminfo: memFree=123069324/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=603120 memory=491324 CPUtime=0.3 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 42824 0 0 0 18 12 0 0 20 0 1 0 167045535 617594880 122831 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 150780 122831 1124 291 0 142314 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 603120 KiB
Current children cumulated memory: 491324 KiB
[startup+0.700208 s]
/proc/loadavg: 4.20 4.15 4.16 5/254 865422
/proc/meminfo: memFree=122984120/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=494652 memory=416260 CPUtime=0.69 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 44369 0 0 0 56 13 0 0 20 0 1 0 167045535 506523648 104065 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 123663 104065 1156 291 0 115197 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 494652 KiB
Current children cumulated memory: 416260 KiB
[startup+1.5002 s]
/proc/loadavg: 4.20 4.15 4.16 5/252 865422
/proc/meminfo: memFree=122898452/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=523620 memory=460272 CPUtime=1.48 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 52815 0 0 0 117 31 0 0 20 0 1 0 167045535 536186880 115068 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 130905 115068 1156 291 0 122439 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 523620 KiB
Current children cumulated memory: 460272 KiB
[startup+3.10539 s]
/proc/loadavg: 4.20 4.15 4.16 5/258 865433
/proc/meminfo: memFree=122248888/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=571232 memory=519692 CPUtime=3.09 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 60521 0 0 0 232 77 0 0 20 0 1 0 167045535 584941568 129923 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 142808 129923 1156 291 0 134342 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 571232 KiB
Current children cumulated memory: 519692 KiB
[startup+6.30019 s]
/proc/loadavg: 4.18 4.15 4.16 5/258 865434
/proc/meminfo: memFree=121876232/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=676792 memory=596704 CPUtime=6.27 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 66540 0 0 0 464 163 0 0 20 0 1 0 167045535 693035008 149176 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 169198 149176 1156 291 0 160732 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 676792 KiB
Current children cumulated memory: 596704 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.15 4.16 5/258 865434
/proc/meminfo: memFree=121230824/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=940844 memory=784780 CPUtime=12.65 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 78909 0 0 0 955 310 0 0 20 0 1 0 167045535 963424256 196195 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 235211 196195 1156 291 0 226745 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 940844 KiB
Current children cumulated memory: 784780 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.14 4.15 5/258 865437
/proc/meminfo: memFree=119360384/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=1640632 memory=1415672 CPUtime=25.4 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 134675 0 0 0 2081 459 0 0 20 0 1 0 167045535 1680007168 353918 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 410158 353918 1361 291 0 401692 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1640632 KiB
Current children cumulated memory: 1415672 KiB
[startup+51.1057 s]
/proc/loadavg: 4.22 4.16 4.16 5/258 865440
/proc/meminfo: memFree=116894280/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=2289404 memory=2016340 CPUtime=50.92 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 196830 0 0 0 4574 518 0 0 20 0 1 0 167045535 2344349696 504085 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 572351 504085 1361 291 0 563885 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2289404 KiB
Current children cumulated memory: 2016340 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/258 865450
/proc/meminfo: memFree=112373300/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=4114556 memory=3893448 CPUtime=101.93 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 474020 0 0 0 9572 621 0 0 20 0 1 0 167045535 4213305344 973362 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 1028639 973362 1361 291 0 1020173 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 4114556 KiB
Current children cumulated memory: 3893448 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.15 4.16 5/258 865460
/proc/meminfo: memFree=109489268/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=5378308 memory=4880320 CPUtime=161.71 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 525577 0 0 0 15490 681 0 0 20 0 1 0 167045535 5507387392 1220080 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 1344577 1220080 1421 291 0 1336111 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 5378308 KiB
Current children cumulated memory: 4880320 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.16 4.16 5/256 865852
/proc/meminfo: memFree=104137380/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=8609620 memory=7271380 CPUtime=221.5 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 908114 0 0 0 21374 776 0 0 20 0 1 0 167045535 8816250880 1817845 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 2152405 1817845 1421 291 0 2143939 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 8609620 KiB
Current children cumulated memory: 7271380 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/256 865863
/proc/meminfo: memFree=101637160/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=9056596 memory=8451644 CPUtime=281.28 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 971048 0 0 0 27309 819 0 0 20 0 1 0 167045535 9273954304 2112911 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 2264149 2112911 1421 291 0 2255683 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 9056596 KiB
Current children cumulated memory: 8451644 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.14 4.15 5/255 865873
/proc/meminfo: memFree=97638544/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=13774032 memory=11435708 CPUtime=341.07 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 1498556 0 0 0 33181 926 0 0 20 0 1 0 167045535 14104608768 2858927 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 3443508 2858927 1421 291 0 3435042 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 13774032 KiB
Current children cumulated memory: 11435708 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/257 866054
/proc/meminfo: memFree=95034700/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=14902892 memory=13206504 CPUtime=400.85 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 1728307 0 0 0 39076 1009 0 0 20 0 1 0 167045535 15260561408 3301626 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 3725723 3301626 1421 291 0 3717257 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 14902892 KiB
Current children cumulated memory: 13206504 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/257 866064
/proc/meminfo: memFree=92783772/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=15556472 memory=14505644 CPUtime=460.64 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 1826761 0 0 0 44990 1074 0 0 20 0 1 0 167045535 15929827328 3626411 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 3889118 3626411 1421 291 0 3880652 0
################
# More data... #
################
Current children cumulated vsize: 25093128 KiB
Current children cumulated memory: 22307708 KiB
[startup+1962.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/257 866406
/proc/meminfo: memFree=81453708/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=25765040 memory=23415020 CPUtime=1955.27 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 3093098 0 0 0 193257 2270 0 0 20 0 1 0 167045535 26383400960 5853755 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 6441260 5853755 1421 291 0 6432794 0
Current children cumulated CPU time: 1955.27 s
Current children cumulated vsize: 25765040 KiB
Current children cumulated memory: 23415020 KiB
[startup+2022.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/256 866799
/proc/meminfo: memFree=80326840/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=26093756 memory=24286784 CPUtime=2015.05 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 3191966 0 0 0 199185 2320 0 0 20 0 1 0 167045535 26720006144 6071696 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 6523439 6071696 1421 291 0 6514973 0
Current children cumulated CPU time: 2015.05 s
Current children cumulated vsize: 26093756 KiB
Current children cumulated memory: 24286784 KiB
[startup+2082.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/256 866810
/proc/meminfo: memFree=79396416/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=26353912 memory=24982748 CPUtime=2074.83 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 3271339 0 0 0 205075 2408 0 0 20 0 1 0 167045535 26986405888 6245687 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 6588478 6245687 1421 291 0 6580012 0
Current children cumulated CPU time: 2074.83 s
Current children cumulated vsize: 26353912 KiB
Current children cumulated memory: 24982748 KiB
[startup+2142.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/256 866820
/proc/meminfo: memFree=78619204/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=26499980 memory=25656532 CPUtime=2134.62 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 3342117 0 0 0 210990 2472 0 0 20 0 1 0 167045535 27135979520 6414133 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 6624995 6414133 1421 291 0 6616529 0
Current children cumulated CPU time: 2134.62 s
Current children cumulated vsize: 26499980 KiB
Current children cumulated memory: 25656532 KiB
[startup+2202.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/257 866999
/proc/meminfo: memFree=78209780/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=26529408 memory=25793832 CPUtime=2194.4 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 3358589 0 0 0 216937 2503 0 0 20 0 1 0 167045535 27166113792 6448458 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 6632352 6448458 1421 291 0 6623886 0
Current children cumulated CPU time: 2194.4 s
Current children cumulated vsize: 26529408 KiB
Current children cumulated memory: 25793832 KiB
[startup+2262.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/258 867010
/proc/meminfo: memFree=77504408/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=26606232 memory=26182076 CPUtime=2254.18 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 3391624 0 0 0 222896 2522 0 0 20 0 1 0 167045535 27244781568 6545519 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 6651558 6545519 1421 291 0 6643092 0
Current children cumulated CPU time: 2254.18 s
Current children cumulated vsize: 26606232 KiB
Current children cumulated memory: 26182076 KiB
[startup+2322.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/257 867077
/proc/meminfo: memFree=77255500/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=26606232 memory=26182076 CPUtime=2313.96 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4194304 3393389 0 0 0 228867 2529 0 0 20 0 1 0 167045535 27244781568 6545519 134679101440 4194304 5384005 140724695123376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 6651558 6545519 1421 291 0 6643092 0
Current children cumulated CPU time: 2313.96 s
Current children cumulated vsize: 26606232 KiB
Current children cumulated memory: 26182076 KiB
[startup+2382.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/258 867090
/proc/meminfo: memFree=77072504/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=26609192 memory=26280948 CPUtime=2373.37 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) R 865418 865421 863331 0 -1 4195840 3403676 0 0 0 234778 2559 0 0 20 0 1 0 167045535 27247812608 6570237 134679101440 4194304 5384005 140724695123376 140724695118992 140632037827455 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 6652298 6570237 1440 291 0 6643832 0
Current children cumulated CPU time: 2373.37 s
Current children cumulated vsize: 26609192 KiB
Current children cumulated memory: 26280948 KiB
[startup+2402.6 s]
# the end of solver process 865421 was just reported to runsolver
# Child ended because it received signal 6 (SIGABRT)
Child dumped core
# cumulated CPU time of all completed processes: user=2347.79 s, system=28.0343 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2393.6 s]
/proc/loadavg: 4.19 4.15 4.10 4/258 867092
/proc/meminfo: memFree=75658364/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=26609192 memory=26280948 CPUtime=2375.28 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) S 865418 865421 863331 0 -1 4195840 3403676 0 0 0 234778 2750 0 0 20 0 1 0 167045535 27247812608 6570237 134679101440 4194304 5384005 140724695123376 140724695118992 140632037827455 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 6652298 6570237 1440 291 0 6643832 0
Current children cumulated CPU time: 2375.28 s
Current children cumulated vsize: 26609192 KiB
Current children cumulated memory: 26280948 KiB
[startup+2396.8 s]
/proc/loadavg: 4.18 4.14 4.10 4/258 867094
/proc/meminfo: memFree=75647820/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=26609192 memory=26280948 CPUtime=2375.28 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) S 865418 865421 863331 0 -1 4195840 3403676 0 0 0 234778 2750 0 0 20 0 1 0 167045535 27247812608 6570237 134679101440 4194304 5384005 140724695123376 140724695118992 140632037827455 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 6652298 6570237 1440 291 0 6643832 0
Current children cumulated CPU time: 2375.28 s
Current children cumulated vsize: 26609192 KiB
Current children cumulated memory: 26280948 KiB
[startup+2400 s]*
/proc/loadavg: 4.16 4.14 4.10 4/258 867094
/proc/meminfo: memFree=75591464/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=26609192 memory=26280948 CPUtime=2375.28 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) S 865418 865421 863331 0 -1 4195840 3403676 0 0 0 234778 2750 0 0 20 0 1 0 167045535 27247812608 6570237 134679101440 4194304 5384005 140724695123376 140724695118992 140632037827455 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 6652298 6570237 1440 291 0 6643832 0
Current children cumulated CPU time: 2375.28 s
Current children cumulated vsize: 26609192 KiB
Current children cumulated memory: 26280948 KiB
[startup+2401.6 s]
/proc/loadavg: 4.16 4.14 4.10 4/258 867094
/proc/meminfo: memFree=75570540/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=26609192 memory=26280948 CPUtime=2375.28 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) S 865418 865421 863331 0 -1 4195840 3403676 0 0 0 234778 2750 0 0 20 0 1 0 167045535 27247812608 6570237 134679101440 4194304 5384005 140724695123376 140724695118992 140632037827455 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 6652298 6570237 1440 291 0 6643832 0
Current children cumulated CPU time: 2375.28 s
Current children cumulated vsize: 26609192 KiB
Current children cumulated memory: 26280948 KiB
[startup+2402 s]*
/proc/loadavg: 4.16 4.14 4.10 5/258 867094
/proc/meminfo: memFree=77286544/131524600 swapFree=131071996/131071996
[pid=865421] ppid=865418 vsize=26609192 memory=26280948 CPUtime=2375.28 cores=0,2
/proc/865421/stat : 865421 (pb-oll-rs) S 865418 865421 863331 0 -1 4195840 3403676 0 0 0 234778 2750 0 0 20 0 1 0 167045535 27247812608 6570237 134679101440 4194304 5384005 140724695123376 140724695118992 140632037827455 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 5674704 5678696 33923072 140724695127063 140724695127140 140724695127140 140724695134155 0
/proc/865421/statm: 6652298 6570237 1440 291 0 6643832 0
Current children cumulated CPU time: 2375.28 s
Current children cumulated vsize: 26609192 KiB
Current children cumulated memory: 26280948 KiB
[startup+2402.4 s]
/proc/loadavg: 4.16 4.14 4.10 5/258 867094
/proc/meminfo: memFree=79728816/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2402.5 s]
/proc/loadavg: 4.16 4.14 4.10 5/258 867094
/proc/meminfo: memFree=79728816/131524600 swapFree=131071996/131071996
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): 2402.6
CPU time (s): 2375.82
CPU user time (s): 2347.79
CPU system time (s): 28.0343
CPU usage (%): 98.8855
Max. virtual memory (cumulated for all children) (KiB): 26609192
Max. memory (cumulated for all children) (KiB): 26280948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2347.79
system time used= 28.0343
maximum resident set size= 26281228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3403676
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= 36
involuntary context switches= 16820
# summary of solver processes directly reported to runsolver:
# pid: 865421
# total CPU time (s): 2375.82
# total CPU user time (s): 2347.79
# total CPU system time (s): 28.0343
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96399 second user time and 8.87177 second system time
The end
Begin job on nodeC033 at 2024-07-16 18:52:50
IDJOB=4436109
IDBENCH=155753
IDSOLVER=3067
FILE ID=nodeC033/4436109-1721148757
RUNJOBID= nodeC033-1721145156-863341
SLURM_JOB_ID= 7505735
Free space on /tmp= 889544 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_2_mh.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436109-1721148757/watcher-4436109-1721148757 -o /tmp/evaluation-result-4436109-1721148757/solver-4436109-1721148757 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721145156-863341 --watchdog 3760 pb-oll-rs HOME/instance-4436109-1721148757.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b903151821b4588cc22205dcfedeb810
RANDOM SEED=1116776294
nodeC033.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 : 3679.576
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.50
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 : 3677.091
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3643.000
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.50
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 : 3655.393
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3678.076
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.50
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 : 3684.716
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.985
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.50
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 : 3600.192
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123637536 kB
MemAvailable: 128871700 kB
Buffers: 450268 kB
Cached: 5557840 kB
SwapCached: 0 kB
Active: 787744 kB
Inactive: 6365076 kB
Active(anon): 1572 kB
Inactive(anon): 1180584 kB
Active(file): 786172 kB
Inactive(file): 5184492 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 500720 kB
Writeback: 0 kB
AnonPages: 1141840 kB
Mapped: 106452 kB
Shmem: 37716 kB
KReclaimable: 206292 kB
Slab: 324580 kB
SReclaimable: 206292 kB
SUnreclaim: 118288 kB
KernelStack: 4060 kB
PageTables: 11052 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1593700 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62784 kB
HardwareCorrupted: 0 kB
AnonHugePages: 643072 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: 262868 kB
DirectMap2M: 25724928 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 889544 MiB
End job on nodeC033 at 2024-07-16 19:32:53