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.15/14.29 c [STEP] solving
14.15/14.29 c #variables 2000400 #constraints 4940611
14.26/14.32 c SMALL=int, LARGE=long long
14.26/14.38 c bounds - >= -100 @ 10.7799
14.26/14.38 c stratification level: 136590875
15.86/16.00 c bounds 1099268065 >= -100 @ 11.6858
15.86/16.00 c stratification level: 125000000
17.45/17.59 c bounds 1099214815 >= -100 @ 13.2465
17.45/17.59 c stratification level: 122023936
21.73/21.86 c bounds 1099196615 >= -100 @ 17.2268
21.73/21.86 c stratification level: 119823157
23.63/23.70 c bounds 1099190335 >= -100 @ 18.9637
23.63/23.70 c stratification level: 119095488
36.80/36.95 c bounds 1098989092 >= -100 @ 31.8037
36.80/36.95 c stratification level: 116214272
43.58/43.70 c bounds 1098948001 >= -100 @ 38.4154
43.58/43.70 c stratification level: 111980168
47.27/47.48 c bounds 1098877986 >= -100 @ 42.0879
47.27/47.48 c stratification level: 109215352
53.76/53.98 c bounds 1098799851 >= -100 @ 48.3159
53.76/53.98 c stratification level: 108531333
55.05/55.26 c bounds 1098795709 >= -100 @ 49.5569
55.05/55.26 c stratification level: 107171875
56.96/57.13 c bounds 1098758582 >= -100 @ 51.3695
56.96/57.13 c stratification level: 106496424
59.33/59.54 c bounds 1098754262 >= -100 @ 53.7364
59.33/59.54 c stratification level: 105154048
61.43/61.61 c bounds 1098750964 >= -100 @ 55.7707
61.43/61.61 c stratification level: 100544625
63.33/63.53 c bounds 1098745946 >= -100 @ 57.653
63.33/63.53 c stratification level: 97336000
67.41/67.64 c bounds 1098730954 >= -100 @ 61.7002
67.41/67.64 c stratification level: 95443993
79.08/79.39 c bounds 1098721018 >= -100 @ 73.3019
79.08/79.39 c stratification level: 94818816
84.97/85.20 c bounds 1098701596 >= -100 @ 79.0227
84.97/85.20 c stratification level: 94196375
133.65/134.10 c bounds 1098678868 >= -100 @ 127.126
133.65/134.10 c stratification level: 93576664
135.14/135.54 c bounds 1098676084 >= -100 @ 128.534
135.14/135.54 c stratification level: 92959677
139.42/139.89 c bounds 1098664102 >= -100 @ 132.795
139.42/139.89 c stratification level: 92345408
144.12/144.58 c bounds 1098663534 >= -100 @ 137.383
144.12/144.58 c stratification level: 91733851
151.99/152.45 c bounds 1098661618 >= -100 @ 145.12
151.99/152.45 c stratification level: 91125000
156.78/157.25 c bounds 1098659249 >= -100 @ 149.86
156.78/157.25 c stratification level: 88716536
185.30/185.82 c bounds 1098639139 >= -100 @ 177.762
185.30/185.82 c stratification level: 87528384
187.30/187.80 c bounds 1037314939 >= -100 @ 179.699
187.30/187.80 c stratification level: 86938307
189.10/189.69 c bounds 1016676321 >= -100 @ 181.563
189.10/189.69 c stratification level: 86350888
191.19/191.78 c bounds 998898043 >= -100 @ 183.591
191.19/191.78 c stratification level: 85766121
194.98/195.53 c bounds 976266525 >= -100 @ 187.297
194.98/195.53 c stratification level: 85184000
197.38/198.01 c bounds 976218685 >= -100 @ 189.743
197.38/198.01 c stratification level: 84027672
199.77/200.32 c bounds 976207323 >= -100 @ 192.026
199.77/200.32 c stratification level: 83453453
229.69/230.31 c bounds 975770095 >= -100 @ 221.692
229.69/230.31 c stratification level: 82881856
234.08/234.77 c bounds 974754447 >= -100 @ 226.094
234.08/234.77 c stratification level: 82312875
237.76/238.40 c bounds 974718484 >= -100 @ 229.671
237.76/238.40 c stratification level: 81746504
239.77/240.48 c bounds 974709199 >= -100 @ 231.721
239.77/240.48 c stratification level: 81182737
256.62/257.35 c bounds 974661754 >= -100 @ 248.449
256.62/257.35 c stratification level: 80062991
259.51/260.22 c bounds 974651264 >= -100 @ 251.279
259.51/260.22 c stratification level: 79507000
267.49/268.27 c bounds 974526833 >= -100 @ 259.249
267.49/268.27 c stratification level: 78953589
268.78/269.50 c bounds 974516444 >= -100 @ 260.454
268.78/269.50 c stratification level: 78402752
270.40/271.19 c bounds 974514870 >= -100 @ 262.129
270.40/271.19 c stratification level: 77854483
277.46/278.23 c #Conflicts: 1000 | #Constraints: 4941648
277.46/278.23 c bounds 974492399 >= -100 @ 269.091
277.46/278.23 c stratification level: 77308776
289.63/290.41 c bounds 972361018 >= -100 @ 281.172
289.63/290.41 c stratification level: 76765625
292.62/293.41 c bounds 972360143 >= -100 @ 284.153
292.62/293.41 c stratification level: 76225024
299.80/300.64 c bounds 972356905 >= -100 @ 291.319
299.80/300.64 c stratification level: 75686967
303.89/304.75 c bounds 972340124 >= -100 @ 295.395
303.89/304.75 c stratification level: 75151448
309.57/310.48 c bounds 972324893 >= -100 @ 301.082
309.57/310.48 c stratification level: 74618461
312.18/313.02 c bounds 972321655 >= -100 @ 303.602
312.18/313.02 c stratification level: 74088000
325.34/326.27 c bounds 971738355 >= -100 @ 316.751
325.34/326.27 c stratification level: 73560059
326.73/327.62 c bounds 971735157 >= -100 @ 318.077
326.73/327.62 c stratification level: 73034632
336.60/337.56 c bounds 971580180 >= -100 @ 327.505
336.60/337.56 c stratification level: 72511713
339.70/340.61 c bounds 971249034 >= -100 @ 330.389
339.70/340.61 c stratification level: 71991296
340.99/341.90 c bounds 971236324 >= -100 @ 331.629
340.99/341.90 c stratification level: 71473375
343.48/344.43 c bounds 971208434 >= -100 @ 334.097
343.48/344.43 c stratification level: 70957944
348.57/349.59 c bounds 967395422 >= -100 @ 339.044
348.57/349.59 c stratification level: 70444997
349.97/350.95 c bounds 967382712 >= -100 @ 340.37
349.97/350.95 c stratification level: 69934528
385.17/386.23 c bounds 963242620 >= -100 @ 375.108
385.17/386.23 c stratification level: 68921000
386.16/387.29 c bounds 747525676 >= -100 @ 376.132
386.16/387.29 c stratification level: 68417929
388.66/389.78 c bounds 747466427 >= -100 @ 378.561
388.66/389.78 c stratification level: 67917312
392.96/394.01 c bounds 747343654 >= -100 @ 382.721
392.96/394.01 c stratification level: 67419143
394.24/395.39 c bounds 747335042 >= -100 @ 384.072
394.24/395.39 c stratification level: 66430125
412.19/413.31 c bounds 747309737 >= -100 @ 401.697
412.19/413.31 c stratification level: 65939264
414.99/416.12 c bounds 747308532 >= -100 @ 404.458
414.99/416.12 c stratification level: 65450827
416.37/417.57 c bounds 747306618 >= -100 @ 405.887
416.37/417.57 c stratification level: 64964808
418.07/419.23 c bounds 747306499 >= -100 @ 407.526
418.07/419.23 c stratification level: 64481201
421.36/422.60 c bounds 747302539 >= -100 @ 410.816
421.36/422.60 c stratification level: 64000000
425.04/426.23 c bounds 747300013 >= -100 @ 414.394
425.04/426.23 c stratification level: 63521199
426.44/427.65 c bounds 747298099 >= -100 @ 415.793
426.44/427.65 c stratification level: 63044792
427.44/428.68 c bounds 227872191 >= -100 @ 416.784
427.44/428.68 c stratification level: 62570773
432.93/434.12 c bounds 216429017 >= -100 @ 422.16
432.93/434.12 c stratification level: 62099136
434.52/435.71 c bounds 216427103 >= -100 @ 423.734
434.52/435.71 c stratification level: 61629875
438.11/439.33 c bounds 216423984 >= -100 @ 427.299
438.11/439.33 c stratification level: 61162984
441.69/442.95 c bounds 216423865 >= -100 @ 430.88
441.69/442.95 c stratification level: 60698457
448.38/449.66 c bounds 216254626 >= -100 @ 437.519
448.38/449.66 c stratification level: 60236288
449.78/451.05 c bounds 216252712 >= -100 @ 438.886
449.78/451.05 c stratification level: 59776471
455.15/456.49 c bounds 216064547 >= -100 @ 444.254
455.15/456.49 c stratification level: 59319000
459.94/461.24 c bounds 216059669 >= -100 @ 448.93
459.94/461.24 c stratification level: 58863869
462.33/463.70 c bounds 216059550 >= -100 @ 451.337
462.33/463.70 c stratification level: 58411072
475.09/476.44 c bounds 211924672 >= -100 @ 463.94
475.09/476.44 c stratification level: 57960603
478.58/480.00 c bounds 211912535 >= -100 @ 467.438
478.58/480.00 c stratification level: 57512456
481.57/482.94 c bounds 211890093 >= -100 @ 470.35
481.57/482.94 c stratification level: 57066625
530.92/532.44 c bounds 210457444 >= -100 @ 519.44
530.92/532.44 c stratification level: 56623104
2425.29/2432.44 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: 64059 MiB (59735 MiB free)
memory of node 1: 64510 MiB (61603 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454551-1721475931/watcher-4454551-1721475931 -o /tmp/evaluation-result-4454551-1721475931/solver-4454551-1721475931 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721468658-1056042 --watchdog 3760 pb-oll-rs HOME/instance-4454551-1721475931.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=1060327, runsolver pid=1060324
[startup+0.100624 s]*
/proc/loadavg: 4.14 4.25 4.24 5/244 1060328
/proc/meminfo: memFree=124113772/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=239848 memory=177044 CPUtime=0.1 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 3869 0 0 0 6 4 0 0 20 0 1 0 199751898 245604352 44261 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 59962 44261 1196 291 0 51496 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 239848 KiB
Current children cumulated memory: 177044 KiB
[startup+0.213572 s]*
/proc/loadavg: 4.14 4.25 4.24 6/244 1060328
/proc/meminfo: memFree=123957636/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=412824 memory=311864 CPUtime=0.21 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 24814 0 0 0 13 8 0 0 20 0 1 0 199751898 422731776 77966 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 103206 77966 1205 291 0 94740 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 412824 KiB
Current children cumulated memory: 311864 KiB
[startup+0.313146 s]*
/proc/loadavg: 4.14 4.25 4.24 5/244 1060328
/proc/meminfo: memFree=123825692/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=521196 memory=436960 CPUtime=0.32 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 42435 0 0 0 19 13 0 0 20 0 1 0 199751898 533704704 109240 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 130299 109240 1205 291 0 121833 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 521196 KiB
Current children cumulated memory: 436960 KiB
[startup+0.700332 s]
/proc/loadavg: 4.13 4.25 4.23 5/244 1060328
/proc/meminfo: memFree=123754776/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=489500 memory=411040 CPUtime=0.69 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 43661 0 0 0 54 15 0 0 20 0 1 0 199751898 501248000 102760 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 122375 102760 1237 291 0 113909 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 489500 KiB
Current children cumulated memory: 411040 KiB
[startup+1.50033 s]
/proc/loadavg: 4.13 4.25 4.23 5/244 1060328
/proc/meminfo: memFree=123800108/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=521904 memory=459736 CPUtime=1.48 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 52733 0 0 0 116 32 0 0 20 0 1 0 199751898 534429696 114868 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 130476 114868 1237 291 0 122010 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 521904 KiB
Current children cumulated memory: 459736 KiB
[startup+3.1129 s]
/proc/loadavg: 4.13 4.25 4.23 5/244 1060328
/proc/meminfo: memFree=123714172/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=569252 memory=515956 CPUtime=3.09 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 60736 0 0 0 231 78 0 0 20 0 1 0 199751898 582914048 128989 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 142313 128989 1237 291 0 133847 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 569252 KiB
Current children cumulated memory: 515956 KiB
[startup+6.3003 s]
/proc/loadavg: 4.12 4.24 4.23 5/244 1060328
/proc/meminfo: memFree=123588536/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=675064 memory=591608 CPUtime=6.27 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 66937 0 0 0 460 167 0 0 20 0 1 0 199751898 691265536 147902 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 168766 147902 1237 291 0 160300 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 675064 KiB
Current children cumulated memory: 591608 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.24 4.23 5/244 1060330
/proc/meminfo: memFree=123290932/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=940448 memory=784908 CPUtime=12.66 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 79536 0 0 0 954 312 0 0 20 0 1 0 199751898 963018752 196227 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 235112 196227 1237 291 0 226646 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 940448 KiB
Current children cumulated memory: 784908 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.23 4.23 5/242 1060332
/proc/meminfo: memFree=122467028/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=1640632 memory=1408240 CPUtime=25.42 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 136033 0 0 0 2074 468 0 0 20 0 1 0 199751898 1680007168 352060 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 410158 352060 1410 291 0 401692 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1640632 KiB
Current children cumulated memory: 1408240 KiB
[startup+51.1129 s]
/proc/loadavg: 4.18 4.24 4.23 5/242 1060336
/proc/meminfo: memFree=121494984/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=2289404 memory=2019292 CPUtime=50.97 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 197666 0 0 0 4567 530 0 0 20 0 1 0 199751898 2344349696 504823 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 572351 504823 1410 291 0 563885 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2289404 KiB
Current children cumulated memory: 2019292 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.22 4.22 5/241 1060345
/proc/meminfo: memFree=118760636/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=4114556 memory=3888224 CPUtime=102.03 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 476364 0 0 0 9567 636 0 0 20 0 1 0 199751898 4213305344 972056 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 1028639 972056 1410 291 0 1020173 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 4114556 KiB
Current children cumulated memory: 3888224 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.19 4.21 5/241 1060355
/proc/meminfo: memFree=117315316/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=5355588 memory=4829840 CPUtime=161.87 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 524753 0 0 0 15489 698 0 0 20 0 1 0 199751898 5484122112 1207460 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 1338897 1207460 1464 291 0 1330431 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 5355588 KiB
Current children cumulated memory: 4829840 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.17 4.20 5/241 1060366
/proc/meminfo: memFree=114625544/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=8591168 memory=7251828 CPUtime=221.7 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 910589 0 0 0 21381 789 0 0 20 0 1 0 199751898 8797356032 1812957 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 2147792 1812957 1464 291 0 2139326 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 8591168 KiB
Current children cumulated memory: 7251828 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.15 4.19 5/241 1060376
/proc/meminfo: memFree=112901184/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=9018068 memory=8366828 CPUtime=281.55 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 972566 0 0 0 27318 837 0 0 20 0 1 0 199751898 9234501632 2091707 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 2254517 2091707 1464 291 0 2246051 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 9018068 KiB
Current children cumulated memory: 8366828 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.13 4.18 5/243 1060390
/proc/meminfo: memFree=109680796/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=13351672 memory=10953064 CPUtime=341.4 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 1410641 0 0 0 33205 935 0 0 20 0 1 0 199751898 13672112128 2738266 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 3337918 2738266 1464 291 0 3329452 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 13351672 KiB
Current children cumulated memory: 10953064 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.15 4.18 5/243 1060400
/proc/meminfo: memFree=107405904/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=14727408 memory=12958020 CPUtime=401.22 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 1702089 0 0 0 39093 1029 0 0 20 0 1 0 199751898 15080865792 3239505 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 3681852 3239505 1464 291 0 3673386 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 14727408 KiB
Current children cumulated memory: 12958020 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.12 4.17 5/243 1060411
/proc/meminfo: memFree=105775148/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=15506728 memory=14374488 CPUtime=461.03 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 1825892 0 0 0 45001 1102 0 0 20 0 1 0 199751898 15878889472 3593622 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 3876682 3593622 1464 291 0 3868216 0
################
# More data... #
################
/proc/loadavg: 4.11 4.11 4.09 5/242 1061615
/proc/meminfo: memFree=90126020/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=25441912 memory=22778420 CPUtime=1956.55 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 3018040 0 0 0 193364 2291 0 0 20 0 1 0 199751898 26052517888 5694605 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 6360478 5694605 1464 291 0 6352012 0
Current children cumulated CPU time: 1956.55 s
Current children cumulated vsize: 25441912 KiB
Current children cumulated memory: 22778420 KiB
[startup+2022.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/242 1061626
/proc/meminfo: memFree=89225924/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=25812884 memory=23665696 CPUtime=2016.38 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 3125226 0 0 0 199281 2357 0 0 20 0 1 0 199751898 26432393216 5916424 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 6453221 5916424 1464 291 0 6444755 0
Current children cumulated CPU time: 2016.38 s
Current children cumulated vsize: 25812884 KiB
Current children cumulated memory: 23665696 KiB
[startup+2082.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/242 1061636
/proc/meminfo: memFree=88234784/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=26250188 memory=24613948 CPUtime=2076.21 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 3235262 0 0 0 205207 2414 0 0 20 0 1 0 199751898 26880192512 6153487 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 6562547 6153487 1464 291 0 6554081 0
Current children cumulated CPU time: 2076.21 s
Current children cumulated vsize: 26250188 KiB
Current children cumulated memory: 24613948 KiB
[startup+2142.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/245 1061651
/proc/meminfo: memFree=87481032/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=26438980 memory=25237636 CPUtime=2136.02 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 3303366 0 0 0 211097 2505 0 0 20 0 1 0 199751898 27073515520 6309409 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 6609745 6309409 1464 291 0 6601279 0
Current children cumulated CPU time: 2136.02 s
Current children cumulated vsize: 26438980 KiB
Current children cumulated memory: 25237636 KiB
[startup+2202.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/244 1061661
/proc/meminfo: memFree=86975968/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=26499980 memory=25669784 CPUtime=2195.86 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 3345082 0 0 0 217031 2555 0 0 20 0 1 0 199751898 27135979520 6417446 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 6624995 6417446 1464 291 0 6616529 0
Current children cumulated CPU time: 2195.86 s
Current children cumulated vsize: 26499980 KiB
Current children cumulated memory: 25669784 KiB
[startup+2262.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/244 1061672
/proc/meminfo: memFree=86419216/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=26530960 memory=25944744 CPUtime=2255.69 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 3369883 0 0 0 222979 2590 0 0 20 0 1 0 199751898 27167703040 6486186 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 6632740 6486186 1464 291 0 6624274 0
Current children cumulated CPU time: 2255.69 s
Current children cumulated vsize: 26530960 KiB
Current children cumulated memory: 25944744 KiB
[startup+2322.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/244 1061682
/proc/meminfo: memFree=86028488/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=26606232 memory=26193176 CPUtime=2315.52 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 3393994 0 0 0 228946 2606 0 0 20 0 1 0 199751898 27244781568 6548294 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 6651558 6548294 1464 291 0 6643092 0
Current children cumulated CPU time: 2315.52 s
Current children cumulated vsize: 26606232 KiB
Current children cumulated memory: 26193176 KiB
[startup+2382.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/244 1061693
/proc/meminfo: memFree=85898752/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=26606232 memory=26193176 CPUtime=2375.33 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) R 1060324 1060327 1056029 0 -1 4194304 3397048 0 0 0 234921 2612 0 0 20 0 1 0 199751898 27244781568 6548294 134679101440 4194304 5384485 140729346662544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 6651558 6548294 1464 291 0 6643092 0
Current children cumulated CPU time: 2375.33 s
Current children cumulated vsize: 26606232 KiB
Current children cumulated memory: 26193176 KiB
[startup+2442.3 s]
/proc/loadavg: 4.09 4.11 4.09 4/243 1062088
/proc/meminfo: memFree=81791540/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=26609192 memory=26292632 CPUtime=2428.44 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) S 1060324 1060327 1056029 0 -1 4195840 3409109 0 0 0 239897 2947 0 0 20 0 1 0 199751898 27247812608 6573158 134679101440 4194304 5384485 140729346662544 140729346658160 139923658646399 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 6652298 6573158 1583 291 0 6643832 0
Current children cumulated CPU time: 2428.44 s
Current children cumulated vsize: 26609192 KiB
Current children cumulated memory: 26292632 KiB
[startup+2452.74 s]
# the end of solver process 1060327 was just reported to runsolver
# Child ended because it received signal 6 (SIGABRT)
Child dumped core
# cumulated CPU time of all completed processes: user=2398.97 s, system=30.5429 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2444.8 s]
/proc/loadavg: 4.09 4.11 4.09 4/243 1062088
/proc/meminfo: memFree=81791148/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=26609192 memory=26292632 CPUtime=2428.44 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) S 1060324 1060327 1056029 0 -1 4195840 3409109 0 0 0 239897 2947 0 0 20 0 1 0 199751898 27247812608 6573158 134679101440 4194304 5384485 140729346662544 140729346658160 139923658646399 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 6652298 6573158 1583 291 0 6643832 0
Current children cumulated CPU time: 2428.44 s
Current children cumulated vsize: 26609192 KiB
Current children cumulated memory: 26292632 KiB
[startup+2448 s]*
/proc/loadavg: 4.16 4.12 4.09 4/243 1062089
/proc/meminfo: memFree=81776808/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=26609192 memory=26292632 CPUtime=2428.44 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) S 1060324 1060327 1056029 0 -1 4195840 3409109 0 0 0 239897 2947 0 0 20 0 1 0 199751898 27247812608 6573158 134679101440 4194304 5384485 140729346662544 140729346658160 139923658646399 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 6652298 6573158 1583 291 0 6643832 0
Current children cumulated CPU time: 2428.44 s
Current children cumulated vsize: 26609192 KiB
Current children cumulated memory: 26292632 KiB
[startup+2451.2 s]
/proc/loadavg: 4.23 4.14 4.10 5/243 1062089
/proc/meminfo: memFree=81867556/131655788 swapFree=131071996/131071996
[pid=1060327] ppid=1060324 vsize=26609192 memory=26292632 CPUtime=2428.44 cores=5,7
/proc/1060327/stat : 1060327 (pb-oll-rs) S 1060324 1060327 1056029 0 -1 4195840 3409109 0 0 0 239897 2947 0 0 20 0 1 0 199751898 27247812608 6573158 134679101440 4194304 5384485 140729346662544 140729346658160 139923658646399 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5674704 5678696 16490496 140729346671637 140729346671714 140729346671714 140729346678731 0
/proc/1060327/statm: 6652298 6573158 1583 291 0 6643832 0
Current children cumulated CPU time: 2428.44 s
Current children cumulated vsize: 26609192 KiB
Current children cumulated memory: 26292632 KiB
[startup+2452 s]*
/proc/loadavg: 4.23 4.14 4.10 5/244 1062096
/proc/meminfo: memFree=90215908/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2452.4 s]
/proc/loadavg: 4.23 4.14 4.10 5/244 1062096
/proc/meminfo: memFree=90215908/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2452.6 s]
/proc/loadavg: 4.23 4.14 4.10 5/244 1062096
/proc/meminfo: memFree=90215908/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2452.7 s]
/proc/loadavg: 4.23 4.14 4.10 5/244 1062096
/proc/meminfo: memFree=90215908/131655788 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): 2452.74
CPU time (s): 2429.52
CPU user time (s): 2398.97
CPU system time (s): 30.5429
CPU usage (%): 99.0531
Max. virtual memory (cumulated for all children) (KiB): 26609192
Max. memory (cumulated for all children) (KiB): 26292632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.97
system time used= 30.5429
maximum resident set size= 26292632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3409109
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= 103
involuntary context switches= 2281
# summary of solver processes directly reported to runsolver:
# pid: 1060327
# total CPU time (s): 2429.52
# total CPU user time (s): 2398.97
# total CPU system time (s): 30.5429
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1284 second user time and 24.8662 second system time
The end
Begin job on nodeC006 at 2024-07-20 13:45:44
IDJOB=4454551
IDBENCH=155753
IDSOLVER=3082
FILE ID=nodeC006/4454551-1721475931
RUNJOBID= nodeC006-1721468658-1056042
SLURM_JOB_ID= 7545725
Free space on /tmp= 723240 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
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-4454551-1721475931/watcher-4454551-1721475931 -o /tmp/evaluation-result-4454551-1721475931/solver-4454551-1721475931 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721468658-1056042 --watchdog 3760 pb-oll-rs HOME/instance-4454551-1721475931.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b903151821b4588cc22205dcfedeb810
RANDOM SEED=873623586
nodeC006.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 : 3654.400
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.94
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 : 3515.958
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.26
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.463
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.94
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 : 1197.459
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.26
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 : 3491.972
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.94
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 : 3591.991
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.26
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.754
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.94
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.589
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.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124251384 kB
MemAvailable: 125879284 kB
Buffers: 571804 kB
Cached: 1890544 kB
SwapCached: 0 kB
Active: 1390520 kB
Inactive: 5421984 kB
Active(anon): 1460 kB
Inactive(anon): 4394588 kB
Active(file): 1389060 kB
Inactive(file): 1027396 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 224104 kB
Writeback: 0 kB
AnonPages: 4348424 kB
Mapped: 111096 kB
Shmem: 45896 kB
KReclaimable: 102952 kB
Slab: 207896 kB
SReclaimable: 102952 kB
SUnreclaim: 104944 kB
KernelStack: 3936 kB
PageTables: 18012 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 4864748 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62848 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1902592 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: 316232 kB
DirectMap2M: 40482816 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723236 MiB
End job on nodeC006 at 2024-07-20 14:26:37